无线电调谐单元软件语句覆盖目标的实现

摘要：

本文以无线电调谐单元设备中的无线电调谐软件为例，通过引入LDRA TESTBED自动化测试工具提高测试效率，实现满足 DO-178C 中的语句覆盖数据的目标。语句覆盖是民用飞机软件研制中最基本的覆盖率测试目标。语句覆盖可以有效检测出源代码中的多余代码，提高代码质量。通过实验表明LDRA TESTBED可以快速完成源代码插桩以及代码覆盖率数据分析任务，同时，该工具自动标识源代码中未执行的代码，为开发者提供了分析的基础。工具生成的语句覆盖率数据满足DO-178C标准目标要求，可以作为证据提交给局方进行审查，提高软件的置信度。

关键词：语句覆盖、机载软件、无线电调谐单元、自动化测试工具、局方

所属期刊栏目：25

分类号：TN9;TN4

在线出版日期：2016-06-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：181-186