Event driven graph explorer for model-based testing of software

   
   

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.

 
Web www.patentalert.com

< Responsive user interface to manage a non-responsive application

< User interface for creating viewing and temporally positioning annotations for media content

> Computer-implemented image acquisition system

> Binary cache file format for themeing the visual appearance of a computer system

~ 00143