Local and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation

dc.creatorLobo, Lester
dc.creatorArthur, James D.
dc.date2005-03-02
dc.date.accessioned2026-07-07T03:22:35Z
dc.date.available2026-07-07T03:22:35Z
dc.descriptionThis paper presents a unique approach to connecting requirements engineering (RE) activities into a process framework that can be employed to obtain quality requirements with reduced expenditures of effort and cost. We propose a two-phase model that is novel in that it introduces the concept of verification and validation (V&V) early in the requirements life cycle. In the first phase, we perform V&V immediately following the elicitation of requirements for each individually distinct system function. Because the first phase focuses on capturing smaller sets of related requirements iteratively, each corresponding V&V activity is better focused for detecting and correcting errors in each requirement set. In the second phase, a complementary verification activity is initiated; the corresponding focus is on the quality of linkages between requirements sets rather than on the requirements within the sets. Consequently, this approach reduces the effort in verification and enhances the focus on the verification task. Our approach, unlike other models, has a minimal time delay between the elicitation of requirements and the execution of the V&V activities. Because of this short time gap, the stakeholders have a clearer recollection of the requirements, their context and rationale; this enhances the stakeholder feedback. Furthermore, our model includes activities that closely align with the effective RE processes employed in the software industry. Thus, our approach facilitates a better understanding of the flow of requirements, and provides guidance for the implementation of the RE process.
dc.description6 pages, 3 figures, published: ACM Southeast Conference, March 2005
dc.identifierhttps://arxiv.org/abs/cs/0503002
dc.identifierhttp://arxiv.org/abs/cs/0503002
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/32650
dc.subjectSoftware Engineering
dc.subjectD.2.1; D.2.9
dc.titleLocal and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation
dc.typetext

Files

Collections