A STUDY OF REQUIREMENTS VALIDATION WITH UML
Journal Title: ASIAN JOURNAL OF NATURAL & APPLIED SCIENCES - Year 2013, Vol 2, Issue 2
Abstract
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.
Authors and Affiliations
Pin Ng
Keywords
Related Articles
- EP ID EP114967
- DOI -
- Views 117
- Downloads 0
BASELINE ASSESSMENT OF METAL CONCENTRATIONS AND PHYSICO-CHEMICAL PARAMETERS OF SURFACE WATER SAMPLES FROM IDU INDUSTRIAL ZONE, ABUJA FCT-NIGERIA
The concentration of Calcium (Ca), Magnesium (Mg), Copper (Cu), Lead (Pb), Iron (Fe), Cadmium (Cd), Nickel (Ni), Chromium (Cr) and Manganese (Mn) were determine in the surface water samples from Idu Industrial Zo...
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 b...
THYMOQUINONE A POTENTIAL THERAPY FOR CEREBRAL OXIDATIVE STRESS
[b] Background[/b]:Subarachnoid hemorrhage is a common cerebrovascular event related to different etiologies, primarily aneurysmal rupture. Cerebral vasospasm is the main complication of subarachnoid hemorrhage le...
DIETARY INTAKE AND BODY COMPOSITION FOR PRIMARY SCHOOLGIRLS IN THE MAKKAH PROVINCE OF SAUDI ARABIA
Background: Malnutrition can pose a problem for primary schoolchildren that are entering puberty. Inappropriate food intake can be manifested as stunting, wasting, undernourishment, or obesity. Objective: To evaluate bo...
IONOSPHERİC TOTAL ELECTRON CONTENT (TEC) ANOMALİES RELATED TO THE (MW=7.8), 25 APRİL 2015 NEPAL EARTHQUAKE
Two-dimensional principal component analysis (2DPCA) are used to examine the ionospheric total electron content (TEC) data during the time period from 00:00 on 20 April to 06: 10 on 25 April (UT) 2015, which are 5 days b...