Published on December 20, 2018.

New Release of BTC EmbeddedPlatform 2.3

The new release BTC EmbeddedPlatform 2.3 (incl. BTC EmbeddedTester 4.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: