基于模型检查的协议一致性测试套自动生成

• 作者: 姬忠鹤 蒋凡 黄传动
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 一致性测试 模型检查 测试序列 测试套
• 年，卷（期）: 2006,（11）
• 所属期刊栏目: 网络与通信
• 页码范围: 159-161
• 页数: 3页
• 分类号: TP393
• 字数: 4668字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.11.058

摘要

提出一种构造完全可执行协议一致性测试套的新方法.该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准,借助模型检查中的例证构造技术生成满足相应覆盖标准的测试套.在此基础上该文给出了测试套优化算法.实验结果表明该方法可行有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋凡	中国科学技术大学计算机科学技术系	97	867	16.0	25.0
2	黄传动	中国科学技术大学计算机科学技术系	2	11	2.0	2.0
3	姬忠鹤	中国科学技术大学计算机科学技术系	1	2	1.0	1.0