Model-Based Testing

Introduction

AF3 integrates a model-based testing framework with the following features:

Generate Test Suites

Simulate Test Case

Test statistics

For test suites of components with automaton specifications you can find statistical information on the states and transitions visited if you open the test suite and select the "Statistic" tab:



Update Test Suite

Edit TestSuite

Record TestSuite

  • Step 3 - Click the save button to save the recored test suite into component.


  • Step 4 - A new test suite with the name "Trace Result" can be found.