Jan 14, · All use cases supported by BTC EmbeddedPlatform are also available for Embedded Coder, incl. code coverage analysis, automatic test generation and formal verification. 4. BTC Embedded Systems provides intelligent, automated and ISO compliant test solutions focused on Simulink/TargetLink models and production code. The new release BTC EmbeddedPlatform (incl. BTC EmbeddedTester ) is now available. Highlights of this release include: 1.
Embedded platform btcBTC Model Checking · BTC ES
The generation of a counterexample distinguishes model checking in particular from other automated analysis methods like abstract interpretation. The appropriate method is selected automatically in an intelligent way according to the nature of the system-under-test. As an input and semantic foundation for the model checker, we use the ANSI-C production code, which makes the technology applicable for model-based development projects with automatically generated code as well as for handwritten code.
One application is the generation of structural test data for full code coverage within BTC EmbeddedTester. In this use case, model checking technology is not used to prove the absence of errors, but rather to generate test vectors by using "trap properties. When the model checker returns a counterexample, this indicates that the specific code part is not dead. The counterexample demonstrates how to fulfill the corresponding decision. Finally, BTC EmbeddedValidator applies the model checking technology to perform automated and complete mathematical proof that shows a particular requirement can never be violated by the system-under-test.
The topic of debugging is an often underestimated but still very important task especially in modern, distributed development processes, where cost and time efficiency are key factors for success.
BTC Embedded Platform is approaching these challenges with automatically generated and self-contained debug environments, that can be exported on model-level Simulink, TargetLink or Embedded Coder as well as on code-level Microsoft Visual Studio. The user interface of the BTC EmbeddedPlatform contains many innovative approaches that deliver an intuitive workflow and precise presentation of relevant data.
This includes:. Perspectives allow the selection of the main use case you are currently working on. Although all perspectives have the same database access, they only display the relevant data in a way that is optimized for the current task. Within each perspective, the main objects such as test cases are displayed in a tree view making them accessible in a familiar way.
This for example allows to either show the test cases according to their linked requirements, or according to their corresponding sub-function. Every object in BTC EmbeddedPlatform comes with a dashboard that is shown directly after selecting it in the profile tree.