电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2012年
1期
103-107
,共5页
变异测试%路径比较%测试数据%遗传算法
變異測試%路徑比較%測試數據%遺傳算法
변이측시%로경비교%측시수거%유전산법
提出基于路径比较的变异测试方法.首先,通过比较穿越路径判定变异体是否被杀死；然后,建立基于路径覆盖的变异测试数据生成模型,该模型把杀死变异体作为目标,把满足特定路径覆盖作为约束；最后,采用遗传算法求解该模型.将本文方法应用于典型被测程序,结果表明,该方法可以降低变异测试的难度,并提高测试数据的生成效率.
提齣基于路徑比較的變異測試方法.首先,通過比較穿越路徑判定變異體是否被殺死；然後,建立基于路徑覆蓋的變異測試數據生成模型,該模型把殺死變異體作為目標,把滿足特定路徑覆蓋作為約束；最後,採用遺傳算法求解該模型.將本文方法應用于典型被測程序,結果錶明,該方法可以降低變異測試的難度,併提高測試數據的生成效率.
제출기우로경비교적변이측시방법.수선,통과비교천월로경판정변이체시부피살사；연후,건립기우로경복개적변이측시수거생성모형,해모형파살사변이체작위목표,파만족특정로경복개작위약속；최후,채용유전산법구해해모형.장본문방법응용우전형피측정서,결과표명,해방법가이강저변이측시적난도,병제고측시수거적생성효솔.
