This module is responsible for generating and executing the test cases for a software constructed using JDA.
Given a software specification written in the annotation-based DSLs of JDA (DCSL, MCCL), the module automatically generates a set of test cases for the software and the test driver programs that execute the test cases.
The software specification used by this module is the same as the one used by SwGen to generate the software.
Overview
This module is responsible for generating and executing the test cases for a software constructed using JDA.
Given a software specification written in the annotation-based DSLs of JDA (DCSL, MCCL), the module automatically generates a set of test cases for the software and the test driver programs that execute the test cases.
The software specification used by this module is the same as the one used by SwGen to generate the software.
Tasks