Requirements Traceability: A Systematic Review and Industry Case Study

Abstract

Requirements traceability enables software engineers to trace a requirement from its emergence to its ful¯llment. In this paper we examine requirements traceability de¯nitions, challenges, tools and techniques, by the use of a systematic review performing an exhaustive search through the years 1997À2007. We present a number of common de¯nitions, challenges, available tools and techniques (presenting empirical evidence when found), while complementing the results and analysis with a static validation in industry through a series of interviews.

An Improved Model for Requirement Management System

“…It is iterative process which is for good for requirement engineering. The results implied that the successful implementation of proposed model for requirement engineering and management has a good impact on the production of quality software product [5].…”

Goal Modeling Techniques in Requirements Engineering: A Systematic Literature Review

“…Goal satisfaction is either forward or backward propagation whether it is qualitative or quantitative (Yu, 1997;Torkar et al, 2009;Massaccia et al, 2005).…”

“…In the first approach, it reduces the problem of the backward propagation to that of the propositional Satisfiability (SAT). In the second approach, Tropos tries to find the set of alternatives with minimum cost that achieve the desired top goals using the Minimum-Weight Propositional Satisfiability (MW-SAT) (Kiyavitskaya and Zannone, 2008) • GRL analysis supports both forward and backward propagation analysis on qualitative, quantitative and hybrid analysis (Massaccia et al, 2005) The results for criterion 11 which resulted in using the paper written by Torkar et al (2009) was dealing with the challenge of making decisions after modeling early requirements with the presence of uncertainty for these requirements.…”

“…Therefore, it is important to handle uncertainty since ignoring uncertainty may lead to selecting alternatives that may not be sufficient to achieve the desired goals or eliminating viable alternatives. (Torkar et al, 2009) Horkoff proposed a semi-automated tool (Torkar et al, 2009) to handle uncertainty in early requirements represented in i* using MAVO framework in addition to her proposed formal analysis formula based on the forward qualitative analysis. Horkoff goal model analysis methodology is depicted in Fig.…”

“…Section 3 discusses the results. Section 4 discusses a paper (Torkar et al, 2009) as an example for discussing uncertainty in goal modeling. Limitations and threats that can be realized from this SLR and the example paper used are discussed in section 5.…”