Component Testing for Ada
The generated test driver detects all raised exceptions. If a raised exception is not specified in the test script, it is displayed in the report.
When the exception is a standard Ada exception (CONSTRAINT_ERROR, NUMERIC_ERROR, PROGRAM_ERROR, STORAGE_ERROR, TASKING_ERROR), the exception name is displayed in the test report.
