Conclusion

This tutorial has demonstrated how Requirement Coverage with ATG and TestConductor can be used to establish evidence for satisfaction of requirements by testing.

The Requirement Based Testing Approach presented in the tutorial is based on introducing stereotyped dependencies on requirements already in early system engineering and modelling phases. The more detailed the traceability from requirements to model elements is established the better this information can be exploited for Requirement Based Testing using ATG and TestConductor.

ATG and TestConductor can significantly reduce verification efforts w.r.t. satisfaction of requirements if traceability from requirements to model elements is established in the engineering and modelling process following a formal procedure.

We like to thank Hans-Peter Hoffmann for generously placing the SecSysController model to disposal for the purposes of this tutorial.