计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2003年
10期
1295-1303
,共9页
软件测试%扩展有限状态机%测试输入数据自动选取%区间削减%分段梯度最优下降算法
軟件測試%擴展有限狀態機%測試輸入數據自動選取%區間削減%分段梯度最優下降算法
연건측시%확전유한상태궤%측시수입수거자동선취%구간삭감%분단제도최우하강산법
扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件,通过EFSM我们可以更加精确地刻画软件系统的动态行为.基于EFSM的测试可以应用到许多领域,因此具有重要的研究价值和实际意义.许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入,增加了构造其测试输入的复杂性.我们认为基于EFSM测试的测试输入应该包含两个部分:即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据).手工选取这些测试数据的工作十分繁琐,极大地增加了测试的花费,因此自动选取这些测试数据可以大大提高实际测试工作的效率.该文提出一种基于EFSM测试的测试数据自动选取方法,该方法利用两个关键的步骤:①区间削减和②分段梯度最优下降算法来自动选取测试数据.实验表明利用该方法可以自动选取大部分的测试数据,并且收敛速度较快;在某些无法得到确定解的情况下,区间削减也可以为测试人员提供一个较小的输入变量取值区间, 方便了测试人员从中手工选择测试数据.
擴展有限狀態機(EFSM)模型是有限狀態機(FSM)模型的一箇擴展,它在FSM模型的基礎上增加瞭變量、操作以及狀態遷移的前置條件,通過EFSM我們可以更加精確地刻畫軟件繫統的動態行為.基于EFSM的測試可以應用到許多領域,因此具有重要的研究價值和實際意義.許多研究人員已經提齣瞭基于FSM測試的測試輸入序列的構造方法,但基于EFSM的測試與FSM相比由于變量和狀態遷移的前置條件的引入,增加瞭構造其測試輸入的複雜性.我們認為基于EFSM測試的測試輸入應該包含兩箇部分:即測試輸入序列以及該輸入序列上包含的輸入變量的確定值(測試輸入數據).手工選取這些測試數據的工作十分繁瑣,極大地增加瞭測試的花費,因此自動選取這些測試數據可以大大提高實際測試工作的效率.該文提齣一種基于EFSM測試的測試數據自動選取方法,該方法利用兩箇關鍵的步驟:①區間削減和②分段梯度最優下降算法來自動選取測試數據.實驗錶明利用該方法可以自動選取大部分的測試數據,併且收斂速度較快;在某些無法得到確定解的情況下,區間削減也可以為測試人員提供一箇較小的輸入變量取值區間, 方便瞭測試人員從中手工選擇測試數據.
확전유한상태궤(EFSM)모형시유한상태궤(FSM)모형적일개확전,타재FSM모형적기출상증가료변량、조작이급상태천이적전치조건,통과EFSM아문가이경가정학지각화연건계통적동태행위.기우EFSM적측시가이응용도허다영역,인차구유중요적연구개치화실제의의.허다연구인원이경제출료기우FSM측시적측시수입서렬적구조방법,단기우EFSM적측시여FSM상비유우변량화상태천이적전치조건적인입,증가료구조기측시수입적복잡성.아문인위기우EFSM측시적측시수입응해포함량개부분:즉측시수입서렬이급해수입서렬상포함적수입변량적학정치(측시수입수거).수공선취저사측시수거적공작십분번쇄,겁대지증가료측시적화비,인차자동선취저사측시수거가이대대제고실제측시공작적효솔.해문제출일충기우EFSM측시적측시수거자동선취방법,해방법이용량개관건적보취:①구간삭감화②분단제도최우하강산법래자동선취측시수거.실험표명이용해방법가이자동선취대부분적측시수거,병차수렴속도교쾌;재모사무법득도학정해적정황하,구간삭감야가이위측시인원제공일개교소적수입변량취치구간, 방편료측시인원종중수공선택측시수거.
