Model-Based Test Code Generation
This research aims at automated test code generation
from models of software systems. Currently, we use finite state machines and
Petri nets to specify intra-object and inter-object behaviors of
object-oriented and aspect-oriented systems. The techniques for modeling,
verification, and test code generation are implemented in two tools: MACT
(Model-based Aspect/class Checking and Testing) and PNCT (Petri Net-based
Checking and Testing).
1. MACT: A tool for test code
generation from UML 2.0 protocol state machines.
Download: MACT1.22 Beta Version.
2. PNCT: A tool for test code
generation from Predicate/Transition (PrT) nets.
PrT nets, like colored Petri
nets, are high-level Petri nets.
Last update: March 2008