Johansen et al. 2011 SPL Covering Array Tool discussed in "Properties of Realistic Feature Models make Combinatorial Testing of Product Lines Feasible"

Read the follow-up paper published at SPLC 2012.

Download the SPL Covering Array Tool v0.2 (MODELS 2011).

It includes the following software as dependencies, bundled with the tool:

Script for reproducing results:

Download a script for reproduction of the results presented in the paper. The models presented in the paper are required to run the script.

Usage:

java -jar SPLCATool-v0.2-MODELS2011.jar 

SPL Covering Array Tool v0.2 (MODELS 2011)
http://heim.ifi.uio.no/martifag/models2011/spltool/
Usage: <task>
Tasks:
 -t count_solutions -fm <feature_model>
 -t sat_time -fm <feature_model>
 -t t_wise -fm <feature_model> -s <strength> (-BTR "Bow Tie Reduction")
 -t calc_cov -fm <feature_model> -s <strength> -ca <covering array>
 -t verify_solutions -fm <feature_model> -check <covering array>
 -t help (this menu)
Supported Feature models formats:
 - Feature IDE GUI DSL (.m)
 - Simple XML Feature Models (.xml)
 - Dimacs (.dimacs)

Examples

> java -jar SPLCATool-v0.2-MODELS2011.jar -t count_solutions -fm TightVNC.m
SPL Covering Array Tool v0.2 (MODELS 2011)
http://heim.ifi.uio.no/martifag/models2011/spltool/
Loading GUI DSL: TightVNC.m
Successfully loaded and converted the model:
Features: 30
Constraints: 4
Counting solutions
Solutions: 297252.0
 

> java -jar SPLCATool-v0.2-MODELS2011.jar -t t_wise -fm Eshop-fm.xml -s 2
SPL Covering Array Tool v0.2 (MODELS 2011)
http://heim.ifi.uio.no/martifag/models2011/spltool/
Loading SXFM: Eshop-fm.xml
Successfully loaded and converted the model:
Features: 287
Constraints: 22
Generating 2-wise covering array
Running algorithm: Chvatal's algorithm adopted for Covering Array generation
Uncovered pairs left: 164164
0/164164
...
Done. Size: 22, time: 364583 milliseconds
Wrote result to Eshop-fm.xml.ca2.csv
 

> java -jar SPLCATool-v0.2-MODELS2011.jar -t sat_time -fm 2.6.28.6-icse11.dimacs
SPL Covering Array Tool v0.2 (MODELS 2011)
http://heim.ifi.uio.no/martifag/models2011/spltool/
Loading dimacs: 2.6.28.6-icse11.dimacs
CNF: Given p and c: 6888 and 343944
Successfully loaded and converted the model:
Features: 6888
Constraints: 187193
Satisfying the feature model
SAT done: 125457 microseconds, sat: true