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.
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. |
