| 基于LDRA Testbed的飞机中央维护系统覆盖测试 |
| |
| 引用本文： | 邹会荣.基于LDRA Testbed的飞机中央维护系统覆盖测试[J].航空计算技术,2010,40(5):91-94. |
| |
| 作者姓名： | 邹会荣 |
| |
| 作者单位： | 中国航空计算技术研究所,陕西西安710068 |
| |
| 摘 要： | 基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。
|
| 关 键 词： | 飞机中央维护系统 LDRA Testbed 语句覆盖分析 分支覆盖测试 |
Realization of Coverage Testing for Aeroplane Central Maintenance System Based on LDRA Testbed |
| |
| ZOU Hui-rong.Realization of Coverage Testing for Aeroplane Central Maintenance System Based on LDRA Testbed[J].Aeronautical Computer Technique,2010,40(5):91-94. |
| |
| Authors: | ZOU Hui-rong |
| |
| Institution: | ZOU Hui- rong ( Aeronautical Computing Technique Research Institute, Xi＇ an 710068, China) |
| |
| Abstract: | Based on the testing tool LDRA Testbed, this paper realizes the coverage testing work of Plane Central Maintenance System. By means of the menu source of Plane Central Maintenance System as the sample, the paper shows that the testing tool can be successfully used in Plane Central Maintenance System through the testing process, and rea- ches the stated testing rate of Statement Coverage Analysis and Branch Coverage Analysis. At the end of the paper, there is the testing process and result of system software. According to the testing result, to use the LDRA Testbed tool can greatly improve the software testing efficiency of Plane Central Maintenance System. At the same time, it can meet the aer- ial software standard- DO- 178B ,and gain the stated testing rate of Statement Coverage Analysis and Branch Coverage Analysis. |
| |
| Keywords: | plane central maintenance system LDRA testbed statement coverage analysis branch coverage analysis |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
