节点文献

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

TEST SEQUENCES SELECTION BASED ON DETERMINISTIC FINITE-STATE MACHINES

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 张涌钱乐秋王渊峰

【Author】 ZHANG Yong, QIAN Le-Qiu, and WANG Yuan-Feng (Department of Computer Science, Fudan University, Shanghai 200433)

【机构】 复旦大学计算机科学系复旦大学计算机科学系 上海200433上海200433上海200433

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

【Abstract】 The behavior of a software system or its subsystems can be described precisely using finite-state machines, so it has been used widely in software modeling. Many researchers have proposed some test selection methods based on FSM. Among these methods, the Wp-method, which has fewer use constraints and higher fault coverage, can be used more widely. But if the estimated states number ( m ) of the implementation of a specification is large, a large number of test sequences will be generated using the Wp-method, which will decrease the testing efficiency. In this paper, an improved method of the Wp-method, named R-Wp method, is presented. When the m is large, fewer test sequences can be obtained through this method than through the Wp-method. In addition, the number of test sequences generated from the R-Wp method and the Wp-method, and factors which influence the number of test sequences generation, are discussed. Finally, it is proved that the R-Wp has the same fault detecting ability as the Wp-method.

  • 【文献出处】 计算机研究与发展 ,Journal of Computer Research and Development , 编辑部邮箱 ,2002年09期
  • 【分类号】TP311.53
  • 【被引频次】48
  • 【下载频次】415
节点文献中: 

本文链接的文献网络图示:

本文的引文网络