Haifa Lab Activities in Model-Based Testing
The Haifa lab has been involved in Model-Based Testing since 2000. The HRL team developed a number of generations of MBT tools, based on different modeling and test generation approaches. The better known tools and methodologies include:
- GOTCHA - a textual based modeling language and test generation tool
- AGEDIS - the first MBT toolset, enabling generation of tests from UML models
- MODELPLEX - the next generation of testing tools based on UML, accepting any UML behavioral descriptions
Current Activities in Model-Based Testing
The current research in the MBT area in IBM Haifa Labs focuses on:
- Test generation from arbitrary UML models and domain specific language models based on UML
- Test creation through simulation and recording of UML models
- Reuse of various artefacts from the software lifecycle to reduce modeling complexity
- Testing of models
- Testing of SOA implementations
