Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2007-05-08
2007-05-08
Zhen, Wei (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S143000, C717S146000, C717S147000, C714S038110
Reexamination Certificate
active
10081329
ABSTRACT:
To perform conformance checking of a software implementation with a (possibly non-deterministic) specification, a software implementation and a software specification are applied to produce a CT enabled implementation. Nondeterministic choices of the software specification result in assigning a corresponding choice of the CT enabled implementation to a variable. The CT enabled implementation includes a test that the variable then comprises one of the nondeterministic choices of the software specification. To perform conformance testing where the software specification includes ordered steps, and calls to methods of other classes (mandatory calls), a software object is produced and organized such that each step of the software specification has a corresponding code section in the software object. The software object includes instructions to generate an identification of a mandatory call comprised by the software specification, and instructions to test that the state of the implementation conforms to the software specification during the mandatory call.
REFERENCES:
patent: 4864569 (1989-09-01), DeLucia et al.
patent: 5218605 (1993-06-01), Low et al.
patent: 5313616 (1994-05-01), Cline et al.
patent: 5513315 (1996-04-01), Tierney et al.
patent: 5623499 (1997-04-01), Ko et al.
patent: 5696974 (1997-12-01), Agrawal et al.
patent: 5724504 (1998-03-01), Aharon et al.
patent: 5754860 (1998-05-01), McKeeman et al.
patent: 5812436 (1998-09-01), Desgrousilliers et al.
patent: 5999728 (1999-12-01), Cable
patent: 6260065 (2001-07-01), Leiba et al.
patent: 6282681 (2001-08-01), Sun et al.
patent: 6314557 (2001-11-01), Shenderovich
patent: 6321376 (2001-11-01), Willis et al.
patent: 6526544 (2003-02-01), Peled et al.
patent: 6631516 (2003-10-01), Baumgart et al.
patent: 6698012 (2004-02-01), Kossatchev et al.
patent: 2002/0133501 (2002-09-01), Raduchel et al.
patent: 2003/0028498 (2003-02-01), Hayes-Roth
patent: 2003/0033406 (2003-02-01), John et al.
patent: 2003/0084428 (2003-05-01), Agostini et al.
patent: 2004/0103396 (2004-05-01), Nehab
patent: 690395 (1996-01-01), None
patent: 02001681 (1990-01-01), None
Hagwood et al., Reliability of conformance tests, IEEE Transactions on, Jun. 2001, vol. 50, Issue: 2, pp. 204-208.
Weyuker et al., Analyzing partition testing strategies, Jul. 1991, IEEE Trans. Software Eng'g., vol. 17, pp. 703-711.
Henniger et al., Specification and testing of the behavior of network management agents using SDL-92, IEEE/ACM Transactions on, Dec. 1996, vol. 4, Issue: 6, pp. 951-961.
IBM Technical Disclosure Bulletin, User Configurable Local Storage Registers, IBM, May 1976, vol. No. 18, Issue: 12, pp. 3971-3975.
Rosenthal, What is this thing called conformance, NIST/ITL Bulletin, Jan. 2001, pp. 1-3.
Rosenthal, Presentation:What is this thing called conformance, NIST/ITL Bulletin, Dec. 2000, power point presentaion.
Gray, Overview of Conformance Testing, NIST/ITL Bulletin, Jan. 1999, pp. 1-5.
Gallagher, Conformacne testing of object-Oriented components specified by state/transition classes, NIST/ITL Bulletin, 2000, pp. 1-11.
Liburdy et al., Formal specification language in conformance testing, Software quality week, 1998, pp. 1-16.
Bruin et al., Scenario-based analysis of component compositions, Vrije University, Amsterdam, pp. 1-15.
Hierons et al., Testing conformance to a quasi-nondeterministic stream X-machine, Brunel University, 2001, pp. 1-29.
Seongyong et al., INAP conformance test system development and verification usign IUT simulator, IEEE, 1998 pp. 3356-3361 vol. 6.
Yujun et al., IPv6 conformance testing: theory and practice, IEEE, Oct. 2004 pp. 719-727.
Dibuz et al., An easy way to test interoperbility and conformance, IEEE, Mar. 2006 p. 9 pp. 1-9.
Barnett, M. et al.,Conformance Checking of Components Against Their Non-deterministic Specifications, Microsoft Technical Report, MSR-TR-2001-56, Jun. 2001.
Barnett, M. et al.,Spying on Components: A Runtime Verification Technique, Workshop on Specification Verification of Component Based Systems, OOPSLA, Oct. 2001.
Barnett, M. et al., Using Abstract State Machines at Microsoft: A Case Study, ASM Conference 2000.
Barnett, M. et al., Specification, Simulation And Testing of COM Components Using Abstract State Mcahines, ASM Conference Feb. 2001.
Bruno, J. et al., jContractor: A Reflective Java Library to Support Design by Contract, Reflection 1999: 175-196.
Kramer, R., iContract—The Java Design by Contract Tool, Proceedings of Technology of Object-Oriented Languages and Systems, Tools-USA, IEEE Press, 1998.
Barnett et al., “The ABCs of Specification: AsmL, Behavior, and Components,” inInformatica, vol. 25, No. 4, pp. 517-526, Nov. 2001.
Jonkers, “ISpec: Towards Practical and Sound Interface Specifications,”Appeared inGrieskamp et al. (Eds.):IFM 2000, LNCS 1945, pp. 116-135,Springer-Verlag(2000), 20 pages.
Müller et al., “Modular Specification and Verification Techniques for Object-Oriented Software Components,” In Gary T. Leavens and Murali Sitaraman (eds.),Foundations of Component-Based Systems, Cambridge Univeristy Press, 2000, 22 pages.
Barnett Michael
Schulte Wolfram
Klarquist & Sparkman, LLP
Microsoft Corporation
Rampuria Satish S.
LandOfFree
Conformance execution of non-deterministic specifications... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Conformance execution of non-deterministic specifications..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Conformance execution of non-deterministic specifications... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3801358