会议专题

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

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

软件测试 软件测试用例生成 软件测试充分性

鞠彬 朱北园 王东盛

控制工程研究所

国内会议

第八届全国容错计算学术会议

武汉

中文

286~293

1999-10-01(万方平台首次上网日期,不代表论文的发表时间)