Product Version Update Information (PROMPT)

Thank you for using Gaio Technology products.
The following Product Update has taken place.

Update Information

[Product name] PROMPT
[Product Version] V2.11
[Release Date] 2024/9/24

Update Contents

Added Functions

• Implemented Measurement of Stateflow coverage
– Regarding the coverage measurement of Stateflow blocks, which has been gradually expanded since V2.6, we have officially addressed the feedback received from customers to remove restrictions that posed issues in actual operation, and improved the specifications.

• Automatic Creation mode
– We have added a test generation mode that is independent of the presence/absence of a target system. By simply selecting timeout and retry values, test data can be generated efficiently without having to select incomplete objectives.

Improved Functions

• Matlab Version Implemented
– Matlab VR2024a has been implemented as an operational environment.

• Support for MC/DC Coverage
– Support for MC/DC Coverage has been added for Logical Operator Blocks in Data Generation for Target Systems.

Improved Operation

・Parameter Definition has been improved to allow more freedom in Customized Waveforem Generation.
– improved to allow a double precision data range regardless of the defined data type.

・ID1440: The Signal Template specification has been improved to allow waveforms to be specified in ports that handle vectors.

・ID1468: RangeAmplitude setting is prioritized over test range in customized Waveform Generation Tests.

・ID1462: Operation improved to automatically render test results invalid even if test generation is not cancelled during test input.

・ID1472: An empty Array is output with no Matlab error generated if GetUncoveredObjectives is used in a project with no unreached objectives other than blocks not supported for target test generation or where full coverage is achieved.

・ID1474: Progress information for Data Generation with Target is no longer shown in the progress dialog box.
This progress information was added in V2.10 but has been deleted as it can be misleading.

・ID1415: The problem that led to Data Generation being abandoned when generating Test Data for Target, if all simulations fail for the entire target pool size, has been corrected.

・ID1444: Improved behavior to detect cases where reproducibility is lost or errors occur, such as when an error occurs from MATLAB during parsim when using parallelization mode, to abandon processing and return error E211.

・ID1445: Fixed an issue where SDI data could accumulate when generating tests using parallelization.

・ID1405: Improved behavior so that when a report is output for a project where additional test generation ended with an error, a report containing the coverage results etc. at the time of successful test generation is output.

Improvements to Documentation

・Errors Corrected

・Additional Restrictions

・Additional Cautions

A list has been collated of the differences that occur when Stateflow Coverage is enabled.
Please see the User Support page for details.
A User ID and password is required to view this information.

Back to list