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

摘要：

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

关键词：一致性测试、模型检查、测试序列、测试套

所属期刊栏目：32

分类号：TP393(计算技术、计算机技术)

在线出版日期：2006-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：159-161