A Laboratory for Combinatorial Interaction Testing

News

=== 7/29/2014 NEW CITLAB RELEASE WITH VALIDATION TOOLS ===

http://svn.code.sf.net/p/citlab/code/updatesite/

Citlab at IWCT 2014 NEW VALIDATION TOOLS

Validation of Models and Tests for Constrained Combinatorial Interaction Testing
in The 3rd International Workshop on Combinatorial Testing (IWCT 2014) In conjunction with International Conference on Software Testing (ICST 2014, March 31 - April 4) (2014)
http://cs.unibg.it/gargantini/research/papers/citvalidation_iwct2014.pdf
VALIDATION TOOLS HOW TO

To use the new validation tools download the right yices1 release at
http://yices.csl.sri.com/old/download-yices1-full.shtml:

Windows users can download Yices with GMP statically linked and extract
libyices.dll from the subfolder "lib" of the downloaded archive

Linux and OSX users can only download Yices with GMP dynamically linked and extract
libyices.so from the subfolder "lib" of the downloaded archive so they have to install
also GMP library https://gmplib.org/

After these steps

Add the following line to your eclipse.ini

*** -Xms400m -Xmx512m -Dorg.eclipse.swt.browser.DefaultType=mozilla ***

When you use for the first time the validator CitLab will ask you to give the path
of the yices library you have previously downloaded

For further information and how to install citlab, see the https://sourceforge.net/p/citlab/wiki/TableOfContents/ wiki pages

Although the research community around combinatorial interaction testing has been very active for several years, it has failed to find common solutions on some issues.
First of all, there is not a common abstract nor concrete language to express combinatorial problems. Combinatorial testing generator tools are strongly decoupled making difficult their interoperability and the exchange of models and data. In this project, we propose an abstract and concrete specific language for combinatorial problems. It features and formally defines the concepts of parameters and types, constraints, seeds, and test goals. The language is defined by means of Xtext, a framework for the definition of domain-specific languages. Xtext is used to derive a powerful editor integrated with eclipse and with all the expected features of a modern editor.

An abstract language for combinatorial problems

A framework for test generation, importers and exporters

Eclipse is also used to build an extensible framework in which test generators, importers, and exporters can be easily added as plugins.