loader image

针对Simulink模型和量产代码的测试解决方案

针对 ADAS/AD 虚拟验证的挑战

如何创建所需的数百万个方案?

如何避免测试爆炸问题?

如何确定我的测试是通过还是失败?

Products

针对Simulink模型和量产代码的测试解决方案

针对 ADAS/AD 虚拟验证的挑战

如何创建所需的数百万个方案?

如何避免测试爆炸问题?

如何确定我的测试是通过还是失败?

产品

BTC Back-to-Back测试套件

用于自动背靠背测试、回归测试和迁移测试的智能测试生成

ISO 26262认证

100% 完整性<br> 0% 手动操作

BTC Back-to-Back测试套件是ISO 26262认证的工具,用于自动测试生成和测试执行。

嵌入式软件开发中的许多用例都需要一组测试用例,这些测试用例可以100%覆盖被测系统的结构。使用手动创建的测试数据,这通常无法实现。

虽然市场上的许多测试解决方案依赖于不完整的随机测试生成方法,但BTC Back-to-Back测试套件使用独特的“模型检查”方法来生成数学上完整的结构测试用例,以实现100%的覆盖率。

我们的测试生成器访问所有输入变量和校准参数,允许用户检测功能测试用例尚未发现的问题。

info (3)

包括BTC 功能测试套件的所有功能

结构测试

Use Cases

Back-to-Back Test

在基于模型的开发过程中,通过背靠背测试来证明模型和相应代码的行为是相同的,这是ISO 26262标准强烈推荐的。

回归测试

随着嵌入式软件项目的开发过程变得越来越敏捷,回归测试变得更加重要,以便自动比较不同版本的模型和代码。

迁移测试

迁移测试会自动确保升级到新版本的开发工具链(例如 Matlab 或 TargetLink)不会更改模型和生产代码的行为。

更大的灵活性

自动生成测试的覆盖率目标

BTC Back-to-Back测试套件允许您自动生成测试用例,以实现生产代码的完整结构覆盖。这包括覆盖范围目标,如语句、判定、条件、MC/DC 或Domain覆盖范围。测试生成器将能够访问所有输入变量和校准,从而允许它检测功能测试用例尚未发现的问题。 测试生成基于所谓的模型检查技术。与随机算法不同,该技术不仅保证找到覆盖所需目标的最小和最短的测试用例集,而且还执行动态分析,表明某些目标无法实现。这意味着该工具能够以数学方式证明某些覆盖率目标无法实现。

插件

用户自定义
覆盖目标

除了预定义的覆盖率指标外,还可以使用用户定义的覆盖率目标附加组件创建单独的覆盖率目标,从而可以轻松描述某些系统状态。

这些覆盖率目标是在直观的编辑器中定义的,该编辑器可以访问系统的所有界面变量。指定预期的覆盖率指标后,该工具将自动分析并记录现有测试用例是否涵盖这些目标。

如果未达到目标,集成的测试用例生成可用于自动创建满足这些条件的测试用例。而且,对于结构覆盖目标,在用户定义的覆盖目标无法实现的情况下,引擎还将提供完整的数学证明。

插件

测试自动化
incl. 支持CI/CD

借助BTC Back-to-Back测试套件自动化插件,您可以完全自动地运行测试工作流程。测试执行可以由脚本或 Jenkins 等工具触发。测试完成后,将生成一个全面的HTML报告,提供结果的清晰概述以及指向集成详细报告的超链接。 凭借对 Jenkins 的现成支持、强大而灵活的 REST API 以及基于 Linux 的容器映像的可用性,BTC Back-to-Back测试套件已准备好满足您未来所有测试自动化需求,无论是在您自己的服务器上还是在云上。

测试自动化附加组件还包括BTC Back-to-Back迁移测试插件,该套件在不同工具版本(例如Matlab或TargetLink)之间执行自动回归测试。这样可以很容易地记录在特定项目中更改工具版本是否会影响软件组件在模型和/或代码上的行为。

认证

ISO 26262

BTC EmbeddedPlatform已通过德国TÜV Süd认证,适合用于安全关键软件开发项目。 该证书适用于不同的标准,包括IEC 61508-3:3010,ISO 26262,EN 50128,IEC 62304以及ISO 25119。对于汽车标准ISO 26262,该证书适用于所有ASIL级别,包括ASIL D。作为验证工具,BTC EmbeddedTester被归类为TCL 3的最高工具置信度。 我们根据要求免费向客户提供证书和相应的报告,这大大减少甚至消除了客户方工具认证措施的任何努力
ISO 26262 Certificate

申请试用License

如果您想试用我们的工具,我们很乐意免费提供评试用License。评估包括免费的发布研讨会,还为您提供了与我们的支持和工程团队进行一对一会面的机会。

预定与我们的工程团队的会议

您有任何问题或希望看到我们的工具在实际项目中运行吗?如果是这样,请使用下面的链接安排会议,我们的工程团队成员将很乐意向您展示功能和用例,并直接回答您可能遇到的任何问题。

申请试用license

如果您想试用我们的工具,我们很乐意免费提供评试用License。评估包括免费的发布研讨会,还为您提供了与我们的支持和工程团队进行一对一会面的机会。

预定与我们的工程团队的会议

您有任何问题或希望看到我们的工具在实际项目中运行吗?如果是这样,请使用下面的链接安排会议,我们的工程团队成员将很乐意向您展示功能和用例,并直接回答您可能遇到的任何问题。

技术

Model Checking

BTC Embedded Systems率先将Model Checking技术与商业软件工具集成。向行业专业人士提供这种高度自动化的技术有助于我们的客户显着提高嵌入式开发项目的效率和质量。

Model Checker的目的是针对特定时态属性广泛分析系统行为,以自动确定此属性是否成立。如果它不成立,Model Checker将返回一个具体的反例,显式显示如何违反相应的属性。与传统测试相比,Model Checkerc只需按一下按钮即可分析系统的所有可能运行,并提供系统动态行为的完整数学证明。反例的生成将模型检查与其他自动分析方法(如抽象解释)区分开来。

BTC EMBEDDED SYSTEMS BLOG

来自我们的Blog

分享有关嵌入式软件开发、基于模型的设计、自动代码生成和 ISO 26262 兼容测试的见解。

产品视频、视频博客和网络研讨会

视频&网络研讨会

在这些短视频中了解我们产品的一些主要功能。

BTC 功能测试套件

针对 Simulink、TargetLink、嵌入式编码器和手写代码的基于需求的测试。