舰艇装备软件可靠性测试工程实践

摘要：

为解决软件可靠性测试工程实践上受限于软件的规模、功能和变量的复杂关联而难以开展的问题,提出了一种工程上易于使用的形式语言和测试用例生成方法.由此可清晰描述复杂的功能和变量约束,自动生成指定数量的可靠性测试用例,并通过与实际键值关联,实现可靠性测试用例的自动人机操作输入.对舰艇装备软件典型功能进行了可靠性测试,实验结果表明了该方法的可行性和有效性.

关键词：舰艇装备软件、软件可靠性测试、形式语言、测试用例自动执行、工程实践

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金："十一五"国防预研基金项目51319070102

在线出版日期：2012-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：612-616