Optimal MC/DC test case generation
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings(2019)
摘要
We present a new method for automated test case generation based on symbolic execution and a custom process of interpolation. The method first identifies program execution paths in order to define a corresponding set of test inputs. It then annotates the program with assertions so as to identify feasible and infeasible cases, the former of which are processed to produce the desired test inputs. The main contribution is that performing symbolic execution using a custom form of interpolation significantly prunes the search space. Our main result is that the set of Modified Condition/Decision Coverage (MC/DC) test cases we produce is optimal.
更多查看译文
关键词
MC/DC, code coverage, software testing, symbolic execution
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络