A software testing system uses a graph traversal algorithm to explore a
model simulating a software product in order to identify errors in the
software product. The model employs a Petri's net construct for
maintaining state and governing transitions. In particular, the model
mediates between a test driver and the software product. The model-based
approach is usable both to validate the design of the software and verify
the implementation of that design. Using the Petri net model, the test
space is bounded.
Een software testend systeem gebruikt een grafiek traversal algoritme om een model te onderzoeken dat een softwareproduct simuleert om fouten in het softwareproduct te identificeren. Het model wendt het het netconcept van Petri voor het handhaven van staat en het regeren van overgangen aan. In het bijzonder bemiddelt het model tussen een testbestuurder en het softwareproduct. De model-gebaseerde benadering is bruikbaar zowel om het ontwerp van de software te bevestigen als de implementatie van dat ontwerp te verifiëren. Gebruikend het het netmodel van Petri, is de testruimte begrensd.
