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] V3.0
[Release Date] March 24 2025

Update Contents

Added Functions

• Added Experimental Functionality: Test Generation with Objectives by Static Analysis
– Added SBMC (SMT Based Model Checking)
By adding a new generation engine that excels at objectives, which previous methods had difficulty with, we are now able to generate more comprehensive tests than ever before. This is a new test data generation method that uses a formal method with an SMT (Satisfiablility Modulo Theories) solver. Since it is still in the trial phase, it is disabled by default. Please refer to the manual and tutorial for instructions on how to use it.
* Since generation modes have increased, we have added an interface to allow selection of the mode used.
In addition, if you use the suitability function method or the automatic mode in V2.10 or later, there will be changes in the usage method. For details, please refer to the GenerateOption manual or the tutorial for the relevant function.

Function Improvement

• MATLAB version implemented
– MATLAB R2024b has been implemented as an Operating Environment.

Operation Improvement

・ID1488 Certain Initial Values in GenerateOption have been changed.
– Tests that meet more coverage can now be generated easily with the default settings. The timeout has been changed from 600 to 3600 seconds, and the maximum number of attempts has been changed from 10 to 1000.

・ID1459 When generating tests for a model that does not have coverage measurement targets, the specifications have been changed so that one test data item is generated.

・ID1520 Added Command "ReportAll" to output Coverage Reports and Untested Block Reports with a single instruction.

・ID1523 Error and warning information has been added to the return value of each command. This makes it easier to automate tasks by allowing you to see the return value without having to check the output in the command window.

・ID1518 We have added links to the relevant section of the manual to each error message.

・ID1517 If the "Desktop Language" setting in MATLAB is set to "Japanese", error and warning messages displayed by PROMPT in the command window will now be displayed in Japanese.

・ID1549 We fixed an issue where tests could not be generated by simply importing the "template.json" output during test generation.

・ID1577 When generating tests, compilation may fail due to reasons such as the simulation time being NaN. In such cases, the error information output has been improved so that the cause can be understood.

・ID1583 We fixed an issue where test data generation would be interrupted when performing targeted test generation more than twice using a suitability function in the automatic generation function.

Documentation Improvements

・Operation Improvement
– ID1506 We have discontinued displaying the manual in the MATLAB Help browser and have made it so that you can view it in the system's default web browser, such as Edge, Chrome, or Firefox.
* Due to the specification change in MATLAB R2022a and later, some internal links in custom documentation no longer work. As a result, we have added a search function (only one exact word match) that was previously only available on the MATLAB browser.

・Added Restrictions
For details, see the User Support Page below.

Back to list