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

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:September 18,2015
  • Revised:November 02,2015
  • Adopted:
  • Online: May 20,2016
  • Published:
Article QR Code
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address:4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code:100190
Phone:010-62661041 Fax: Email:csa (a) iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063