产品概览

面向于Simulink/TargetLink模型及量产代码,BTC EmbeddedTester Systems公司提供智能的,高自动化程度的,满足ISO26262要求的测试解决方案。

通过高度集成的测试平台BTC EmbeddedPlatform,除了可以进行常用的功能测试(Requirement-based Testing),等效性测试(Back-to-back Testing)外,还可以进行强大的静态数学证明(Model Checking),自动生成测试用例及形式手法测试。

 

使用Requirement-based Testing套件进行功能测试

基于需求的测试(Requirement-based Testing)有时也被称作功能测试,该测试一般是非常耗时耗力的一场工作,不仅需要工程师去理解需求,手写测试用例,更重要的是管理需求和测试用例及结果的可追溯性,进行覆盖率解析,调试模型的创建等需要各种各样的工具,并且各个工具的衔接并不顺畅,操作起来非常麻烦耗时,并且容易出错。Requirement-based Testing套件可以很好的解决这个问题,她为您提供了一个一站式环境帮助您高效完成Simulink/TargetLink®/C代码的基于需求测试的所有要求。

在基于需求测试的基础上,如果您使用BTC 形式测试套件(Formal Test),通过形式化您的安全相关需求,从而显著的增加测试的深度。形式测试套件允许你对所有的形式需求检查所有的测试用例,并且报告需求的覆盖率,自动量化需求是否得到全面覆盖。如果需求没有得到全覆盖,您可针对未被覆盖的需求,自动生成测试用例来达到需求的全覆盖。

 

 

使用Back-to-Back套件,自动生成满足C代码结构100%覆盖率的测试用例,
并全自动进行Back-to-Back测试

在基于模型的开发流程中,一些控制策略实现实体比如模型,源代码,目标代码需要相互比较以确定行为的一致性,也称作等效性测试。多亏了自动测试用例生成技术和集成的执行环境,您可节约到70%的工时以最大化您的测试效率和品质。使用Back-to-Back测试套件,您可以真正实现“一个按钮”进行Simulink/TargetLink/C代码/目标代码 任意不同实体间的行为等效性测试。

 

 

 

 

 

使用SUP形式语言对自然语言进行形式记述

请想象一下如果您的计算机可以理解您的需求,测试就可以自动进行。通过BTC的SUP形式语言,可以轻松的把安全关键需求“解释”给计算机,这个过程不仅仅能解决需求描述的暧昧,不清晰导致误读等需求质量问题,还可以帮助您遵循ISO26262标准要求的准形式化和形式化记述规范。另外,利用计算机理解需求这个特性,您可以进行以下自动测试工作,从而显著的提高您的测试效率和质量:

 

 

使用形式验证套件进行形式验证

一个测试用例对于一个被测系统来说,一般来说仅仅是覆盖了被测系统的一条计算路径。这种测试方法可以保证一定的产品质量,但很难达到测试的完整性。

 

BTC的形式验证套件帮助您数学穷举您的量产代码或者TargetLink模型的结构,静态证明出被测对象是否违反形式化后安全相关需求的可能性,从而达到100%测试覆盖的完整性。