Semi-automated desk checking system and method

Details Semi-automated desk checking system and method Semi-automated desk checking system and method

2005-01-18

2009-06-09

Kendall, Chuck O (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S129000, C717S131000, C717S134000, C717S142000, C717S143000, C717S144000

Reexamination Certificate

active

07546589

ABSTRACT:
A system and method for a desk checker includes a partial state representation, a simulator controller to access the partial state representation and to continue a simulation without state information, and a desk checking component controlled by the simulator controller. The desk checking component includes any of a user interface, a static analysis engine, a partial execution component, and an analyzer. The system and method for desk checking includes simulating code execution on a computing device with partial state information and requesting user input to supplement the partial state information.

REFERENCES:
patent: 6839893 (2005-01-01), Bates et al.
patent: 2002/0120919 (2002-08-01), Aizenbud-Reshef et al.
Gil Ratazby, Shmuel Ur et al. “Coverability Analysis Using Symbolic Model Checking CHARME 2001”, Mar. 1998 (Hereinafter Gil).

Affiliated with

Also associated with

Rating

Semi-automated desk checking system and method does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Semi-automated desk checking system and method, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Semi-automated desk checking system and method will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4148466