Event driven graph explorer for model-based testing of software

Details Event driven graph explorer for model-based testing of software Event driven graph explorer for model-based testing of software

2007-11-27

2007-11-27

Khatri, Anil (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S124000, C717S127000

Reexamination Certificate

active

10431733

ABSTRACT:
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.

REFERENCES:
patent: 5315709 (1994-05-01), Alston et al.
patent: 5493680 (1996-02-01), Danforth
patent: 6134706 (2000-10-01), Carey et al.
patent: 6249907 (2001-06-01), Carter et al.
patent: 6408403 (2002-06-01), Rodrigues et al.
patent: 6543049 (2003-04-01), Bates et al.
patent: 6633837 (2003-10-01), Dye et al.
patent: 6795963 (2004-09-01), Andersen et al.
patent: 6826744 (2004-11-01), McAuley
patent: 6934673 (2005-08-01), Alvarez et al.
patent: 6934931 (2005-08-01), Plumer et al.
patent: 6944848 (2005-09-01), Hartman et al.
patent: 6983456 (2006-01-01), Poznanovic et al.
patent: 7047518 (2006-05-01), Little et al.
patent: 7069536 (2006-06-01), Yaung
Shanmugan, An update on software packages for simulation of communication systems (links), IEEE, vol. 6, No. 1, pp. 5-12, 1988.
Lerner et al, “Verifying process models built using parameterized state machines” ACM ISSTA, pp. 274-284, 2004.
Reiss et al, “Specifying and checking component usage”, ACM AADEBUG, pp. 13-22, 2005.
Musuvathi et al, “Model checking system software with CMC”, ACM SIGOPS, pp. 219-222, Jul. 2002.
Petri Networks, “Definition and Basic Ideas”, retrieved from http://staff/um.edu.mt/jskl1/petrisim/petri.htm1 on Apr. 14, 2003, pp. 1-48.
Petri Nets,What is a Petri Net?, retrieved from http://pdv.cs.tu-berlin.de/˜azi/petri.htm1 on Apr. 15, 2003, pp. 1-3.

Affiliated with

Also associated with

Rating

Event driven graph explorer for model-based testing of software does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Event driven graph explorer for model-based testing of software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Event driven graph explorer for model-based testing of software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3837402