New Release of BTC EmbeddedPlatform 2.3
The new release BTC EmbeddedPlatform 2.3 is now available. Highlights of this release include:
Significant performance improvements when working with long test cases and large models
BTC EmbeddedPlatform 2.3 brings significant improvements for the handling of long test cases. Optimizations have been made in many different areas including database structure and simulation handling. The representation of test data in table view or plotting view only loads the current needed data dynamically into the memory.
New model checking engine iSAT3
For 20 years, BTC Embedded Systems has been known for bringing the latest academic advancements in model checking technology into industrial software development projects. With iSAT3, we are proud to exclusively bring the next generation model checker to all our customers. iSAT3 is a powerful new part of the so-called "CV-Engine" and will increase performance for many different tasks including automatic test generation and formal verification of safety requirements, particularly when dealing with floating point code.
Test Macros: Reusable sequences, that can be instantiated in multiple test cases
When testing embedded software, we often observe that multiple test cases have some elements in common, this can be the same initial values or signals of a certain length to bring the system into a particular state. BTC EmbeddedPlatform 2.3 introduces "Test Macros", an efficient way to create and manage a library of sequences that can be instantiated in different test cases. Test Macros can be either created from scratch or you can transform a section of an existing test case into a Macro. And of course, once a Macro is changed, all test cases get updated automatically.
Interface mapping for test data import
When importing test data from external sources, sometimes signal names in the external files do not exactly match the signal names in the test project. This means, the corresponding signals are not able to be mapped during import. With BTC EmbeddedPlatform 2.3, a new mapping editor allows to assign the non-identical signal names, making it easy to import data from external sources without the need to adapt their content upfront.
Further new features include:
- Alias Names for interface objects, allowing you to replace long signal names (e.g. busses or structures) with a shorter string for easier handling during test authoring
- New html report type, showing the interface objects of each subsystem/subfunction
- Support for MinGW open source compiler