"Generation error" during generating Test Suites.
MAIN PROBLEM:
During generation of Test Suites the Generation error occurs (see
attach).
TO REPRODUCE:
(I used step-by-step instruction in AF3 Help documentation: AF3 Help
Content >Testing and formal verification >Test Model >
Generate Test Suites)
1. open the ACC example;
2. in ACC project open: ACC System —>AdaptiveCruiseControl —>
AccelerationControl;
3. Right click “AccelerationControl” component in the model navigator
and select “Test Suite Specification”;
4. Right click on the just created “Test Suite Specification” and select
“Generate Test Suite”;
OBTAINED BEHAVIOUR:
Generation error occurs.
Expected behavior:
The generated test suites should be listed under the component.
(from redmine: issue id 2824, created on 2017-02-07, closed on 2018-03-06)
- Relations:
- relates #3276 (closed)
- parent #2259 (closed)
- Uploads: