基于Testbed和Polyspace的装备软件静态测试研究

摘要

现代软件测试研究发现：对于任何一个软件或者系统所进行的测试都应当是结合了静态测试和动态测试来进行的，只做其中任何一项测试工作都会因为完整性的缺失而无法得到准确的测评结论。在其它条件不变的情况下，如果能够越早的发现软件中的错误，所造成损失的就会越少。静态测试是对软件中的需求说明书、设计说明书、程序源代码等进行非运行的检查，因此，能够较早地发现软件的缺陷。为了进一步提高软件测试结果可信度和优化成本，必须做到在软件测试项目中包含静态测试。本文分析了静态质量度量，提出了对软件特性进行评价的方法；探索了如何互补性的组合测试工具Testbed和PolySpace应用到实际测试流程中，并在某舰载气象雷达通信软件的静态测试中取得了验证；编制了静态质量分析报告规程。具体包括以下几个方面：
　　 首先，从软件测试的定义、目的和分类着手引入了软件测试的整体概念，描述了软件测试的重要性；剖析了不同测试类型中从是否执行程序的角度划分出来的静态测试，了解了静态测试技术的关键点在于代码、界面和文档的测试。
　　 其次，分析了软件质量度量，继而从软件的静态质量度量基本概念和功能出发，研究了Halstead软件科学度量法和McCabe程序环路复杂度度量法两种软件静态度量方法，重点研究了静态质量模型及结合静态质量模型对软件特性进行评价的方法。
　　 再次，探索如何互补性的组合应用测试工具Testbed和PolySpace到实际测试流程中，研究了如何完整的实现对使用Linux平台和VC++语言开发的某舰载气象雷达通信软件的静态测试，并在实践中了验证了工具使用的可行性。
　　 最后，通过对本文研究内容的总结，探索了如何在软件静态测试的静态分析过程中找到相对完整全面的规则集，从而使静态分析在模型构造、路径选择等方面能够选择更好的策略，以此得到提高静态分析的准确度的效果。并结合软件质量度量的研究和舰载气象雷达通信软件静态测试过程及结果的分析，探索了对于目前整个业界都没有统一成熟的静态测试流程和标准；在静态测试流程中，还没有具备广泛代表性的作为最终测试结果的静态质量分析报告；静态测试结果不能够以简洁明了的形式作为内部质量结果，从而可以有力的支撑项目测评结论的完整性等问题的解决办法，初步拟定了静态质量分析报告的编制规程第一稿。经多个实际测试项目和委托方反馈，该规程质量因素关键点覆盖度高，在装备软件静态质量分析方面具备很强广泛性和代表性。