语法制导的Z规格说明检查器  

Design and Implem entation of a Syntax-driven Z Specification Checker

作　　者：李刚[1] 缪淮扣[1] 童頫[1] 

机构地区：[1]上海大学

出　　处：《应用科学学报》1999年第4期450-456,共7页Journal of Applied Sciences

基　　金：国家自然科学基金!(69773038);上海市高校科技发展基金!(97A42)

摘　　要：Ｚ语言是牛津大学程序设计研究组设计的形式规格说明语言． 作为Ｚ语言处理前端的Ｚ规格说明检查器用于Ｚ规格说明的语法检查和类型检查， 它通过自顶向下和自底向上相结合的方法，实现了Ｚ语言的语法分析功能； 此外，还结合Ｚ语言的类型特征，实现了Ｚ语言的类型检查，介绍了Ｚ规格说明检查器的设计与实现．Zspecification language is an active dom ain in the field ofform alm ethods. As the front-end ofany Zsupporting system , Zspecification checker can supportother subsystem s, such as refining subsystem , and specification-based software testing sub- system . By the integration oftop-down parsing and bottom -up parsing, a syntax-driven Zspecification checkerhasbeen im plem ented.Thispapergivesadescription oftheprin- ciple and im plem entation ofthis tool.

关 键 词：Z语言 语法制导 检查器 Z规格说明 软件开发 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]