About VIBeS - Variability Intensive system Behavioural teSting

This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.

Project Modules

This project has declared the following modules:

Name Description
VIBeS: featured expressions This project contains utility classes to parse feature expressions. Fexpressions grammar is described in Fexpression.g
vibes-core This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.
vibes-mutation This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.
vibes-selection This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.
vibes-transformation This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.
vibes-execution This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.
vibes-dsl This projects aims at providing model-driven testing tools working on Transition Systems (TSs), Featured Transition Systems (FTSs) and Usage Models (Deterministic Time Markov Chain) in order to perform classical testing tasks: test case selection, prioritization, mutation testing, etc.
VIBeS Toolbox - Mutation equivalence detection tool This module handles mutant equivalence functionalities
toolbox-mutant-generation This module groups all the executables created using the VIBeS framework.
VIBeS Toolbox - Transformation This module groups all the executables created using the VIBeS framework.
toolbox-products-analyze This module groups all the executables created using the VIBeS framework.
toolbox-testcase-generation This module groups all the executables created using the VIBeS framework.
toolbox-fmm-execution This module groups all the executables created using the VIBeS framework.
toolbox-model-statistics This module groups all the executables created using the VIBeS framework.
VIBeS Toolbox - Mutant sampling tool This module allows to sample mutants from a FMM
toolbox-wordpress-ts2fts This module groups all the executables created using the VIBeS framework.
toolbox-determinism This module groups all the executables created using the VIBeS framework.
VIBeS - Toolbox This module groups all the executables created using the VIBeS framework.