CAJ | 학술논문

基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的.从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况.该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码.通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据.路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例.理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率.
기우로경복개적측시방법시연건측시중비교중요적일충측시방법,단정서적로경수량왕왕정지수증장,대정서적매일조로경도진행측시복개기본상시불가능적.종연건안전측시적관점간,경관심정서중적관건대마구역(조용위험함수적어구、권복잡도고적함수、순배사내존적대마편단)적집행정황.해문제출료복개관건대마구역적측시수거자동생성방법,해방법기우이진제정서,불의뢰우원마.통과회소로경획취소유가체관건대마구역적정서로경,병통과로경인도자동위획득적로경생성상응적측시수거.로경인도책략기우정서적부호집행여실제집행,축보조정수입,사용약속구해기생성상응적측시용례.이론분석여실험결과현시해문급출적방법가이강저생성측시수거소수요적운행차수,여전통적복개로경측시수거생성방법상비,소수요적운행차수현저강저,제고료생성측시수거적효솔.