TESTBED在某型高炮火控软件测试中的应用

摘要

研究了黑盒功能测试和结构覆盖测试,定义了各种覆盖率指标及指出其适用范围,根据覆盖率准则的包含关系,提出了装备定型中关键软件的测试策略;针对某型高炮系统的组成与特点,设计和搭建了其火控软件配置项测试的仿真测试平台;介绍了TESTBED插装选项中两种基本覆盖率信息压缩方式,并通过插装模板和插装代码的适应性改造,建立了一种新的覆盖率信息压缩形式BYTEMAP,克服了BITMAP插装方式对被测火控软件实时性的影响,利用系统预留的串行通信端口,输出了测试的覆盖率信息,实现了嵌入式火控软件的覆盖率测试和分析;测试结果表明:根据软件规约所设计的测试用例和覆盖率分析所补充的测试用例充分有效,达到了预期的测试效果.