Software Product Line Covering Array Tool (SPLCATool)

Further development of SPLCATool is done in the Pairwiser Project.

SPLCATool is a tool that implements various algorithms related to covering arrays of feature models for product lines.

On this site you will find the tool and its source free of charge distributed under the Eclipse Public License.

Documentation and User Manual

The documentation and user manual for the latest version is available. (It was published as Appendix D of Martin Johansen's PhD thesis.)

Current Version

The current version is v0.3 (SPLC 2012). It includes the following features:

Covering Array Generation: An implementation of ICPL, currently (2012-05-30) the fastest algorithm for covering array generation from feature models for product lines. Supports 1, 2 and 3-wise covering array generation.
Supports loading GUI DSL, SXFM, Dimacs and CNF files: The tool supports loding feature models of four formats: GUI DSL (.m), Simple XML Feature Models (.xml), Dimacs (.dimacs), CNF (.cnf).
Covering arrays in CSV format: Covering arrays can be loaded from and will be written to Comma Separated Value (CSV) files.
Coverage Calculation: Calculates the coverage of a covering array for a feature model for a given strength.
Configuration Verification: Verifies the configurations in a covering array to be valid configurations of a feature model.
Counts Configurations: Calculates the number of valid configurations of a feature model. (This calculation is slow for larger feature models.)

Download

SPLCATool v0.3 (SPLC 2012) is written in 100%, portable Java code. Our implementation consists of 5778 lines of Java code and 3534 lines of automatic tests. The source is distributed as Eclipse projects.

Version history

v0.3 (SPLC 2012)
- Edition with ICPL only
  - binaries
  - source
v0.2 (MODELS 2011)
- binaries
v0.1 (EuroPLoP 2011)
- binaries

Related Publications

Martin Fagereng Johansen, Testing Product Lines of Industrial Size: Advancements in Combinatorial Interaction Testing, PhD thesis, University of Oslo, 2013. (full document, bibliographic entry, presentation slides, URN, announcement of PhD thesis defense (Norwegian))
Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, and Torbjørn Syversen, "Generating Better Partial Covering Arrays by Modeling Weights on Sub-Product Lines," Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, Springer, 2012, p. 269. (resource page, DOI link, bibliographic entry)
Martin Fagereng Johansen, Øystein Haugen, and Franck Fleurey, "An Algorithm for Generating t-wise Covering Arrays from Large Feature Models," SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 1, ACM, 2012, p. 46. (bibliographic entry, resource page, presentation slides, DOI link)
Martin Fagereng Johansen, Øystein Haugen, and Franck Fleurey, "Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible," Model Driven Engineering Languages and Systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, Springer, 2011, p. 638. (tool, feature models, bibliographic entry, DOI link, presentation slides)
Martin Fagereng Johansen, Øystein Haugen, and Franck Fleurey, "Bow Tie Testing - A Testing Pattern for Product Lines," Proceedings of the 16th Annual European Conference on Pattern Languages of Programming (EuroPLoP '11), ACM, 2012. (to appear) (tool)

Dependencies

The tool includes the following software as dependencies, bundled with the tool. Their respective lisences apply.

* Original source code has been modified; modified source code included in distribution.