Skip to content

SLity/mbtSPLregression

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Model-Based Product-Line Regression Testing of Variants and Versions of Variants

This repository provides the download of the prototypical implementation as well as the experimental data for the PhD thesis "Model-Based Product-Line Regression Testing of Variants and Versions of Variants" by Sascha Lity submitted to Carl-Friedrich-Gauß-Fakultät of Technische Universität Carolo-Wilhelmina zu Braunschweig (Under Review).

The prototype is part of the tool support of the research project IMoTEP. The IMoTEP project focuses on efficient and effective model-based testing of evolving (dynamic) software product lines.

Input and Result Data

Download

Data Access

To access the data used as input and obtained by applying our prototype, the download and installation of Eclipse Modeling Tools is required. In addition, the meta model plugins (*.jar files) have to be added to the plugins folder of the installed Eclipse instance. Afterwards, start the Eclipse instance, and import the provided eclipse project comprising the input as well as the already obtained result files. The files can be opened via the sample ecore model editor.

"Right click on File" --> "Open with" --> "Other.." --> "Sample Ecore Model Editor"

Evaluation and Prototype Execution

Download

  • ComputeKeyParameters.jar: Executable Jar to compute all key parameters of the three subject SPLs, e.g., number of versions, number of deltas, average size of state machine test models etc.
  • SlicingEvaluation.jar: Executable Jar to perform the slicing evaluation.
  • HodReasoningEvaluation.jar: Executable Jar to perform the evaluation of the reasoning about higher-order delta applications.
  • Prototype.jar: Executable Jar of the prototype of the model-based SPL regression testing framework.
  • ResultEvaluation.jar: Executable Jar to perform the evaluation of the result of the prototype application.

Computing Key Parameters

For executing the jar, we require as parameters 1. the project name (projectName), 2. the path to the XMI file comprising the feature model and feature configuration versions (pathToFMandConfig), and 3. the path to the XMI file containing the higher-order delta model (pathToHOD). As the ouput is printed on the command line, we suggest to pipe the command line output to a separate log file facilitating an easier review of the execution. The jar is exexuted via the command

java -jar ComputeKeyParameters.jar projectName pathToFMandConfig pathToHOD > eval.log 2>&1

Incremental Slicing Evaluation

For executing the jar, we require as parameters 1. the project name (projectName), 2. the path to the XMI file comprising the feature model and feature configuration versions (pathToFMandConfig), 3. the path to the XMI file containing the higher-order delta model (pathToHOD), 4. the number of the SPL version for which the evaluation is to be executed (versionNum), 5. the amount of repetitions for the slicing evaluation (repetitions), and 6. the output directory for the generated CSV files comprising the time values required for the application of slicing (outputPath). As some additional ouput is printed on the command line, we suggest to pipe the command line output to a separate log file facilitating an easier review of the execution. The jar is exexuted via the command

java -jar SlicingEvaluation.jar projectName pathToFMandConfig pathToHOD versionNum repetitions outputPath> eval.log 2>&1

Evaluation of Reasoning about Higher-Order Delta Application

For executing the jar, we require as parameters 1. the project name (projectName), 2. the path to the XMI file comprising the feature model and feature configuration versions (pathToFMandConfig), 3. the path to the XMI file containing the higher-order delta model (pathToHOD), 4. the amount of repetitions for the evaluation of the higher-order delta application reasoning (repetitions), and 5. the output directory for the generated CSV files comprising the time values required for the application of higher-order delta application reasoning (outputPath). As some additional ouput is printed on the command line, we suggest to pipe the command line output to a separate log file facilitating an easier review of the execution. The jar is exexuted via the command

java -jar HodReasoningEvaluation.jar projectName pathToFMandConfig pathToHOD repetitions outputPath> eval.log 2>&1

Prototype Execution

For executing the prototype of our framework, we require as parameters 1. the project name (projectName), 2. the path to the XMI file comprising the feature model and feature configuration versions (pathToFMandConfig), 3. the path to the XMI file containing the higher-order delta model (pathToHOD), and 4. the path to the output folder (pathToOutput). As the prototype prints information on the command line, we suggest to pipe the command line output to a separate log file facilitating an easier review of the execution. In addition, the execution of the included test-case generator requires a specific amount of heap memory, where we suggest 10GB if possible. To this end, the prototype is executed via the command

java -Xmx10000M -jar Prototype.jar projectName pathToFMandConfig pathToHOD pathToOutput > eval.log 2>&1

Evaluation of the Prototype Application

For executing the jar, we require as parameters 1. the project name (projectName), 2. the path to the *.regression XMI-file comprising the results of the prototype application (pathToResult), and 3. the output directory for the generated CSV files comprising analysis results (outputPath). As some additional ouput is printed on the command line, we suggest to pipe the command line output to a separate log file facilitating an easier review of the execution. The jar is exexuted via the command

java -jar ResultEvaluation.jar projectName pathToResult outputPath> eval.log 2>&1

About

Prototype and experimental data of the PhD thesis "Model-Based Product-Line Regression Testing of Variants and Versions of Variants" by Sascha Lity submitted to Carl-Friedrich-Gauß-Fakultät of Technische Universität Carolo-Wilhelmina zu Braunschweig (Under Review)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors