Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2011-04-19
2011-04-19
Puente, Emerson C (Department: 2196)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S104000
Reexamination Certificate
active
07930682
ABSTRACT:
A system and method for generating test frames in specification-based testing by using a path-coverage criterion is provided. The method includes receiving a test design as an input, and constructing a context-free grammar graph, based on the test design. The method further includes analyzing the context-free grammar graph to generate a first set of paths, and emitting a set of test frames as an output, based on the first set of paths.
REFERENCES:
patent: 5659554 (1997-08-01), Okayasu
patent: 5918037 (1999-06-01), Tremblay et al.
patent: 6189116 (2001-02-01), Mongan et al.
patent: 6324496 (2001-11-01), Alur et al.
patent: 6505342 (2003-01-01), Hartmann et al.
patent: 6804634 (2004-10-01), Holzmann et al.
patent: 6853963 (2005-02-01), Apfelbaum et al.
patent: 7055065 (2006-05-01), Farchi et al.
Test Development Environment Language Reference Manual Siemens Information Systems Year of Publication: 1998.
UML-Based Integration Testing Jean Hartmann, Claudio Imoberdorf, Michael Meisinger International Symposium on Software Testing and Analysis Year of Publication: 2000.
Automatic Generation of Test Scripts from Formal Test Specifications Marc J. Balcer, William M. Hasling, and Thomas J. Ostrand ACM SIGSOFT Software Engineering Notes vol. 14 , Issue 8, pp. 210-218, Year of Publication: 1989.
Using Attributed Grammars to Test Designs and Implementations A.G. Duncan, J.S. Hutchison Proceedings of the 5th international conference on Software engineering pp. 170-178 Year of Publication: 1981.
A Visual Test Development Environment for GUI Systems Thomas Ostrand, Aaron Anodide, Herbert Foster, and Tarak Goradia ACM SIGSOFT Software Engineering Notes vol. 23 , Issue 2, pp. 82-92 Year of Publication: 1998.
Efficient Regression Testing of Multi-Panel Systems Williams, C. Paradkar, A. 10th International Symposium on Software Reliability Engineering pp. 158-165 Year of Publciation: 1999.
Using Production Grammars in Software Testing Emin Gun Sirer and Brian N. Bershad Proceedings of the 2nd conference on Domain-specific languages pp. 1-13 Year of Publication: 1999.
Test Ready UML Statechart Models PVR Murthy, PC Anitha, M Mahesh, and Rajesh Subramanyan SCESM'06, May 27, 2006, Shanghai, China.
The Dynamic Domain Reduction Procedure for Test Data Generation A. Jefferson Offutt Zhenyi Jin Jie Pan Software Practice and Experience vol. 29 Issue 2 Feb. 1999.
User-Based Testing of GUI Sequences and Their Interactions Lee White, Husain Almezen and Nasser Alzeidi Software Reliability Engineering ISSRE 2001 Nov. 2001.
Generating Test Data with Enhanced Context-Free Grammars Peter M. Maurer IEEE Software vol. 7, Issue 4 Jul. 1990.
On-the-Fly Generation of K-Path Tests for C Functions: towards the Automation of Grey-Box Testing Nicky Williams, Bruno Marre and Patricia Mouy Year of Publication: 2004.
Siemens Test Development Environment—The Tool for Cost-Effective, Coverage-Directed Test Generation—Language Reference manual.
The Category—Partition Method for Specifying and Generating Functional Tests.
F. Chau & Associates LLC
Mills Paul
Paschburg Donald B.
Puente Emerson C
Siemens Information Systems Ltd.
LandOfFree
Path coverage criterion in specification-based testing based... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Path coverage criterion in specification-based testing based..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Path coverage criterion in specification-based testing based... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2672460