1997-03-18
1999-07-20
Palys, Joseph E.
39518313, G06F 1100
Patent
active
059266228
ABSTRACT:
A method and apparatus for verifying the behavior of properties or functions of a system by forming a reduced model for each property of the system, and running a given simulation operation on the reduced model to verify the behavior of each said property. When a property or function does not behave as expected, the system model is adjusted, and only those functions having a property affected by the adjustment are rechecked. In one illustrative embodiment, a system model is reduced by eliminating all variables having no effect on the function or property being checked. The resulting reduced model can be further reduced by adjusting the range of each variable therein to a minimum range necessary to check the behavior of that specific property. If it becomes necessary to change the system model in order to fix a problem relative to one property, then only those properties having a reduced model affected by that change or fix are re-verified.
REFERENCES:
patent: 5418941 (1995-05-01), Peters
patent: 5522036 (1996-05-01), Shapiro
patent: 5615333 (1997-03-01), Juettner et al.
patent: 5657438 (1997-08-01), Wygodny et al.
patent: 5673387 (1997-09-01), Chen et al.
patent: 5694540 (1997-12-01), Humelstine et al.
patent: 5724504 (1998-03-01), Aharon et al.
patent: 5729554 (1998-03-01), Weir et al.
White et al., "Test Manager: A Regression Testing Tool", Software Maintenance Conf., IEEE, pp. 338-347, 1993.
Hardin Ronald H.
Kurshan Robert Paul
DiGiorgio James
Lucent Technologies - Inc.
Palys Joseph E.
LandOfFree
Efficient regression verification does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Efficient regression verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient regression verification will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1330004