-
题名基于确定有限状态机的测试输入序列选取
被引量：13
- 1
-
-
作者
张涌
钱乐秋
王渊峰
-
机构
复旦大学计算机科学系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第9期1144-1150,共7页
-
文摘
有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 .
-
关键词
软件测试
规约说明
有限状态机
测试输入序列选取
软件系统
软件开发
-
Keywords
software testing, specification, finite-state machine, test sequences selection
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
