BTC EmbeddedPlatform 23.1p0 is now available.
ATG engine improvement
ATG engine is improved, and it is now possible to generate stimuli vectors faster.
Docker Container Support
It is now possible to deliver a fully functional Docker container which include all use cases offered by EmbeddedPlatform.
Integrate MinGw compiler and C debug environment
It is now possible to import C-code without installing MinGW compiler.
It is now possible to use a code debugging in an integrated C-code debug environment.
Support referencing Execution Records in CSV file format
It is now possible to reference the Execution Records in CSV file. This makes it easier to use huge and long Execution Records.
Support Overflow/ Underflow check for MBT goals
It is now possible to check Overflow/ Underflow for Block Definition file.
Support “Justified” option in Code Coverage
It is now possible switch “Justified” option to On/ Off for Unreachable or Unknown in each coverage metrics.
Support new Environment