![]() |
|
Welcome to ConSequenceShort DescriptionModel-based testing is a very popular validation technique. UML state machines are often used for system description. UML sequence diagrams are often used for requirements specification. This page describes the approach to combine both models in model-based test generation. Further details and tool download will be available in a few days... |