loader image

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

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

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

如何避免测试爆炸问题?

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

Products

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

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

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

如何避免测试爆炸问题?

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

Use Cases

Formal Verification

The power of proof for safety-critical systems

Highly automated test methods

Formalized Requirements = Higher Quality

Thanks to the machine-readable nature of the formalized requirements, you can directly use them within several verification use cases and dramatically improve the quality and completeness of the verification process.

Play now
FormalVerification_Start-1
播放视频
Play now
FormalVerification_Start-1
播放视频

Detecting side effects with zero effort

Formal Test

In a traditional requirements-based testing process, each test case is only evaluated against the requirement from which is was derived. But what if test case N°5 violates requirement N°10? Formal Test performs an automatic cross check of all test cases against all formalized requirements. This allows you to detect side effects without any additional testing effort.

Formal Test is available as an Add-on license for BTC EmbeddedTester BASE.

100% Requirements Coverage

Test Generation

Formal requirements allow us to obtain a measurable mathematical definition of requirements coverage. Should a particular formal requirement not be fully covered by existing test cases, the Requirements-based Test Generation add-on allows generating missing test cases automatically, providing you 100% coverage for all requirements.

The power of proof

Formal Verification

Even with a large number of test cases, it is impossible to cover all potential paths through your software. In other words, one very important question still remains unanswered, even after rigorous testing: “Can my safety requirements be violated?”

Thanks to our unique model checking technology you can obtain a mathematical proof that a given requirement cannot be violated by your software. In other words– there is no combination of input signals and calibration values that could ever drive the system to the unsafe state we’re interested in.

申请试用License

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

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

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

申请试用license

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

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

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

BTC EMBEDDED SYSTEMS BLOG

From our Blog

Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.

BTC EmbeddedValidator

The power of proof for safety-critical systems