用于自动背靠背测试、回归测试和迁移测试的智能测试生成
BTC Back-to-Back测试套件是ISO 26262认证的工具，用于自动测试生成和测试执行。
嵌入式软件开发中的许多用例都需要一组测试用例，这些测试用例可以100%覆盖被测系统的结构。使用手动创建的测试数据，这通常无法实现。
虽然市场上的许多测试解决方案依赖于不完整的随机测试生成方法，但BTC Back-to-Back测试套件使用独特的“模型检查”方法来生成数学上完整的结构测试用例，以实现100%的覆盖率。
我们的测试生成器访问所有输入变量和校准参数，允许用户检测功能测试用例尚未发现的问题。
BTC Back-to-Back测试套件允许您自动生成测试用例，以实现生产代码的完整结构覆盖。这包括覆盖范围目标，如语句、判定、条件、MC/DC 或Domain覆盖范围。测试生成器将能够访问所有输入变量和校准，从而允许它检测功能测试用例尚未发现的问题。 测试生成基于所谓的模型检查技术。与随机算法不同，该技术不仅保证找到覆盖所需目标的最小和最短的测试用例集，而且还执行动态分析，表明某些目标无法实现。这意味着该工具能够以数学方式证明某些覆盖率目标无法实现。
除了预定义的覆盖率指标外，还可以使用用户定义的覆盖率目标附加组件创建单独的覆盖率目标，从而可以轻松描述某些系统状态。
这些覆盖率目标是在直观的编辑器中定义的，该编辑器可以访问系统的所有界面变量。指定预期的覆盖率指标后，该工具将自动分析并记录现有测试用例是否涵盖这些目标。
如果未达到目标，集成的测试用例生成可用于自动创建满足这些条件的测试用例。而且，对于结构覆盖目标，在用户定义的覆盖目标无法实现的情况下，引擎还将提供完整的数学证明。
测试自动化附加组件还包括BTC Back-to-Back迁移测试插件，该套件在不同工具版本（例如Matlab或TargetLink）之间执行自动回归测试。这样可以很容易地记录在特定项目中更改工具版本是否会影响软件组件在模型和/或代码上的行为。
您有任何问题或希望看到我们的工具在实际项目中运行吗？如果是这样，请使用下面的链接安排会议，我们的工程团队成员将很乐意向您展示功能和用例，并直接回答您可能遇到的任何问题。
BTC Embedded Systems率先将Model Checking技术与商业软件工具集成。向行业专业人士提供这种高度自动化的技术有助于我们的客户显着提高嵌入式开发项目的效率和质量。
Model Checker的目的是针对特定时态属性广泛分析系统行为，以自动确定此属性是否成立。如果它不成立，Model Checker将返回一个具体的反例，显式显示如何违反相应的属性。与传统测试相比，Model Checkerc只需按一下按钮即可分析系统的所有可能运行，并提供系统动态行为的完整数学证明。反例的生成将模型检查与其他自动分析方法（如抽象解释）区分开来。
分享有关嵌入式软件开发、基于模型的设计、自动代码生成和 ISO 26262 兼容测试的见解。
在这些短视频中了解我们产品的一些主要功能。
针对 Simulink、TargetLink、嵌入式编码器和手写代码的基于需求的测试。
Copyright © 2023 BTC Embedded Systems
