标题：基于舰艇装备软件运行剖面的可靠性测试研究
作者：王立荣 王莹
作者单位：江苏自动化研究所，江苏 连云港 222006
关键字：舰艇装备软件，激励，响应，运行剖面，软件可靠性测试，形式语言，可靠性测试数据自动生成
摘要：软件可靠性测试理论近年来虽有较大的突破，但仍没有达到硬件可靠性工程实践广泛的程度，软件可靠性测试实践上受限于软件运行剖面、操作和变量的复杂关联，而开展的不多。基于舰艇装备软件运行剖面，提出了一种工程上易于使用的形式表示方法和可靠性测试数据生成方法，可清晰描述复杂软件系统的变量约束、操作约束，能方便的生成可靠性测试数据，并实现用例的自动人机操作输入，通过对舰艇装备软件可靠性测试的实践，验证了该方法的可行性和有效性。 关键词：舰艇装备软件，激励，响应，运行剖面，软件可靠性测试，形式语言，可靠性测试数据自动生成