Use cases models are used to specifying functional requirements whereas task models are employed to modeling UI requirements. Test cases generated from use cases models are focused on the core functionality of the system, while test cases generated from task models are used to user interface testing which concerned with details of user interactions. Therefore, test cases derived from use case models or task models only capture partial system behavior. These test cases are inadequate for testing full system behavior. In this paper we employ use cases models for modeling system functionality and user action notation (UAN) for describing user interfaces. We assumed that the task model and use case model are consistent and they refined each other in some part of model. Use case models and task models are transformed to FSM respectively. We propose a method for formally integrating the model for use case models and task models. The resulting integrated model is then used to generate test cases which capture more complete and detailed user interactions and secondary system interactions.
展开▼