Static Detecting Method for Fault Model
Yuhui Xia · Computer and Modernization · 2011
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.