Deliverable D3.2 Automated test generation: specification refinement and preliminary mockup, released

The purpose of this document is to refine the requirements we initially defined in D3.1. The major changes concern the tables describing the requirements definitions in D3.1 that have been extended with two additional fields: “implementing modules” and “verification”.

The first field reports the names of the modules, as defined in the integration plan, which implement the respective requirement. The addition of this field improves the traceability of the requirements throughout the further development of MIDAS.

The second field contains a general description of the verification steps that will be implemented for a requirement. This addition allows the partners to define steps that are taken for the testing of the platform itself.

Additionally, some of the requirements themselves are refined, i.e., their descriptions are changed slightly to define them more precisely and to reflect changes determined during the development of the project in the last months. Examples for such changes are a more detailed specification of input models required or changes in the responsibilities for certain requirements.