Data Flow Analysis
Gather information about possible values calculated at different points of an software system. This information is used to determine in which parts of that program a particular value might propagate.
Calculates for each program point the set of definitions that may potentially reach this program point.
Calculates for each program point the variables that may be potentially read afterwards before their next write update.
Extraction > Categorize > Group
- Code fragments related to a feature;
To apply this technique in a satisfactory way, source code must be well written. Better results can be reached when source code possesses high level of dependencies between feature implementations. Besides that, a good documentation is not required when applying this technique.
Not recommended if the products source code does not have low coupling and high cohesion. Also, if the source code possesses a high variable flow data flow analysis may have uncertain results.
π Prepare, Assemble and Execute Process for SPL (PAxSPL)
-
π Process Structure
-
π Process Overview
-
π Guidelines
-
Static Analysis Techniques
-
Information Retrieval Techniques
-
Support Techniques
-
π Support Checklist
-
π» Tool Support
-
-
π Bibliography
PAxSPL is a project developed within the Laboratory of Empirical Studies in Software Engineering