How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
Intelligent test generation for automated Back-to-back tests, Regression tests and Migration tests
BTC EmbeddedTester is an ISO 26262 certified tool for automatic test generation and test execution.
Many use cases in embedded software development require a set of test cases which deliver 100% structural coverage of the system under test. With manually created test data, this is often impossible to achieve.
While many test solutions on the market rely on incomplete random test generation methods, BTC EmbeddedTester uses a unique “model checking” approach to generate mathematically complete structural test cases for 100% coverage.
Our test generator accesses all input variables and calibration parameters, which allows the user to detect issues that have not yet been revealed by functional test cases.
In a model-based development process, it is important to show that the behavior is the same on both model and corresponding code via back-to-back tests, which are highly recommend by the ISO 26262 standard.
As the development process in embedded software projects becomes increasingly agile, regression tests become even more important in order to automatically compare different versions of model and code.
A migration test automatically ensures that an upgrade to a new version of your development toolchain (e.g. Matlab or TargetLink) does nor change the behavior of your models and production code.
BTC EmbeddedTester allows you to automatically generate test cases in order to achieve full structural coverage of your production code. This includes coverage goals like statement, decision, condition, MC/DC or domain coverage. The test generator will be able to access all input variables and calibrations, allowing it to detect issues that have not been revealed by functional test cases.
The test generation is based on so-called model checking technology. Unlike random algorithms, this technology not only guarantees that the smallest and shortest set of test cases to cover the desired objectives will be found, but it also performs a dynamic analysis showing that some objectives are unreachable. This means that the tool is able to mathematically prove that some coverage goals is not reachable.
In addition to the pre-defined coverage metrics, it is possible to create individual coverage goals using the User-Defined Coverage Goals add-on, which makes it easy to describe certain system states.
These coverage goals are defined inside an intuitive editor which has access to all interface variables of the system. After specifying the intended coverage metrics, the tool will automatically analyze and document whether or not existing test cases cover these goals.
Should the goals not be met, the integrated test case generation can be used to automatically create test cases which fulfill these conditions. And, for structural coverage goals, the engine will also provide complete mathematical proofs in cases a user-defined coverage goal is unreachable.
The Test Automation add-on also includes the BTC EmbeddedTester Migration Suite, which performs an automated regression test between different tool versions (e.g. Matlab or TargetLink). This makes it easy to document whether or not changing a tool version in a particular project influences the behavior of sotware components on model and/or code.
BTC EmbeddedPlatform (incl. BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) has been certified by German TÜV Süd as fit for usage in safety critical software development projects.
The certificate addresses different standards including IEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304 as well as ISO 25119.
For the automotive standard ISO 26262, we have been certified with the highest tool confidence level TCL and the certificate is valid for all ASIL levels including ASIL D.
We provide the certificate and the corresponding report to our customers free of charge upon request, which almost eliminates any effort for tool qualification measures on the customer side.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
BTC Embedded Systems pioneered integrating model checking technology with commercial software tools. Delivering this highly automated technology to industry professionals helps our customers significantly increase the efficiency and quality of embedded development projects.
The purpose of a model checker is to extensively anlyze the system behavior against a particular temporal property to automatically determine whether or not this property holds. If it does not hold, the model checker returns a concrete counterexample explicitly showing how to violate the corresponding property. As compared to traditional testing, the model checker analyzes all possible runs of the system with the push of a button and delivers complete mathematical proof of the dynamic behavior of the system. The generation of a counterexample distinguishes model checking from other automated anlysis methods such as abstract interpretation.
Requirements-based testing for Simulink, TargetLink, Embedded Coder and handwritten code.
We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.
Copyright © 2024 BTC Embedded Systems
