航空航天解决方案
Aviation & Aerospace
航空航天属于高安全领域,对系统的安全性要求极高
航空航天属于高安全领域,对系统的安全性要求极高。为了保证系统的安全性,需要对系统进行严格并详尽的单元测试。该行业遵从DO-178B/C、DO-333等安全标准。标准对单元测试的最高要求是需要达到语句、分支、MC/DC准则的100%覆盖。通常情况下单元测试时间紧,任务重,需要耗费大量的人力及时间去编写用例。如何自动生成测试用例,在有限的时间内快速高效完成单元测试成为了航空航天系统测试的痛点之一。
解决方案亮点
  • 智能生成

    针对C99的标准C工程,自动分析被测工程并基于先进动态符号执行技术智能生成高覆盖、低冗余的测试用例。

  • 三大支持

    支持语句/分支、MC/DC及边界覆盖准则测试用例生成,能够满足ISO26262等行业规范中的单元测试要求。

  • 全面覆盖

    全面覆盖形参、全局变量、桩函数、桩函数形参等数据。

  • 无缝对接

    无缝对接Tessy等第三方测试工具,产生的用例格式无需修改可直接在该类工具中执行。

成功案例
为嫦娥三期探月工程、北斗导航、对地观察等航空航天项目提供技术保障,累计进行15余万行代码测试工作。
技术引领的工业安全产业生态服务平台 Technology Driven Service Platform for Trusted Industry
顶部