Formal methods for test case generation

Details Formal methods for test case generation Formal methods for test case generation

2011-01-04

2011-01-04

Jones, Hugh (Department: 2128)

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

Modeling by mathematical expression

Reexamination Certificate

active

07865339

ABSTRACT:
The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.

REFERENCES:
patent: 6026222 (2000-02-01), Gupta et al.
patent: 7073143 (2006-07-01), Huang
Eén et al., “Temporal Induction by Incremental SAT Solving,” Electronic Notes in Theoretical Computer Science 2003.
Hlavaty et al., “Formal Methods in Development and Testing of Safety-Critical Systems: Railway Interlocking System,” Proceedings of Workshop 2002.
Groce, “Error Explanation with Discrete Metrics,” Springer-Verlag Berlin Heidelberg 2004.
Clarke et al., “Bounded Model Checking Using Satisfiability Solving,” Advances in Computers, vol. 58, 2003.
G. Hamon et al., An Operational Semantics for Stateflow, Fundamental Approaches to Software Engineering, Mar. 2004, pp. 229-243, LNCS 2984, Springer-Verlag.
Hong et al., Data Flow Testing as Model Checking, 25th Intl. Conf. on Software Engineering, May 2004, pp. 232-242, IEEE Computer Society.
P.E. Black et al., Winnowing tests: Getting Quality Coverage from a Model Checker without Quantity, 20th AIAA/IEEE Digital Avionics Conf., Oct. 2001, pp. 9B6/1-9B6/4, IEEE.
K. Hayhurst et al., A Practical Tutorial on Modified Condition/Decision Coverage, NASA Technical Memo. TM-2001-210876, May 2001, NASA Langley Research Center.

Affiliated with

Also associated with

Rating

Formal methods for test case generation does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Formal methods for test case generation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formal methods for test case generation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2718912