有了静态分析工具，就可以在不实际运行程序的情况对软件进行分析。
With static analysis tools, you can analyze software without actually running the program.
主要介绍了进行软件白盒测试，包括静态测试分析、覆盖测试分析、运行时错误检测的方法、工具及实践。
This paper introduces the methods, tools and practice of software white-box testing, including software static analysis, coverage testing and runtime error checking.
本文利用通用化有限元分析软件ANSYS作为分析工具，对真空吸夹具的密封关键部位及密封元件进行了有限元静态分析和优化设计。
The static analysis and structural optimization of the key seal parts and components of vacuum clamp are researched in this thesis using finite element analysis software ANSYS.
应用推荐