Abstract:Requirements traceability benefits many software engineering activities, such as change impact analysis and risk assessment. However, these activities require complete and correct traceability links which is not trivial, making traceability assessment an important field of study. In recent years, requirements traceability research has focused on using call dependencies within source code to understand how code properties contribute to the implementation of a requirement and to assess whether traceability links are correct and complete. These approaches largely ignore the role of existing data dependencies within the source code. That is, methods may never call each other, but may still depend upon another by sharing data. We identified five research questions and validated them on five software systems, covering 4 to 72 KLOC. We found that data dependencies are as relevant as call dependencies for assessing requirements traceability. Even more interesting, our analyses show that data dependencies complement call dependencies in the assessment. These findings have strong implications on code understanding, including trace capture, maintenance, and validation techniques. Copyright (c) 2015 John Wiley & Sons, Ltd.

An Overview Of Methods For Dependence Analysis Of Concurrent Programs

An approach to analyzing dependency of concurrent programs

Static Dependency Analysis For Concurrent Ada 95 Programs

Dependence Analysis Of Concurrent Programs Based On Reachability Graph And Its Applications

An Approach to Analyzing Dependence Based on Exception Propagation Analysis

An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs

Approaches to Obtaining Shared Memory Dependences for Dynamic Analysis of Concurrent Programs: A Survey

Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration

Dependence Analysis for Recursive Java Programs

Dependence Analysis for Java

Predicting concurrency bugs: how many, what kind and where are they?

Interactive Data Dependence Analysis Based on Range Tests

A New Methodology of Data Dependence Analysis for Parallelizing C++

Using Dependence Analysis to Support Software Architecture Understanding

Improvement on data dependence analysis supporting software pipelining technique

Web Application Comprehension Based on Dependence Analysis

Can Method Data Dependencies Support the Assessment of Traceability Between Requirements and Source Code?

Do data dependencies in source code complement call dependencies for understanding requirements traceability?

Inter-procedural static slicing of concurrent programs based on threaded System Dependence Graph (tSDG)

Causal Program Dependence Analysis

Dependence structure analysis-based approach for measuring importance of classes