计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2002年
9期
1144-1150
,共7页
软件测试%规约说明%有限状态机%测试输入序列选取
軟件測試%規約說明%有限狀態機%測試輸入序列選取
연건측시%규약설명%유한상태궤%측시수입서렬선취
有限状态机可以精确地刻画软件系统或其子系统的行为,其在软件建模中被广泛应用.基于有限状态机的测试问题得到了广泛的研究,其中Wp方法由于限制条件较少,并且其可以达到较高的错误覆盖度,因此被广泛使用.但当有限状态机的实现中的状态数目的估计值m较大时,产生的测试输入序列数目过多,影响了其使用效率.提出一种Wp方法的改进方法R-Wp方法,使用该方法在m值较大时可以产生相对较少的测试输入序列数目,可以提高测试效率;同时本文对Wp方法和R-Wp方法产生的测试输入序列数目进行了讨论,并证明了该方法与Wp方法相同的错误覆盖能力.
有限狀態機可以精確地刻畫軟件繫統或其子繫統的行為,其在軟件建模中被廣汎應用.基于有限狀態機的測試問題得到瞭廣汎的研究,其中Wp方法由于限製條件較少,併且其可以達到較高的錯誤覆蓋度,因此被廣汎使用.但噹有限狀態機的實現中的狀態數目的估計值m較大時,產生的測試輸入序列數目過多,影響瞭其使用效率.提齣一種Wp方法的改進方法R-Wp方法,使用該方法在m值較大時可以產生相對較少的測試輸入序列數目,可以提高測試效率;同時本文對Wp方法和R-Wp方法產生的測試輸入序列數目進行瞭討論,併證明瞭該方法與Wp方法相同的錯誤覆蓋能力.
유한상태궤가이정학지각화연건계통혹기자계통적행위,기재연건건모중피엄범응용.기우유한상태궤적측시문제득도료엄범적연구,기중Wp방법유우한제조건교소,병차기가이체도교고적착오복개도,인차피엄범사용.단당유한상태궤적실현중적상태수목적고계치m교대시,산생적측시수입서렬수목과다,영향료기사용효솔.제출일충Wp방법적개진방법R-Wp방법,사용해방법재m치교대시가이산생상대교소적측시수입서렬수목,가이제고측시효솔;동시본문대Wp방법화R-Wp방법산생적측시수입서렬수목진행료토론,병증명료해방법여Wp방법상동적착오복개능력.
