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

作者简介:

通讯作者:

中图分类号:

基金项目:


Achieving of Statement Coverage Object for Radio Tuning Unit Software
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 增强出版
  • |
  • 文章评论
    摘要:

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

    参考文献
    相似文献
    引证文献
引用本文

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

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

京公网安备 11040202500063号