一个静态测试工具的规约语言的实现

摘要：

本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、包等抽象的数学概念,能够用于描述程序的前置断言和后置断言.实现的工具能够将该形式规约翻译为一个静态测试工具所能接受的布尔表达式形式的输入.

关键词： 形式规约 静态测试

作者: 杨宇 张健

作者单位: 中国科学院,软件研究所,计算机科学重点实验室,北京,100080

会议类型: 国内会议

会议名称: 中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

会议地点: 四川广元

会议语种:中文

页码: 221-226

在线出版日期: 2002-07-13（万方平台首次上网日期，不代表论文的发表时间）