摘要
为解决软件可靠性测试工程实践上受限于软件的规模、功能和变量的复杂关联而难以开展的问题,提出了一种工程上易于使用的形式语言和测试用例生成方法。由此可清晰描述复杂的功能和变量约束,自动生成指定数量的可靠性测试用例,并通过与实际键值关联,实现可靠性测试用例的自动人机操作输入。对舰艇装备软件典型功能进行了可靠性测试,实验结果表明了该方法的可行性和有效性。
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.
出处
《计算机工程与设计》
CSCD
北大核心
2012年第2期612-616,共5页
Computer Engineering and Design
基金
"十一五"国防预研基金项目(51319070102)
关键词
舰艇装备软件
软件可靠性测试
形式语言
测试用例自动执行
工程实践
warship furnishment software
software reliability testing
formal language
automatic test case execution
engineering practice
