| 基于扩展有限状态机测试中测试输入数据自动选取的研究 |
| |
| 引用本文： | 张涌,钱乐秋,王渊峰.基于扩展有限状态机测试中测试输入数据自动选取的研究[J].计算机学报,2003,26(10):1295-1303. |
| |
| 作者姓名： | 张涌 钱乐秋 王渊峰 |
| |
| 作者单位： | 复旦大学计算机科学系,上海,200433 |
| |
| 摘 要： | 扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，通过EFSM我们可以更加精确地刻画软件系统的动态行为．基于EFSM的测试可以应用到许多领域，因此具有重要的研究价值和实际意义．许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法，但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入，增加了构造其测试输入的复杂性．我们认为基于EFSM测试的测试输入应该包含两个部分：即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据)．手工选取这些测试数据的工作十分繁琐，极大地增加了测试的花费，因此自动选取这些测试数据可以大大提高实际测试工作的效率．该文提出一种基于EFSM测试的测试数据自动选取方法，该方法利用两个关键的步骤：①区间削减和②分段梯度最优下降算法来自动选取测试数据．实验表明利用该方法可以自动选取大部分的测试数据，并且收敛速度较快；在某些无法得到确定解的情况下，区间削减也可以为测试人员提供一个较小的输入变量取值区间，方便了测试人员从中手工选择测试数据．
|
| 关 键 词： | 扩展有限状态机 测试 有限状态机 测试输入数据 自动选取 面向对象 软件设计 |
| 修稿时间： | 2001年8月3日 |
Automatic Testing Data Generation in the Testing Based on EFSM |
| |
| ZHANG Yong,QIAN Le-Qiu,WANG Yuan-Feng.Automatic Testing Data Generation in the Testing Based on EFSM[J].Chinese Journal of Computers,2003,26(10):1295-1303. |
| |
| Authors: | ZHANG Yong QIAN Le-Qiu WANG Yuan-Feng |
| |
| Abstract: | |
| |
| Keywords: | software testing extended finite state machine automatic testing data generation interval narrowing subsection gradient optimal descent algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
