Model independent input reduction

Details Model independent input reduction Model independent input reduction

2006-01-30

2009-02-17

Le, Dieu-Minh (Department: 2114)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C717S124000

Reexamination Certificate

active

07493522

ABSTRACT:
A software reduction component may be provided with a software interface. The software interface may define a test case load method also define a model load method. The reduction component has logic for reducing test cases loaded via implementations of the method definitions. An implementation of the software interface can be provided. The implementation has an implementation of the defined test case load method, which can parse test cases in a first format and can build data structures corresponding to the test cases that are accessible by the software reduction component. The implementation can also have an implementation of the defined model load method, which can parse descriptions of models of respective programs and generate therefrom model data structures that model behavior of the respective programs.

REFERENCES:
patent: 5794046 (1998-08-01), Meier et al.
patent: 6002869 (1999-12-01), Hinckley
patent: 6029002 (2000-02-01), Afifi et al.
patent: 6173440 (2001-01-01), Darty
patent: 6513154 (2003-01-01), Porterfield
patent: 6865731 (2005-03-01), Davia et al.
patent: 7272752 (2007-09-01), Farchi et al.
patent: 2003/0046613 (2003-03-01), Farchi et al.
patent: 2003/0208351 (2003-11-01), Hartman et al.
patent: 2004/0194063 (2004-09-01), Pereira
patent: 2004/0225919 (2004-11-01), Reissman et al.
patent: 2005/0256665 (2005-11-01), Hartmann et al.
patent: 2006/0005170 (2006-01-01), Rosaria et al.
I. K. El-Far et al., “Model-Based Software Testing”, Encyclopedia on Software Engineering (edited by J.J. Marciniak), Wiley, 2001.
“Software Acquisition Gold Practice Model-Based Testing”, DACS Gold Practice Document Series, Model-Based Testing, GP-34 V 1.1, Last Updated: Oct. 20, 2003.
Reactive Systems, Inc., “Model-Based Testing and Validation of Control Software with Reactics”, Reactive Systems Report # 2003-1, Nov. 2003.
Cem Kaner, “The Ongoing Revolution in Software Testing”, Florida Institute of Technology, Software Testing and Performance Conference, Baltimore, Dec. 8, 2004.
J.J.P. Tsai et al., “A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing Debugging”, IEEE Transactions on Software Engineering, 1990, pp. 897-916, vol. 16, No. 8.
Seapine Software, “Seapine QA Wizard”, http://www.seapine.com/qawizard.html, retrieved on Jan. 10, 2006.

Affiliated with

Also associated with

Rating

Model independent input reduction does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Model independent input reduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model independent input reduction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4078336