The modules of the formal specification for the TestTool are as follows:

• questions.fmsl
• database.fmsl
• tests.fmsl
• testtemplate.fmsl
• QuestionCreateFunctionality.fmsl
• QuestionEditFunctionality.fmsl
• Grading.fmsl
• GradeInterface.fmsl
• ProctorFunctionality.fmsl
• StudentFunctionality.fmsl
• MainUIFunctionality.fmsl
• File.fmsl
• Edit.fmsl

A data dictionary has been generated from these .fmsl files.