| 舰艇装备软件可靠性测试工程实践 |
| |
| 引用本文： | 王莹.舰艇装备软件可靠性测试工程实践[J].计算机工程与设计,2012,33(2):612-616. |
| |
| 作者姓名： | 王莹 |
| |
| 作者单位： | 中国船舶工业软件测试中心,江苏连云港,222006 |
| |
| 基金项目： | "十一五"国防预研基金项目 |
| |
| 摘 要： | 为解决软件可靠性测试工程实践上受限于软件的规模、功能和变量的复杂关联而难以开展的问题,提出了一种工程上易于使用的形式语言和测试用例生成方法.由此可清晰描述复杂的功能和变量约束,自动生成指定数量的可靠性测试用例,并通过与实际键值关联,实现可靠性测试用例的自动人机操作输入.对舰艇装备软件典型功能进行了可靠性测试,实验结果表明了该方法的可行性和有效性.
|
| 关 键 词： | 舰艇装备软件 软件可靠性测试 形式语言 测试用例自动执行 工程实践 |
Reliability testing practice of warship furnishment software |
| |
| WANG Ying.Reliability testing practice of warship furnishment software[J].Computer Engineering and Design,2012,33(2):612-616. |
| |
| Authors: | WANG Ying |
| |
| Affiliation: | WANG Ying(Software Test Center of China Ship-building Industry,Lianyungang 222006,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | warship furnishment software software reliability testing formal language automatic test case execution engineering practice |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
