1
Download Use Case Explorer
Transcript
Future work During the work on this report a large number of ideas on how to improve use cases arose. In this section a few of those ideas will be presented where the focus lies on what additions can be made to the UseCaseExplorer. As each action block is consists of many action steps these action steps are actually system operations as shown in the following figure. So by the nature of action steps one should be able to obtain several system operations from a use case. These system operations provide the base to write contracts (adding pre and post conditions). These contracts can be written using formal methods. This approach can lead to automatic test case generation and these test cases can be used for system testing and validation as shown in the following Figure 18. Figure 18 Use cases for System Testing 35
