Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2005-05-24
2005-05-24
Khatri, Anil (Department: 2124)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S106000
Reexamination Certificate
active
06898784
ABSTRACT:
A verification system for a procedure interface is generated by using formal specifications of the procedure interface and generating test suites. The test suites are generated from the formal specifications and templates or skeletons which are used to generate an element of a verification system. The skeletons are generated based on decomposition of test suits.
REFERENCES:
patent: 5390131 (1995-02-01), Rohrbaugh et al.
patent: 5737609 (1998-04-01), Reed et al.
patent: 5781720 (1998-07-01), Parker et al.
patent: 5784553 (1998-07-01), Kolawa et al.
patent: 5860004 (1999-01-01), Fowlow et al.
patent: 5860009 (1999-01-01), Uchihira et al.
patent: 5913023 (1999-06-01), Szermer
patent: 5974569 (1999-10-01), Nickles
patent: 5987239 (1999-11-01), Kirsch
patent: 6093215 (2000-07-01), Buxton et al.
patent: 6146026 (2000-11-01), Ushiku
patent: 6212667 (2001-04-01), Geer et al.
patent: 6249526 (2001-06-01), Loukianov
patent: 6381604 (2002-04-01), Caughran et al.
patent: 6401230 (2002-06-01), Ahanessians et al.
patent: 6434500 (2002-08-01), Boehne et al.
patent: 6453292 (2002-09-01), Ramaswamy et al.
patent: 6499114 (2002-12-01), Almstead et al.
patent: 6510402 (2003-01-01), Logan et al.
patent: 0286361 (1988-10-01), None
patent: 0 406 602 (1991-09-01), None
patent: 0834810 (1998-04-01), None
patent: WO 9921404 (1999-05-01), None
Balcer, Marc J. et al., “Automatic Generation of Test Scripts from Formal Test Specifcations,” Siemens Corporate Research, http://portal.acm.org, 1989, XP002250291.
Evans, Matt et al., “Assertion Definition Language Translation System,” Sun Microsystems Laboratories, http://adl.opengroup.org/documents/Archive/94sympos.doc.pdf, Aug. 31, 1994, XP002250292.
Heiser, John E., “An Overview of Software Testing,” Autotestcon, IEEE Autotestcon Proceedings, Anaheim, CA Sep. 22-25, 1997, New York, NY, XP010253020.
Thees, Joachim and Gotzheim, Reinhard, “The experimental Estelle Compiler—Automatic Generation of Implementations from Formal Specification,” Proceedings of FMSP 1998, The Second Workshop on Formal Methods in Software Practice, Clearwater Beach, FL Mar. 4-5, 1998, XP000970954.
“Formal Derivation of Finite State Machines for Class Testing,”Lecture Notes in Computer Science, Sep. 1998, V. 1493, pp 42-59.
“Measurement and Verification Approaches for AI Systems,” http://ke13.eecs.uic.edu/USAF/appr/docappr.html, Mar. 19, 1999.
“Algebra of Normal Forms,”Summary, Journal of Formalized Mathematics, vol. 2, Oct. 5, 1990.
“Disjunctive Constraint,” http://www.ifcomputer.de/manuals/cons
ode56.html.
Wing, Jeannette and Gong, Chun, “Testing and Verifying Concurrent Objects,” Journal of Parallel and Distributed Computing, Academic Press, Duluth, MN, vol. 17, No. 1 / 2, 1993, pp. 164-182.
“ADL 2.0 Translation System,” ADL 2.0 Translation System Design Specification, Verson 1.1, Online!, Aug. 7, 1998, pp. 1-132, XP002215027, http://adl.opengroup.org/documents/ADL2Ds.pdf.
Barancev Alexei V.
Burdonov Igor B.
Demakov Alexei V.
Galter Dmitri
Kossatchev Alexander S.
Khatri Anil
Nortel Networks Limited
Shrader Lawrence
Withrow & Terranova , PLLC
LandOfFree
Method and system for forming skeletons for generating... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for forming skeletons for generating..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for forming skeletons for generating... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3390044