loader image

Test Solutions for Simulink Models & Production Code

Products

Test Solutions for Simulink Models & Production Code

Use Cases

Requirements-based Testing

Requirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten code

Terminology

What is Requirements-
based testing?

Requirements-based testing (sometimes also called functional testing) is a test methodology that ensures  a system-under-test (e.g. a software unit) correctly implements its requirements. Test cases and test objectives are derived from the requirements and implemented in a language that allows their execution on the system-under-test.

 

Requirements-based testing is typically a very time consuming task. Not only because of the manual effort required to create the test cases, but more importantly because  result traceability, coverage analysis  and creating a test harness are real challenges which often require a hodgepodge of poorly-integrated tools.

BTC EmbeddedPlattform

Requirements-based Testing with BTC EmbeddedTester BASE

BTC EmbeddedTester BASE provides a tight integration with Simulink, dSPACE TargetLink, and Mathworks Embedded Coder, making it the perfect tool for testing models and production code. For projects working with handwritten C code, a test project that includes  features like stub code generation and automatic call-graph analysis can be easily created. For larger models, sub-functions can be tested independently without the need for modifying the model.

Features like flexible test authoring, built-in connection to requirements management tools and the integrated coverage analysis make BTC EmbeddedTester BASE a one-stop solution for requirements-based testing of models and production code.

BTC TestComposer

Smart and powerful test authoring

In our experience, test cases are too often written in languages which were not designed for that purpose. Examples are scripting languages like Matlab or Python, Excel tables or even C code.

With BTC TestComposer we provide a powerful editor for functional test cases directly within BTC EmbeddedTester BASE. BTC TestComposer knows all details about the test architecture and protects users against invalid data entry. If enumerations are used, a drop-down menu is provided and allows to directly select the desired values. 

Further features include a signal generator, a graphical viewer, flexible tolerance handling and a formula editor, allowing us to calculate the value of a certain signal based on other variables. „Test Macros“ and „Calibration Sets“ can be used to specify and store reusable sequences, and can be instantiated in multiple test cases. This makes it possible to execute test cases directly within the editor and immediately visualize the results.

Requirements, Model, code

Coverage on all Levels

Requirements Coverage

The requirements coverage report shows, if all requirements are covered by test cases and if the linked test cases are passed on the different execution levels MIL, SIL and PIL

Model Coverage

The model coverage report documents the achieved coverage of a Simulink/Stateflow models. If test cases exist on different subsystem levels of a larger models, the coverage metrics are automatically aggregated for the higher hierarchy levels

Code Coverage

Code coverage is automatically calculated and updated in the background. Create, change, import, or delete a test case? The code coverage report has already been updated to reflect these changes.

For Models and Code

Flexible Debugging

As modern model-based development projects grow in complexity, the task of debugging failed test cases becomes increasingly challenging and time consuming. Even more challenges emerge in situations when the function development and testing are separated and performed by different people or different teams. This leads us to an important question: What is the most efficient way for the test engineer provide his test scenario to the developer?

BTC EmbeddedTester BASE includes a unique debugging approach by generating self-contained sandboxes. These sandboxes contain a copy of the system-under-test as well as the test case incl. the corresponding calibration values. Depending on the use case, this sandbox can either be a Simulink model, a Microsoft Visual Studio project file or a generic code-based sandbox for other IDEs. These sandboxes can be easily shared with colleagues or customers and make it easy to try out modifications without harming the original files.

Play now
Debugging_start-2
播放视频
Play now
Debugging_start-2
播放视频

认证

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。评估包括免费的发布研讨会,还为您提供了与我们的支持和工程团队进行一对一会面的机会。

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

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

BTC EMBEDDED SYSTEMS BLOG

From our Blog

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

PRODUCT VIDEOS, VIDEO BLOG & WEBINARS

Videos & Webinars

Discover some of the main features of our products in these short videos.

BTC EmbeddedTester BASE

Requirements-based Testing for Simulink, TargetLink, Embedded Coder and handwritten code.