一种基于故障模型的代码静态测试方法研究

软件测试是排除软件故障,提高软件质量和可靠性的重要手段。基于故障模型的软件测试是软件编码阶段的主流测试方法之一。基于故障模型的代码静态测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点。鉴于此,本文采取一种特殊的静态分析技术来实现对代码的测试。首先讨论传统软件测试方法的缺点和局限性,给出基于故障模型的静态测试方法的优越性;然后在分析过程中,综合应用抽象语法树和控制流图,提出一种基于故障模型的软件测试方法。依据该算法开发自动化测试工具,给出实验结果和对比分析,并指出下一步的研究方向。

Static Detecting Method for Fault Model

Software testing is an important means to eliminate software faults and enhance software quality and reliability.Software testing based on testing model is the important testing method in code phase during the software development life cycle.This testing method has sound characteristics,such as testing source code fast and peering into more of a program＇s dark corners with less fuss than dynamic analysis.Therefore,a special static analysis method is taken to implement code testing.The paper discusses the disadvantage and limitation of the traditional software testing method,builds software＇s fault models,on the basis of the defect-oriented testing strategy,it adopts synthetically syntax tree and controlling stream graph and puts forward a static testing method,and presents an automatic fault detection algorithm.Based on this method,a software testing system is designed and developed,experiment results are obtained and comparison analysis is made,providing a direction for further study.