摘要

在软件测试的静态测试技术中,路径覆盖能保证最大程度的代码覆盖率,路径测试用例设计和程序环路复杂度度量都需要用到控制流图。介绍了软件静态测试常用技术和路径覆盖的相关概念,提出了自动生成模块控制流图的思想,并给出了自动分析和生成程序的关键算法。