计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
23期
78-81
,共4页
抽象技术%模型检测%类测试%测试用例生成
抽象技術%模型檢測%類測試%測試用例生成
추상기술%모형검측%류측시%측시용례생성
从类的源代码中抽象出类的所有状态来减少系统状态及其行为,根据抽象后的类状态,设置JPF搜索环境,裁剪类方法测试序列生成时的搜索分支,提出了一种类测试用例生成方法.实验结果表明,该方法能够有效地减少类测试用例生成时间.
從類的源代碼中抽象齣類的所有狀態來減少繫統狀態及其行為,根據抽象後的類狀態,設置JPF搜索環境,裁剪類方法測試序列生成時的搜索分支,提齣瞭一種類測試用例生成方法.實驗結果錶明,該方法能夠有效地減少類測試用例生成時間.
종류적원대마중추상출류적소유상태래감소계통상태급기행위,근거추상후적류상태,설치JPF수색배경,재전류방법측시서렬생성시적수색분지,제출료일충류측시용례생성방법.실험결과표명,해방법능구유효지감소류측시용례생성시간.