静态分析技术包括哪些？请大家指教

xixiguo

请问静态分析技术包括哪些？？

边界值分析
数据流分析
控制流分析
检查表
代码走读
是不是都算静态分析？？

猜错分析法、潜在通路分析法是不是也是静态分析？？

另外代码走读，如何在报告中体现，代码走读应进行到什么程度，达到什么效果，是不是可以这样说：按照边界值、数据流、控制流分析等各项要求对代码进行了走读，然后分析结果列在各项分析中。

不知道是不是这样理解的，请大家指教！

xmy942002

白盒测试一般会用到静态分析和动态分析
静态分析包括:控制流分析,数据流分析,信息流分析等
动态分析包括逻辑流分析(分支测试,路径测试等),程序插装等

wangxuan0529

白盒测试一般会用到静态分析和动态分析两类技术，常用的有：
静态分析：控制流分析、数据流分析、信息流分析等
动态分析：逻辑覆盖测试（分支测试、路径测试等）、程序插装等
数据流分析、控制流分析、检查表、代码走读，需求文档评审都是静态分析。
静态测试和动态测试的区别在于是否需要运行被测软件。
代码走读最主要的目标是要发现缺陷，遗漏和矛盾的地方；改进产品；和考虑可替换的实现方法