/reana

ReAna tool - Realiability Analysis of Software Product Lines

Primary LanguageJava

ReAna

Reliability Analysis of Software Product Lines

ReAna is a tool that takes variability-aware UML behavioral models annotated with components' reliabilities as input and outputs a family-wide reliability. In order to accomplish this, it uses a feature-family-based approach to model-checking of SPLs.

Building

All required dependencies are in the libs folder:

  • jcudd.jar: a Java binding to CUDD 2.5.1. The jar was created with JNAerator, and the CUDD shared library is bundled inside the jar.
  • jep-2.23-custom.jar: a customized version of JEP 2.23 which allows overriding standard arithmetic operators (e.g., +, -). The modified source code is available at https://github.com/thiagomael/jep.
  • jopt-simple-4.9.jar: JOpt Simple, a library for command-line argument parsing.

Running

The tool accepts a number of command-line arguments which provide for some degree of configuration:

  • --feature-model (defaults to fm.txt): a text file with the feature model for the SPL to be analyzed represented in Conjunctive Normal Form (CNF) using Java logical operators. This representation can be obtained from a feature diagram using FeatureIDE's Export to CNF functionality.
  • --uml-models (defaults to modeling.xml): an XML file containing the UML behavioral models (Activity and Sequence Diagrams) to be analyzed. Currently the only accepted format is the one used by the MagicDraw tool.
  • --param-path (defaults to /opt/param-2-3-64): the directory of the PARAM installation.
  • --configurations-file (defaults to configurations.txt): path to a file with a comma-separated list of features per line, each corresponding to a configuration for which the reliability is wanted.
  • --configuration: alternatively, it is possible to specify a single configuration inline. Overrides --configurations-file.
  • --all-configurations: causes the tool to dump all possible configurations and corresponding reliabilities. Overrides --configuration and --configurations-file.
  • --pruning-strategy (defaults to FM): The strategy that should be used for pruning invalid configurations during partial evaluations. Can be one of: FM (whole feature model); NONE (no pruning).
  • --stats: Prints profiling statistics such as wall-clock time and used memory.

After the run, an Algebraic Decision Diagram (ADD) representing the possible reliabilities for the SPL is dumped to a DOT file named family-reliability.dot.