智能计算机与应用
智能計算機與應用
지능계산궤여응용
Computer Study
2013年
1期
39-41,44
,共4页
Daikon%C++Test%测试用例集约简%变异测试
Daikon%C++Test%測試用例集約簡%變異測試
Daikon%C++Test%측시용례집약간%변이측시
程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域.针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估.实验结果表明,CDRT工具能有效地约简测试用例集.
程序似然不變量是程序中隱含的屬性,可以應用于程序驗證、軟件測試技術、逆嚮工程等領域.針對自動化測試工具C++Test產生的測試用例集,利用程序不變量分析工具Daikon判斷這些測試用例是否改變瞭噹前的不變量;併將兩種工具結閤生產一種自動化測試用例集約簡工具CDRT(C++Test And Daikon Reduction Testing),從而達到約簡測試用例集的效果,再通過變異測試工具INSURE++對簡化後的測試用例集進行評估.實驗結果錶明,CDRT工具能有效地約簡測試用例集.
정서사연불변량시정서중은함적속성,가이응용우정서험증、연건측시기술、역향공정등영역.침대자동화측시공구C++Test산생적측시용례집,이용정서불변량분석공구Daikon판단저사측시용례시부개변료당전적불변량;병장량충공구결합생산일충자동화측시용례집약간공구CDRT(C++Test And Daikon Reduction Testing),종이체도약간측시용례집적효과,재통과변이측시공구INSURE++대간화후적측시용례집진행평고.실험결과표명,CDRT공구능유효지약간측시용례집.
