Release of BTC EmbeddedPlatform 2.9
As the 1st major Release in 2021, the new version BTC EmbeddedPlatform 2.9 (incl. BTC EmbeddedTester 4.9, BTC EmbeddedSpecifier 2.9 and BTC EmbeddedValidator 5.9) is now available.
As usual, our Spring release adds support for new versions including TargetLink 5.1 and Simulink and Embedded Coder 2020b, but we'd also like to highlight some powerful new features:
Multi-Core Support for Test Generation and Formal Methods
Whether performing Automatic Test Generation for Back-to-Back and Regression Tests, Robustness and Boundary Value Analysis, Formal Verification or Requirements-based Test Case Generation, it's the powerful BTC model checking engines that mathematically analyze the system under test. These tasks are highly complex and may take a considerable amount of time. With Embedded Platform 2.9, the model checking engines now benefit from multi-core support. This parallel execution can dramatically reduce execution times as compared to the purely sequential single-core approach.
Equivalence Classes and Boundary Value Checks
Our new "Domain Checks" feature lets you generate, import or manually specify value ranges of a signal, allowing you to perform equivalence class and boundary value testing which is strongly recommended by ISO 26262 for ASIL B, C and D compliance. BTC EmbeddedPlatform 2.9 will not only show you the coverage of these value ranges based on your existing set of test cases, but it also integrates seamlessly with our automatic test generation capabilities. This either provides covering vectors or the mathematical proof that a value range is unreachable, which is especially useful for undesired values.
Performance Improvements for Simulink/TargetLink MIL Simulations
Until now, our simulation harness for MIL simulations relied on all signals being present as objects in the Matlab workspace. This introduced several data conversion tasks before and after each simulation. With our brand new test harness in BTC EmbeddedPlatform 2.9, the model is directly communicating with our database which stores data in the efficient ASAM MDF format. This new approach leads to dramatic performance improvements in particular when working with large models and/or long test cases.
New Test Authoring Option: Script View
Last but not least let's talk about the test authoring. Users already benefit from the powerful capabilities of Test Composer, the integrated Test Case Editor with a table-based approach to create and edit test cases. It also provides plotting capabilities and is an essential part of Requirements-based Testing. EmbeddedPlatform 2.9 now adds a second option to view and edit test cases:
The script view allows for a highly compact way to deal with typical test scenarios that tend to focus on a subset of the available interface variables. An intelligent content assist makes it intuitive to apply even the more advanced features such as signal generators, assignment formulas and local verdict functions. The item in the database is not affected by your choice and you can seamlessly switch between table and script view on a whim.