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 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.
There are no dependencies for this project. It is a standalone project that does not depend on any other jars.
Project Modules
vibes-fexpression
vibes-core
vibes-selection
vibes-dsl
This project aims at providing a framework to perform behavioural testing of SPLs.
Project structure
Structure separates the framework modules from the different executables jars created using those modules.
vibes: The root project with the website content
vibes-core: The models definition core lib
vibes-execution, vibes-mutation, ... : The different modules defined to perform various testing activities
vibes-dsl: The dsl definition to simply use the different modules (each library has its dsl classes defined in a separate package)
vibes-toolbox: The module containing all executable jars built using the framework. Each executable jar is defined as a sub-module. Executables MUST be defined as vibes-toolbox SUB-MODULES.
JarCasting
