Problem
1. Give the requirements of a tool that supports the execution of finite state machines. The tool must provide facilities to animate specifications. Provide a detailed design of the tool.
2. Give the requirements for a tool that supports the evaluation of the testing activity.
3. Discuss the requirements for a scaffolding tool that supports module testing by generating stubs and drivers. What inputs does the tool need?