51Testing软件测试论坛

标题: 软件静态分析疑惑 [打印本页]

作者: ajizhou 时间: 2014-11-13 09:43
标题: 软件静态分析疑惑
1、静态分析的问题，程序编译时难道能通过吗？比如一个典型的例子，先使用后定义这种静态分析问题，编译器在编译时就会提示错误的吧？既然如此静态分析意义何在呢？
2、有没有什么资料能详细讲解静态分析的问题原理、影响及静态分析的好处的呢？
谢谢！本人学习了些静态分析的东西，也做过一些静态分析的东西，但不系统，所以产生了以上的疑问，望高人指点。谢谢！

作者: 土土的豆豆 时间: 2014-11-13 11:05
1. 具体编译程序看具体代码了。后定义时肯定会检查出来，毕竟不是正确的语义约束。。但是也是分析啊？静态分析不是万能的，可以解决部分代码语义、定义、约束问题，或者说是一目了然的明显错误。
2. 资料可以从论坛上查找，也可以去买专业的书籍来阅读，更需要你自己实践。度娘、谷哥都会祝你一臂之力的

其实静态分析是相对动态来说的，即不运行程序。使用的工具主要是你的眼睛，譬如进行文档审阅、代码走查、UI界面检查等等。你用了代码跑一下，调试了就可以算白盒测试范围中代码级检查了，当然用了自动化工具去辅助，效果更佳！

作者: 天外繁星 时间: 2014-11-13 11:30
静态分析可以通过
1.类型和单位分析；
2.引用分析；
3.表达式分析；
4.接口分析；
通过代码审查，代码走查等方法来实现；

作者: 天外繁星 时间: 2014-11-13 11:31

静态分析可以通过
1.类型和单位分析；
2.引用分析；
3.表达式分析；
4.接口分析；
通过代码审查，代码走查等方法来实现；

欢迎光临 51Testing软件测试论坛 (http://bbs.51testing.com/)