一句话概括静态分析

以下是在看一篇文章时提到的，概括的很好。

Static Analysis has the potential – different  from testing – to measure the properties of software within quite short time. Static Analysis provides for software similar means provided by an oscilloscope（示波器） for hardware: It is an efficient help in identifying weak points in design or realization. However, it does not proof correct  functionality. So Static Analysis is a very efficient supplement to (Black-Box-) Tests but not a replacement.

上面的文字提到，静态分析对软件的作用就好比示波器对硬件一样，在确认设计或实现的不足时，它非常高效，但它不能证明功能正确，所以静态分析是对黑盒测试的有效补充，而不是替代物。

再补充一句，很多老外不认为静态分析属于测试(testing)的范围，他们眼中的testing其实是我们常讲的动态测试。