Test postcondition items for automated analysis and test...

Details Test postcondition items for automated analysis and test... Test postcondition items for automated analysis and test...

2007-08-21

2010-06-08

Rodriguez, Paul L (Department: 2123)

Data processing: structural design, modeling, simulation, and em

Simulating nonelectrical device or system

Reexamination Certificate

active

07734455

ABSTRACT:
In one embodiment, a design is verified by creating a graphical model with a graphical modeling tool executing on a computing device. The graphical model may include a plurality of model elements. A postcondition element is coupled to a selected model element of the plurality of model elements. The postcondition element is associated with a desired result. The graphical model is employed to generate an executable form of the design. The executable form of the design and an indication of the desired result are provided to a verification tool, to instruct the verification tool to implement one or more verification scenarios.

REFERENCES:
patent: 2002/0128809 (2002-09-01), Roesner et al.
patent: 2004/0181441 (2004-09-01), Fung et al.
patent: 2005/0187745 (2005-08-01), Lurie et al.
patent: 2005/0187746 (2005-08-01), Hicklin et al.
patent: 2005/0187747 (2005-08-01), Paxson et al.
patent: 2005/0193269 (2005-09-01), Haswell et al.
patent: 2006/0003303 (2006-01-01), Almond et al.
patent: 2006/0037037 (2006-02-01), Miranz
patent: 2006/0107158 (2006-05-01), Mishra et al.
patent: 2006/0117274 (2006-06-01), Tseng et al.
patent: 2006/0136138 (2006-06-01), Hicklin et al.
patent: 2006/0212540 (2006-09-01), Chon et al.
patent: 2007/0156420 (2007-07-01), Meier et al.
patent: 2007/0250299 (2007-10-01), Paxson et al.

Affiliated with

Also associated with

Rating

Test postcondition items for automated analysis and test... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Test postcondition items for automated analysis and test..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Test postcondition items for automated analysis and test... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4173521