4.2程序静态测试.pptx

软件质量保证与测试;静态测试;程序静态测试通过分析或检查源程序的结构、过程、接口等来检查程序的正确性，找出不妥和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。

最常见的静态测试包括代码检查、静态结构分析、静态质量度量等。;代码检查法主要是通过桌面检查，代码审查和走查方式，对以下内容进行检查：

1.检查代码和设计的一致性；

2.代码的可读性以及对软件设计标准的遵循情况；

3.代码逻辑表达的正确性；

4.代码结构的合理性；

5.程序中不安全、不明确和