基于确定有限状态机的测试输入序列选取

被引：14

作者：

张涌

钱乐秋

王渊峰

机构：

[1] 复旦大学计算机科学系

来源：

计算机研究与发展 | 2002年 / 09期

关键词：

软件测试; 规约说明; 有限状态机; 测试输入序列选取;

D O I：

暂无

中图分类号：

TP311.53 [];

学科分类号：

摘要：

有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 .

引用

页码：1144 / 1150

页数：7