现代信息技术不断发展，信息化系统不断更新及其复杂程度不断提高，信息化系统中软件设计的规模也日益增大，加之企业对软件的功能、性能的严格要求也越来越高，随之而来的软件错误发生的概率也会明显地增加，软件质量的问题也就尤为突出。因此，用来保证软件质量的关键-软件测试的工作就显得重中之重。为保证软件质量，测试应该能够有效且高效的发现软件中的更多的缺陷。从20世纪90年代开始引入的软件自动化测试，很大程度地改进了测试的效果和质量，而且还起到了降低成本，缩短测试周期的作用。至今为止它在软件测试这一领域的重要性显而易见。自动化的测试离不开工具，这期间相应的测试工具更是层出不穷。动姿态模拟系统。

        研究了现代源代码分析技术中使用的安全规则，软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞。并使用基于源代码的静态测试工具，对一些大型航天软件进行测试分析，总结其中存在的一些问题，并说明解决其相应难题需要准的备工作。