基于扩展有限状态机测试中测试输入数据自动选取-中国科技论文在线.pdfVIP

第 26卷 第 1O期 计 算 机 学 报 Vo1．26 No．1O 2003年 1O月 CHINESEJOURNALOF COMPUTERS 0ct．2003 基于扩展有 限状态机测试 中 测试输入数据 自动选取 的研究 张 涌 钱乐秋 王渊峰 (复旦大学计算机科学系 上海 200433) 摘 要 扩展有限状态机 (EFSM)模型是有限状态机 (FSM)模型的一个扩展 ，它在 FSM 模 型的基础上增加 了变 量 、操作 以及状态迁移 的前置条件 ，通过 EFSM 我们可 以更加精确地刻画软件系统的动态行为．基于 EFSM 的测试 可以应用到许多领域 ，因此具有重要 的研究价值和实际意义．许多研究人员已经提出了基于 FSM 测试的测试输入 序列的构造方法 ，但基于 EFSM 的测试与 FSM 相 比由于变量和状态迁移 的前置条件 的引入 ，增加 了构造其测试输 入 的复杂性 ．我们认为基于 EFSM 测试 的测试输入应该包含两个部分 ：即测试输入序列 以及该输 入序列上包含 的 输入变量的确定值 (测试输入数据)．手工选取这些测试数据的工作 十分繁琐 ，极大地增加 了测试的花费 ，因此 自动 选取这些测试数据可 以大大提高实际测试工作 的效率 ．该文提 出一种基于 EFSM 测试 的测试数据 自动选取方法 ， 该方法利用两个关键的步骤 ：①区间削减和②分段梯度最优下降算法来 自动选取测试数据．实验表明利用该方法 可 以 自动选取大部分 的测试数据 ，并且收敛速度较快 ；在某些无法得到确定解 的情况下 ，区间削减也可 以为测试人 员提供一个较小的输入变量取值 区间，方便 了测试人员从 中手工选择测试数据 ． 关键词 软件测试 ；扩展有限状态机 ；测试输入数据 自动选取 ；区间削减；分段梯度最优下降算法 中圈法 分类号 TP311 AutomaticTestingDataGeneration in theTestingBased on EFSM ZHANG Yong QIAN Le—Qiu W ANG Yuan-Feng (DepartmentofComputerScience，FudanUniversity，Shanghai200433) Abstract Extended Finite State M achine (EFSM ) is an extension of Finite State M achine (FSM )．Itaddvariables，operationandthepreconditionoftransitionson thebasisofFSM ，and wecancharacterizethedynamicbehaviorofsoftwaresystem morepreciselyusingEFSM ．Testing basedon EFSM ，whichcanbeusedinmanyfields，havegreatresearchvalueandpracticalsignifi- cance．M any researchershave proposed many testing sequence generation methodsbased on FSM ，butthisproblem ismorecomplicatedin EFSM context．W econsiderthatthetesting input ofthetestingbasedonEFSM shouldincludetwoparts：testingsequencesandthedeterminatein— putvariables’