Conformance testing of multi-threaded and distributed...

Details Conformance testing of multi-threaded and distributed... Conformance testing of multi-threaded and distributed...

2005-03-18

2010-06-29

Vo, Ted T (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

Reexamination Certificate

active

07747985

ABSTRACT:
Techniques and tools for testing multi-threaded or distributed software systems are described. For example, a multi-threaded system is instrumented and executed to produce logs of events that are performed by each of its agents. The agent logs contain a totally ordered series of events per agent, as well as information about accesses to resources shared between the agents. With this information, a partial ordering of the events performed by all the agents is described for the execution. The agent logs are then multiplexed into one or more serialized event orderings, which can then be compared to a specification of the system in a conformance testing engine.

REFERENCES:
patent: 5389838 (1995-02-01), Orengo
patent: 5913061 (1999-06-01), Gupta et al.
patent: 6038378 (2000-03-01), Kita et al.
patent: 6973638 (2005-12-01), Gangopadhyay et al.
patent: 6993706 (2006-01-01), Cook
patent: 7076417 (2006-07-01), Jain et al.
patent: 7088864 (2006-08-01), Grieskamp et al.
patent: 2003/0121027 (2003-06-01), Hines
patent: 2005/0160404 (2005-07-01), Nachmanson et al.
patent: 2006/0214948 (2006-09-01), Murthy
Fidge, “Partial Orders for Parallel Debugging”, 1988, ACM, pp. 183-194.
Henniger et al., “Automatic Generation of Test Purposes for Testing Distributed Systems”, Feb. 2004, SpringerLink, pp. 178-191.
Krasucki et al., “Knowledge and the Ordering of Events in Distributed Systems Extended Abstract”, 1994, ACM, pp. 267-283.
Barnett et al., “The Spec# Programming System: An Overview,” CASSIS 2004, LNCD 3362, pp. 49-69, 2005.
Barnett et al., Towards a Tool Environment for Model-Based Testing with AsmL, In 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), Oct. 2003, 9 pages.
Best Paper Award issued by Concordia University for “Multiplexing of Partially Ordered Events,” at the IFIP Testcom 2005 in Montreal, Canada, May/Jun. 2005, 1 page.
Blass et al., “Play to test,” Technical Report MSR-TR-2005-04, Microsoft Research, 15 pages, Jan. 2005.
Cacciari et al., “Controllability and observability in distributed testing,”Information and Software Technology, 41, pp. 767-780, 1999.
De Alfaro, “Game Models for Open Systems,”Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64thBirthday, vol. 2772 of LNCS, pp. 269-289, 2004.
De Alfaro et al, “Interface Automata,”Proceedings of the 8thEuropean Software Engineering Conference held jointly with 9thACM SIGSOFT International Symposium on Foundations of Software Engineering, vol. 26(5) ofACM SIGSOFT Software Engineering Notes, ACM Press, pp. 109-120, 2001.
Grieskamp et al., “Instrumenting scenarios in a model-driven development environment,”Information and Software Technology, 46(15), pp. 1027-1036, Dec. 2004.
Gurevich et al., “Semantic Essence of AsmL: Extended Abstract,”Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, vol. 3188 of LNCS, pp. 240-259, 2004.
Hallal et al., “Antipattern-based Detection of Deficiencies in Java Multithreaded Software,”Proceedings of the Fourth International Conference on Quality Software(QSIC2004), 10 pages, 2004.
Hallal et al., “An Automata-based Approach to Property Testing in Event Traces,”Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems(TestCom 2003), vol. 2644 of LNCS, pp. 180-196, 2003.
Hoare, “An Axiomatic Basis for Computer Programming,” Communications of the ACM, vol. 12, No. 10, 1969, pp. 576-583.
Huo et al., “On Testing Partially Specified IOTS through Lossless Queues,”Proceedings of the 16thIFIP International Conference, TestCOM 2004, vol. 2978 of LNCS, pp. 76-94, 2004.
King, “Symbolic Execution and Program Testing,” Communications of the ACM, vol. 19, No. 7, 1976, pp. 385-394.
Petrenko et al., “Testing Transition Systems with Input and Output Testers,” TestCom 2003, pp. 129-145.
Tasiran et al., “Runtime Refinement Checking of Concurrent Data Structures,”Electronic Notes in Theoretical Computer Science, Proceedings of the Fourth Workshop on Runtime Vertification, 113:163-179, 2004.
Tretmans et al., “TorX: Automated Model-Based Testing,” Editors: A. Hartman and K. Dussa-Ziegler, First European Conference on Model-Driven Software Engineering, Nuremberg, 2003, 13 pages.
Veanes et al., “On-The-Fly Testing of Reactive Systems,” Technical Report MSR-TR-2005-05, Microsoft Research, 16 pages, Jan. 2005.
Visser et al. “Test Input Generation with Java PathFinder,” ISSTA '04, Jul. 11-14, 2004, Boston, Massachusetts, pp. 97-107.
Campbell, et al., “Multiplexing of Partially Ordered Events,”TestCom 2005, LNCS 3502, pp. 97-110, 2005.
Lamport, “Time, Clocks, and the Ordering of Events in a Distributed System,”Communications of the ACM, vol. 21, No. 7, pp. 558-565, Jul. 1978.
Bekkerman, “FSMGenerator Finite State Machine generating software,” copyright 2002-2003, retrieved from “http://fsmgenerator.sourceforge.net/” on Feb. 28, 2008, 19 pages.
Quinton and Verjus, “Distributed Synchronization of Parallel Programs: Why and How?,”Proceedings of the International Workshop on Parallel Algorithms and Architectures, Luminy, France, Apr. 14-18, 1986, 17 pages.

Affiliated with

Also associated with

Rating

Conformance testing of multi-threaded and distributed... 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 testing of multi-threaded and distributed..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Conformance testing of multi-threaded and distributed... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4151161