计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
4期
617-626
,共10页
刘新忠%徐高潮%胡亮%付晓东%董玉双
劉新忠%徐高潮%鬍亮%付曉東%董玉雙
류신충%서고조%호량%부효동%동옥쌍
变异测试%约束系统%软件自动化测试%测试数据生成%面向路径测试
變異測試%約束繫統%軟件自動化測試%測試數據生成%麵嚮路徑測試
변이측시%약속계통%연건자동화측시%측시수거생성%면향로경측시
作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响.充分考虑两种依赖关系,针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法.实验表明,这种方法在变异测试数据生成的成功率和执行效率上都有较大程度的提高.
作為衡量測試用例集完備性的測試策略,變異測試是一種"麵嚮缺陷"的單元測試技術,主要用來生成完備的測試用例集.其中麵嚮路徑測試數據生成技術通過約束繫統構造和求解過程實現用例集生成,是一種高效的測試用例生成技術.但目前大部分麵嚮路徑測試用例生成技術隻攷慮瞭程序語句間的控製依賴,即通過對控製流圖的分析來構建約束繫統,而忽略瞭語句間的數據依賴對約束繫統的影響.充分攷慮兩種依賴關繫,針對域削減的測試數據生成技術進行瞭改進,提齣瞭一種攷慮數據依賴的域削減方法.實驗錶明,這種方法在變異測試數據生成的成功率和執行效率上都有較大程度的提高.
작위형량측시용례집완비성적측시책략,변이측시시일충"면향결함"적단원측시기술,주요용래생성완비적측시용례집.기중면향로경측시수거생성기술통과약속계통구조화구해과정실현용례집생성,시일충고효적측시용례생성기술.단목전대부분면향로경측시용례생성기술지고필료정서어구간적공제의뢰,즉통과대공제류도적분석래구건약속계통,이홀략료어구간적수거의뢰대약속계통적영향.충분고필량충의뢰관계,침대역삭감적측시수거생성기술진행료개진,제출료일충고필수거의뢰적역삭감방법.실험표명,저충방법재변이측시수거생성적성공솔화집행효솔상도유교대정도적제고.
