基于LDRA Testbed的飞机中央维护系统覆盖测试

基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。