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

被引：14

作者：

张涌

钱乐秋

王渊峰

机构：

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

来源：

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

关键词：

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

D O I：

暂无

中图分类号：

TP311.53 [];

学科分类号：

摘要：

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

引用

页码：1144 / 1150

页数：7

共 12 条

[1]

Medusa—An experiment in distinguish operating system structure. J K Ousterhout et al. Communications of the ACM . 1980

[2]

Efficient checking sequences for testing finite state machines. K Inna,H Ural. Information and Software Technology . 1999

[3]

Introduction to the Theory of Finite-State Machines. A Gill. . 1962

[4]

A reduced test suite for protocol conformance testing. P J Bernhard. ACM Trans on Software Engineering and Methodology . 1994

[5]

A protocol test generation procedure. K Sabnani,A Dahbura. Computer Networks . 1988

[6]

Construction of checking sequences based on characterization sets. A Rezaki,H Ural. Computer Communications . 1995

[7]

Technical correspondence comments on ‘A reduced test suite for protocol conformance testing’. A Petrenko. ACM Trans on Software Engineering and Methodology . 1997

[8]

Optimal length test sequence generations on using distinguishing sequences. H Ural,K Zhu. IEEE ACM Transactions on Networking . 1993

[9]

On minimizing the lengths of checking sequences. H Ural,X Wu,F Zhang. IEEE Transactions on Communications . 1997

[10]

Approach to constructing software unit testing tools. G Luo,R L Probert,H Ural. Software Engineering Journal . 1995

← 1 2 →