A STUDY OF REQUIREMENTS VALIDATION WITH UML

He major concern of requirements validation is to evaluate software system at the end of the software development process to ensure compliance with the software requirements. Among the various bases for specifying software requirements, graphical notations are the most suitable means to be used in requirements validation. Many practitioners and researchers haveadvocated model-based testing for improving the efficiency and effectiveness of test cases generation. The behavior models in Unified Modeling Language (UML) are good candidates for such purposes; in particular, UML state machine model isa useful basis for deriving test scenarios. By traversing the state machine model, feasible transition sequences can be obtained. Each feasible transition sequence represents an operational scenario that describes the desired behavior of the target system. Therefore the feasible transition sequences derived from the state machine model can form a set of test scenarios for requirements validation purposes.