The Design and Implementation of Test Frame Generator
"I'm very, very impressed with what you have accomplished and how you have written it up."
"You should be very proud of what you have achieved."
- Dr.Jeffrey J. Joyce, supervisor of the project
Context
Deriving test frames from a requirements specification is a common but tedious task for system verification. We designed and implemented a test frame generatorthat automatically generates a test frame table from a requirement specification. This saves much of the time and effort when comparedtomanual test framederivation.
There are six main stages in the generator: document formatting, parsing, logical manipulation, symbol table filling, optimization, and test frame generation. A parse tree is used to simplify the conditional expressions of the requirements and a symbol table is used for test frame generation. A grammar is developed for writing a parse-able specification. A graphical user interface is provided to make the application easy to use. The results of the project areencouraging.
The application is capable of 1) reducing conditional expressions to their DNF; 2) checking ROID uniqueness; 3)findingsyntax errorinrequirements specifications; 4) generating a test frame table from a valid requirements specification. Recommendations for future enhancements include checking mutually exclusive conditions in the conditional part of the requirement statements duringthe optimization stage, and utilizing a database as backend of the HTML presentation for storing test results.
Project Deliverables
::Program JavaDoc (.htm) (.pdf)
::Executable (with demo file .sls)