Contents I. Introduction
In recent years, people have paid much attention to the correctness, reliability, secrecy and security [1]–[4], etc. The high confidence of software system has become an important research field in the theory and technology of software. Through practicing in requirements engineering, we found that the quality of requirements engineering fundamentally depends on whether we formulate completely trusted requirements engineering process before starting the project. Only under the unifying guidance of the standard requirements process, and selecting the appropriate formal methods and supporting tools, can we guarantee the quality of the requirements engineering implementation and its products(i.e. the software requirements specification(SRS)). The core idea of RUP(Rational Unified Process) [5] is use case driven, architecture centric and iterative and incremental development process. In the RUP, use cases are used to capture the functional requirements and to define the contents of the iterations. Each iteration takes a set of use cases or scenarios from requirements all the way through implementation, test and deployment. This article uses XML to format the use case description, and proposes an approach of inconsistency verification of use case. The corresponding model of verification tool(UCBuilder) is also designed.
