星载计算机软件测试用例生成法研究及实现

摘要

该文从软件测试充分性的基本理论出发，针对星载计算机软件的特点，提出了一种结构测试和功能测试相结合的测试用例生成方法。此方法通过一种形式化描述语方描述软件的设计，得到被测程序的等价类划分，从而达到辅助生成测试用例的目的。文中说明了此方法的原理与实现，最后介绍了它在一个实际程序测试中的应用。