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

Static Detecting Method for Fault Model

作　　者：夏玉辉[1] 李鸣[2] 万琳[1] 王洪艳[1] 

机构地区：[1]装甲兵工程学院信息工程系,北京100072 [2]国家海洋局,北京100860

出　　处：《计算机与现代化》2011年第2期77-80,共4页Computer and Modernization

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

关 键 词：故障模型 软件测试 语法树 控制流图 静态测试 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]