（填空题）
通常对源程序进行静态分析的方法为：生成引用表、程序错误分析和（）。
正确答案
答案解析
略
相似试题
（单选题）
静态测试是以人工的、非形式化的方法对程序进行分析和测试。常用的静态测试方法有（）。
（填空题）
白盒测试过程中使用静态分析技术主要目的为：程序逻辑和编码检查、一致性检查、接口分析、I/O规格说明分析、数据流、变量类型检查和（）。
（单选题）
召开审查会，在会中由小组成员阅读程序，以发现程序错误，同时测试员利用测试数据人工运行程序并得出输出结果，然后由参加者对结果进行审查，以达到测试的目的。这种测试方法为（）。
（判断题）
面向对象的集成测试通常不需要在整个程序编译完成后进行。
（填空题）
具体的白盒测试方法有程序控制流分析、数据流分析、逻辑覆盖、域测试、符号测试、路径分析、（）等。
（单选题）
召开审查会，在会中由小组成员阅读程序，以发现程序错误，同时测试员利用测试数据人工运行程序并得出输出结果，然后由参加者对结果进行审查，以达到测试的目的。这种测试方法是（）。
（判断题）
确认测试的目的是将系统已实现的功能与其设计目标进行比较，力图证明程序与其设计目标不相符。因此通常是在用户真实的环境下所进行的测试。
（填空题）
白盒测试是以仔细检查程序的细节为基础，通过提供一组指定条件和循环的（），对软件中的逻辑路径进行测试，可以在不同的检查点检查程序的状态，以确定实际运行状态与预期状态是否一致。
（单选题）
“应用程序的运行被终止，导致测试不能继续进行”，此类缺陷被定义的级别为（）。
