ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login


Journal: Asian Journal of Natural and Applied Sciences (Vol.2, No. 2)

Publication Date:

Authors : ;

Page : 107-115

Keywords : Requirements validation; Model-based testing; UML;

Source : Downloadexternal Find it from : Google Scholarexternal


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.

Last modified: 2014-11-09 02:23:27