Refinement Testing

Introduction

A concrete (implemented) component refines an abstract component if the concrete component shows the same behavior as an abstract component. AF3 provides means for checking the refinement with the help of model based testing. Basically, a test suite is generated based on the abstract component specification and these tests are then transported to the implementation level and used to check whether the implementation complies with the abstract specification.

Testing the Refinement

Steps to create a refinement test suite: