计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2011年
6期
953-964
,共12页
目标制导测试%缺陷触发%静态分析%混合执行测试
目標製導測試%缺陷觸髮%靜態分析%混閤執行測試
목표제도측시%결함촉발%정태분석%혼합집행측시
混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一问题,文中提出了一种结合静态分析和混合执行测试技术的目标制导的混合执行测试方法:使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型,并将静态分析所报告的可疑语句作为目标指导测试.目标制导的混合执行测试技术分为3个步骤:首先,计算从程序各分支到待检测缺陷语句的可达性;其次,对待测试程序进行插装以支持混合执行测试;第三,使用静态分析的结果和可达性信息作为指导,只生成和执行可能会覆盖待检测缺陷语句的测试输入,以避免生成和执行不能发现缺陷的测试输入.基于此方法,作者实现了一个测试缓冲区溢出缺陷的原型工具:TARGET,并在一组C语言基准程序上进行了对比实验.实验结果表明与原有的混合执行测试技术相比较,TARGET能在更短的时间内发现程序中更多的缺陷.
混閤執行測試(concolic testing)是一種將具體執行與符號執行相結閤的自動化測試方法.由于混閤執行測試從程序本身齣髮,未將目標缺陷的先驗知識作為指導,會導緻生成和執行大量不能髮現缺陷的測試輸入,從髮現缺陷的角度看浪費瞭時間和計算資源開銷.這箇問題在具有時間、成本及資源約束的實際測試任務中更加突齣.為解決這一問題,文中提齣瞭一種結閤靜態分析和混閤執行測試技術的目標製導的混閤執行測試方法:使用靜態分析工具分析待測程序中可能含有缺陷的可疑語句及其缺陷類型,併將靜態分析所報告的可疑語句作為目標指導測試.目標製導的混閤執行測試技術分為3箇步驟:首先,計算從程序各分支到待檢測缺陷語句的可達性;其次,對待測試程序進行插裝以支持混閤執行測試;第三,使用靜態分析的結果和可達性信息作為指導,隻生成和執行可能會覆蓋待檢測缺陷語句的測試輸入,以避免生成和執行不能髮現缺陷的測試輸入.基于此方法,作者實現瞭一箇測試緩遲區溢齣缺陷的原型工具:TARGET,併在一組C語言基準程序上進行瞭對比實驗.實驗結果錶明與原有的混閤執行測試技術相比較,TARGET能在更短的時間內髮現程序中更多的缺陷.
혼합집행측시(concolic testing)시일충장구체집행여부호집행상결합적자동화측시방법.유우혼합집행측시종정서본신출발,미장목표결함적선험지식작위지도,회도치생성화집행대량불능발현결함적측시수입,종발현결함적각도간낭비료시간화계산자원개소.저개문제재구유시간、성본급자원약속적실제측시임무중경가돌출.위해결저일문제,문중제출료일충결합정태분석화혼합집행측시기술적목표제도적혼합집행측시방법:사용정태분석공구분석대측정서중가능함유결함적가의어구급기결함류형,병장정태분석소보고적가의어구작위목표지도측시.목표제도적혼합집행측시기술분위3개보취:수선,계산종정서각분지도대검측결함어구적가체성;기차,대대측시정서진행삽장이지지혼합집행측시;제삼,사용정태분석적결과화가체성신식작위지도,지생성화집행가능회복개대검측결함어구적측시수입,이피면생성화집행불능발현결함적측시수입.기우차방법,작자실현료일개측시완충구일출결함적원형공구:TARGET,병재일조C어언기준정서상진행료대비실험.실험결과표명여원유적혼합집행측시기술상비교,TARGET능재경단적시간내발현정서중경다적결함.
