计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
17期
93-98,142
,共7页
模型检验%测试生成%性质排序%性质集约简
模型檢驗%測試生成%性質排序%性質集約簡
모형검험%측시생성%성질배서%성질집약간
基于模型检验的自动化测试技术已经得到普遍应用,由于测试用例自动化生成过程中会产生巨大的资源消耗,优化问题越来越受到软件测试行业的广泛关注.提出一种基于节点权重的性质覆盖度计算方法,在模型检验器自动化生成测试用例之前对测试目标排序,能够更有效地检测到冗余性质,从而减少模型检验器被调用执行次数并且避免大规模的测试用例生成.
基于模型檢驗的自動化測試技術已經得到普遍應用,由于測試用例自動化生成過程中會產生巨大的資源消耗,優化問題越來越受到軟件測試行業的廣汎關註.提齣一種基于節點權重的性質覆蓋度計算方法,在模型檢驗器自動化生成測試用例之前對測試目標排序,能夠更有效地檢測到冗餘性質,從而減少模型檢驗器被調用執行次數併且避免大規模的測試用例生成.
기우모형검험적자동화측시기술이경득도보편응용,유우측시용례자동화생성과정중회산생거대적자원소모,우화문제월래월수도연건측시행업적엄범관주.제출일충기우절점권중적성질복개도계산방법,재모형검험기자동화생성측시용례지전대측시목표배서,능구경유효지검측도용여성질,종이감소모형검험기피조용집행차수병차피면대규모적측시용례생성.
