基于扩展有限状态机的协议测试集生成研究

被引：25

作者：

王建国

吴建平

机构：

[1] 清华大学计算机科学与技术系!北京

来源：

软件学报 | 2001年 / 08期

关键词：

一致性测试; 测试例生成; 树表结合表示法;

D O I：

10.13328/j.cnki.jos.2001.08.012

中图分类号：

TP393.06 [];

学科分类号：

081201 ; 1201 ;

摘要：

与其他测试方法相比 ,主要解决了自动生成可执行测试序列的问题 .首先介绍现有的基于扩展有限状态机的测试生成算法 ,这些算法虽然结合了控制流和数据流的测试 ,但是并没有解决测试序列的可执行问题 .重点解决了包含有影响循环测试序列的可执行性问题 ,并通过预先发现循环的中断条件而减少不可用的测试路径的产生 .另外 ,给出了算法的详细说明

引用

页码：1197 / 1204

页数：8