Bidirectional Symbolic Analysis for Effective Branch Testing.
IEEE Transactions on Software Engineering(2016)
摘要
Structural coverage metrics, and in particular branch coverage, are popular approaches to measure the thoroughness of test suites. Unfortunately, the presence of elements that are not executable in the program under test and the difficulty of generating test cases for rare conditions impact on the effectiveness of the coverage obtained with current approaches. In this paper, we propose a new appro...
更多查看译文
关键词
Analytical models,Testing,Reachability analysis,Valves,Computational modeling,Measurement,Concrete
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络