立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键系统集成研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

SC-Covalyzer 软件代码结构覆盖分析工具

您的位置: 首页 > 产品中心 > SC-Covalyzer 软件代码结构覆盖分析工具

SC-Covalyzer 软件代码结构覆盖分析工具


在航空航天、核电、轨道交通、汽车电子等高安全领域,对软件测试的充分性提出了明确且严格的要求,代码结构覆盖分析是其中的重要内容。


GJB/Z 141等军用软件测试指南、细则的要求


GJB/Z 141第5.3节要求单元测试的语句覆盖、分支覆盖均要达到100%。

军用软件测试实施细则中,对单元测试的结构覆盖测试的要求是:

l  对于C级软件,语句覆盖率达到100%;

l  对于B级软件,分支覆盖率达到100%;

l  对于A级软件,MC/DC、分支、语句覆盖达到100%;


DO-178C对软件结构测试覆盖的适航要求

DO-178C在6.4.4.2节提出了对不同等级的软件进行测试时必须要达到的软件结构覆盖要求。

l 对于C级软件,必须要达到语句覆盖

l 对于B级软件,必须要达到语句覆盖和判定覆盖

l 对于A级软件,必须要达到语句覆盖、判定覆盖和MC/DC覆盖


现状及问题


现有的测试覆盖工具虽然能够做到收集结构覆盖率,但是这些工具在实际应用场景中仍然存在问题,例如:


混淆判定覆盖和分支覆盖


GJB要求的覆盖准则是分支覆盖,DO-178C要求的覆盖准则是判定覆盖(其要求高于分支覆盖),有些工具以分支覆盖代替判定覆盖,不满足适航要求。


不支持 Masking MC/DC


有些工具声称能够收集MC/DC的覆盖率,都是指Unique-Cause MC/DC。在实际工程中,由于存在多条件耦合的情况,几乎很难达到Unique-Cause MC/DC的完全覆盖,只能通过额外说明来补充。

而DO-178C接受Masking MC/DC,这在不降低软件安全的前提之下可以更加高效的满足覆盖要求。因此,仅支持Unique-Cause MC/DC的工具将给实际工程造成巨大的、不必要的时间和成本浪费。


不能支持特殊语法


例如,非布尔判定(如枚举判定)、布尔赋值语句、条件赋值语句、程序入口和出口覆盖等。


SC-Covalyzer解决方案


SC-Covalyzer(Source Code based COVerage anALYZER)为实现软件测试结构覆盖分析(语句覆盖、判定覆盖、MC/DC覆盖等准则),提高测试充分性,提供了一套完整的解决方案。


SC-Covalyzer能够根据任何一种或几种覆盖准则,对源代码进行插桩,在软件测试的同时自动收集、累积和统计覆盖情况,对未覆盖到的情形进行辅助分析,并自动生成覆盖分析报告。





代码插桩


SC-Covalyzer使用独有创新技术对源代码进行插桩,能够识别程序中的入口、出口、语句、布尔判定、枚举判定、判定中的条件、布尔赋值、条件赋值等各种语句,并且插桩后的膨胀率远低于行业同类产品。


收集覆盖率


SC-Covalyzer使用灵活的方式收集覆盖率,支持自动化测试、手工测试、混合测试。SC-Covalyzer也支持分批次收集覆盖并进行累积。

SC-Covalyzer支持在配置项测试、部件/集成测试收集覆盖率,特定情况下可以省略单元/低层测试,从而降低测试工作量。(适航依据参见DO-178C 第45页6.4节Note)


覆盖结果展示


SC-Covalyzer能够精准定位并直观展示测试覆盖的情况,以高亮方式指出未覆盖到的代码结构。


覆盖信息补充


SC-Covalyzer允许工程人员对未覆盖到的代码结构加以人工解释或说明,如非激活代码(Deactivated Code)、无关代码( Extraneous Code)等情况。


覆盖报告生成


SC-Covalyzer会自动生成全面的覆盖分析报告,供用户离线使用。


支持与耦合覆盖率同步收集


用户可以同时使用SC-Covalyzer与SA-Covalyzer,从而在一次测试活动中同时收集结构覆盖率和耦合覆盖率。



安康合洪信息技术股份有限公司 版权所有 COPYRIGHT © 2017gzhyrl.com 邮政编码:8888 88