本文已被：浏览 1264次 下载 2623次
Received:September 18, 2015 Revised:November 02, 2015
Received:September 18, 2015 Revised:November 02, 2015
中文摘要: 本文以无线电调谐单元设备中的无线电调谐软件为例,通过引入LDRATESTBED自动化测试工具提高测试效率,实现满足DO-178C中的语句覆盖数据的目标.语句覆盖是民用飞机软件研制中最基本的覆盖率测试目标.语句覆盖可以有效检测出源代码中的多余代码,提高代码质量.通过实验表明LDRATESTBED可以快速完成源代码插桩以及代码覆盖率数据分析任务,同时,该工具自动标识源代码中未执行的代码,为开发者提供了分析的基础.工具生成的语句覆盖率数据满足DO-178C标准目标要求,可以作为证据提交给局方进行审查,提高软件的置信度.
Abstract:Taking the Radio Tuning Unit software hosted on Radio Tunning equipment for instance, this paper discucces how to achieve the statement coverage object of DO-178C by LDRA TESTBED automatic test tool which can improve the test efficiency during the statement coverage test. Statement Coverage is the basic test coverage object for airborne software and could effectively detect the extraneous code from the source code to improve the quality during the test. The test report indicates the TESTBED can process the code instrumentation and analyse the coverage data correctly. And it can identify the uncovered codes information that provides a source for developer to analyze. The report of TESTBED conforms to the DO-178C object requirement and be provided to the certification authority for review, which can increase the certification credits.
keywords: statement coverage airborne software radio tuning unit automatic test tool certification authority
文章编号： 中图分类号： 文献标志码：
基金项目:
引用文本：
宫伟祥,崔诗娴,陈春晓.无线电调谐单元软件语句覆盖目标的实现.计算机系统应用,2016,25(5):181-186
GONG Wei-Xiang,CUI Shi-Xian,CHEN Chun-Xiao.Achieving of Statement Coverage Object for Radio Tuning Unit Software.COMPUTER SYSTEMS APPLICATIONS,2016,25(5):181-186
宫伟祥,崔诗娴,陈春晓.无线电调谐单元软件语句覆盖目标的实现.计算机系统应用,2016,25(5):181-186
GONG Wei-Xiang,CUI Shi-Xian,CHEN Chun-Xiao.Achieving of Statement Coverage Object for Radio Tuning Unit Software.COMPUTER SYSTEMS APPLICATIONS,2016,25(5):181-186
