空间完备性理论及其测试

• 作者: 缪淮扣 高晓雷
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Z规格说明 受限状态空间 初始状态 不变式
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 72-73,76
• 页数: 3页
• 分类号: TP301.6
• 字数: 2991字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.09.025

摘要

证明和测试是验证规格说明是否正确的2种方法,两者互为补充.针对软件规格说明难以证明的问题,提出对状态空间进行完备性测试的理论.采用构造函数和受限状态宅间的概念,讨论用于测试z规格说明语言初始状态存在性的方法,通过实例证明该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	高晓雷	东莞理工学院计算机学院	4	12	2.0	3.0