基于舰艇装备软件运行剖面的可靠性测试研究

软件可靠性测试理论近年来虽有较大的突破,但仍没有达到硬件可靠性工程实践广泛的程度,软件可靠性测试实践上受限于软件运行剖面、操作和变量的复杂关联,而开展的不多。基于舰艇装备软件运行剖面,提出了一种工程上易于使用的形式表示方法和可靠性测试数据生成方法,可清晰描述复杂软件系统的变量约束、操作约束,能方便的生成可靠性测试数据,并实现用例的自动人机操作输入,通过对舰艇装备软件可靠性测试的实践,验证了该方法的可行性和有效性。

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

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