The CVL 2 Tool is a prototype tool for the CVL 2 standard currently being considered as a standard for variability modelling by OMG. CVL was originally proposed in Haugen et al. 2008’s “Adding Standardized Variability to Domain Specific Languages” at SPLC 2008.
v0.1a1 of the tool is available under the Eclipse Public License – v 1.0.
This version is an early alpha version of the tool; it is still under development and is released as an early demo.
Start the tool by double-clicking it or typing java -jar SINTEF-CVLTool2-v0.1a1.jar.
Click “File”, “Save as…” to save the file. You can also chose to export the diagram as PNG or SVG.
Click “VSpec”, “Import” to import a VSpec model. GUI DSL and Simple XML Feature Models are supported in addition to CVL 2. The VSpec model will be added as a child to the configurable unit.
Click “Resolutions”, “New” to create a new resolution.
The resolution can be edited using the context menu.
The configured resolutions can be validated. A reason will be given for the conclusion.
1, 2 or 3-wise covering arrays can be generated. If there already are resolutions configured, they will be a part of the resulting covering array.
You can calculate the coverage of your resolutions. Be sure to confirm their validity first.