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

Reliability testing practice of warship furnishment software

作　　者：王莹 

机构地区：[1]中国船舶工业软件测试中心,江苏连云港222006

出　　处：《计算机工程与设计》2012年第2期612-616,共5页Computer Engineering and Design

基　　金："十一五"国防预研基金项目(51319070102)

摘　　要：为解决软件可靠性测试工程实践上受限于软件的规模、功能和变量的复杂关联而难以开展的问题,提出了一种工程上易于使用的形式语言和测试用例生成方法。由此可清晰描述复杂的功能和变量约束,自动生成指定数量的可靠性测试用例,并通过与实际键值关联,实现可靠性测试用例的自动人机操作输入。对舰艇装备软件典型功能进行了可靠性测试,实验结果表明了该方法的可行性和有效性。To solve the problem that complicated software reliability testing engineering practice is developed seldom,a formal model language and a method of test case generation are presented,which can be used to describe complicated functions and variables distinctly,to generate reliability test cases of needed sum,and to execute test cases by man-machine conversation automatically by means of association with key assignments.Experiments show that the method is feasible and efficient.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]