在学术领域中,静态测试被定义为:
在结构分析方面,静态结构分析通过图形化方式展示程序内部的逻辑结构,如函数调用关系图和控制流图。函数调用关系图展示了函数间的调用链,而控制流图则揭示了函数内部的控制流程,由节点和边构成,节点代表代码段,边表示控制流的方向。
静态测试的检查内容包括代码风格和规则的合规性,程序设计和结构的合理性,以及业务逻辑的正确性。此外,走查、审查和参考技术复审手册也是静态测试过程中不可或缺的步骤。
静态方法是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析,找出欠缺和可疑之处,例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错,并为测试用例选取提供指导。