论文部分内容阅读
路径覆盖是考察软件测试充分性的一种重要准则，它使程序的每个分支至少执行一次。该文通过对DDGRAPH图的定义及相关概念的分析，对构建DDGRAPH图及支配树、蕴含树、非限制弧的方法进行了改进。通过具体的应用实例对比了改进前后的方法，改进后的方法可以减少生成的路径数，用更少的测试用例发现更多的错误。