The Verification of requirement specification which is generated by object oriented analysis process is an important step to ensure that the analysis is performed correctly. Especially, the completeness and consistency checking for analysis model must be performed before design modeling process to save modification overhead. In this thesis, scenario-driven verification method is presented in order to check completeness and consistency of objected oriented analysis model generated by UML(Unified Modeling Language). In this approach, we verify the completeness and consistency between the use case scenario and the UML analysis model represented by object behavior scenario. The static structure models and dynamic behavior models generated by UML analysis process are transformed into scenario information trees via formal use case specification. Then, completeness and consistency are checked using scenario information table generated through scenario tracing process with scenario information tree. The proposed scenario information tree is a integrated graphic notation that can represent the static and dynamic information of UML object oriented model. The proposed verification method can be automated by software tool because the formalization process is used and the entire verification steps are constructed systematically.
