星载计算机软件测试用例生成法研究及实现
该文从软件测试充分性的基本理论出发,针对星载计算机软件的特点,提出了一种结构测试和功能测试相结合的测试用例生成方法。此方法通过一种形式化描述语方描述软件的设计,得到被测程序的等价类划分,从而达到辅助生成测试用例的目的。文中说明了此方法的原理与实现,最后介绍了它在一个实际程序测试中的应用。
软件测试 软件测试用例生成 软件测试充分性
鞠彬 朱北园 王东盛
控制工程研究所
国内会议
武汉
中文
286~293
1999-10-01(万方平台首次上网日期,不代表论文的发表时间)