Practical Strategies to Improve Test Efficiency
This paper introduces strategies to detect software bugs in earlier life cycle stage in order to improve test efficiency. Static analysis tool is one of the effective methods to reveal software bugs during software development. Three popular static analysis tools are introduced, two of which, PolySpace and Splint, are compared with each other by analyzing a set of test cases generatedd by the authors. PolySpace can reveal 60％ bugs with 100％ R/W ratio (ratio of real bugs and total warnings), while Splint reveal 73.3％ bugs with 44％ R/W ratio. And they are good at finding different categories of bugs. Two strategies are concluded to improve test efficiency, under the guideline that static analysis tools should be used in finding different categories of bugs according to their features. The first one aims at finding bugs as many as possible, while the second concentrates to reduce the average time on bug revelation. Experimental data shows the first strategy can find 100％ bugs with 60％ RAN ratio, the second one find 80％ bugs with 66.7％ R/W ratio. Experiment results prove that these two strategies can improve the test efficiency in both fault coverage and testing time.
static analysis PolySpace splint software bug
DING Zhigang WANG Hongcheng LING Lianghe
Shanghai Development Center of Software Technology,Shanghai Key Laboratory of Computer Software Evaluating and Testing,Shanghai 201114,China
国内会议
北京
英文
250-254
2007-07-15（万方平台首次上网日期，不代表论文的发表时间）