Welcome to the resource page for the MODELS 2012 publication titled "Generating Better Partial Covering Arrays by Modeling Weights on Sub-Product Lines" written by Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, and Torbjørn Syversen.
Download the SPL Covering Array Tool v0.4 (MODELS 2012).
The source code is available freely as open source licensed under the Eclipse Public License - v 1.0.
It includes the following software as dependencies, bundled with the tool:
The tool has a GUI interface. The interface consists of a number of tabs, each including the fields for the required and optional input for each functionality. Three of the most relevant features are listed here as examples. Note: Output is written to standard output. Start the GUI in a command shell using java (and not javaw). Alternatively, redirect output to a log file.
The following example shows the tab for generating covering arrays. When the "weighted" checkbox is checked, the generation is based on weights instead of tuples. The feature model is entered first, followed by the weights file and the optionally the ordering file to give the result a specific feature order. If you want to extend an existing covering array, enter the basis in the "start from"-field. "t" specifies the strength. "Coverage limit" specifies the coverage to be achieved. A blank entry defaults to 100%. "Size limit" is the maximum number of products to generate. Press "Generate Covering Array"
The following example generates the 3-wise coverage of a set of products. When the "weighted" checkbox is checked, the weighted coverage is calculated, else the tuple coverage is calculated.
The following example generates either single or double changes to the set of products to increase the 3-wise weight coverage of the set of products. "search level" is the maximum number of changes to search for. Only level 1-3 is supported by the tool in the current version.
The complete models from TOMRA discussed in the paper are unfortunately not available due to sensitivity concerns.