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

Achieving of Statement Coverage Object for Radio Tuning Unit Software
Author:
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [10]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    本文以无线电调谐单元设备中的无线电调谐软件为例,通过引入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.

    参考文献
    1 Software Considerations in Airborne Systems and Equipment Certification. DO-178C, Washington: RTCA, Inc, 2011: 34-51.
    2 沈小明,陆国荣,王云明,蔡喁,欧阳坡.机载软件研制流程最佳实践.上海:上海交通大学出版社,2013.12:75-85.
    3 李华飚译.核心测试过程:计划、准备、执行和完善.北京:中国电力出版社,2007.1:42-87.
    4 蔡为东.软件测试管理全程实践.北京:电子工业出版社, 2009.1:66-75.
    5 黄荦,丁立冬.基于LDRA Testbed的民用机载软件结构覆盖率分析流程研究.航空标准化与质量,2014,4:26-28.
    6 Software Considerations in Airborne Systems and Equipment Certification. DO-178B, RTCA, Inc, 1992:31-49.
    7 张晓明,黄琳译.软件测试的艺术.北京:机械工业出版社, 2013,12:34-87
    8 Beizer B. Software Testing Techniques, Second Edition . USA: The Coriolis Group, 2010.1
    9 杨珂瑶.基于DSP的嵌入式软件测试方法.计算机与现代化, 2014,10:61-66.
    10 陈邵英,张河涛,刘建华.软件测试与持续质量改进.北京: 人民邮电出版社,2008,2:25-38.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

宫伟祥,崔诗娴,陈春晓.无线电调谐单元软件语句覆盖目标的实现.计算机系统应用,2016,25(5):181-186

复制
分享
文章指标
  • 点击次数:1439
  • 下载次数: 2892
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2015-09-18
  • 最后修改日期:2015-11-02
  • 在线发布日期: 2016-05-20
文章二维码
您是第12853663位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号