ifakVBT - Model-Based Test Case Generation
- Project
- 17039 XIVT
- Description
- Automatic test case generation with graph-based coverage criteria of 100%
- Editable and easy-to-use textual and visual representation of specification models and test cases
- Integration with other IFAK tools for requirement formalization (ReForm), test prioritization, and test execution
- Contact
- Karsten Meinecke, IFAK Institute for Automation and Communication
- karsten.meinecke@ifak.eu
- Technical features
Input(s):
- Specification model as UML sequence diagrams or UML state machine
Main feature(s):
- Automatic generation of abstract test cases
- Selection of graph-based coverage criteria (all paths, all transitions, etc.)
- Requirements-based variant management
Output(s):
- Abstract test cases as UML sequence diagrams
- Traceability information
- Integration constraints
- C++
- JavaScript
- Targeted customer(s)
Software testers, Software engineers.
- Conditions for reuse
- Planned to license commercially on request
- Support and consulting by IFAK
- Confidentiality
- Public
- Publication date
- 31-01-2022
- Involved partners
- Institut for Automation und Kommunication (IFAK) (DEU)