Leader: University of Sheffield
The fifth work package focuses on QA for property-based testing: that is, we determine mechanisms to estimate the quality of PBT. First, with properties that span a large number of requirements and tests randomly generated from these properties, requirement traceability’s needs to be addressed in a novel way: PROWESS results will answer the question of whether a certain requirement is tested with the generated test cases. Secondly, new coverage metrics will record the different states visited in a QuickCheck model during testing, thus providing a measure on the total coverage of the model state. Thirdly, we will assess the quality of models and properties using the analogue of mutation testing.