Testing of Communicating Systems

Following the success of CORBA based systems the OMG has standardized the CORBA Component Model (CCM) to improve the implementation process of large distributed systems. The European project COACH [16] has been set up to build an Open Source development platform to construct CCM applications. As part of COACH a toolset for CCM components and system testing has been defined and implemented. This paper introduces the various components and features which have been foreseen and implemented for test activities such as interactive component testing, test trace visualization, or the application of abstract test specifications. The resulting test infrastructure addresses the CCM specifics but also benefits from CCM, e.g. by incorporating component communication facilities.

[1]  Insup Lee,et al.  A Temporal Logic Based Theory of Test Coverage and Generation , 2002, TACAS.

[2]  Nina Yevtushenko,et al.  Testing Transition Systems with Input and Output Testers , 2003, TestCom.

[3]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[4]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[5]  Arend Rensink,et al.  Compositional Testing with ioco , 2003, FATES.

[6]  M. Clerbout,et al.  Semi-commutations , 1987, Inf. Comput..

[7]  Jan Tretmans,et al.  A Queue Model Relating Synchronous and Asynchronous Communication , 1992, PSTV.

[8]  S. Balemi.  Control of discrete event systems , 1992 .

[9]  Nnamdi Kohn,et al.  Middleware zur Realisierung offener Steuerungssoftware für hochdynamische Prozesse (Realizing Open Control Software for High Dynamic Processes with a Middleware) , 2004, it Inf. Technol..

[10]  Alexandre Petrenko,et al.  Test Generation for Specifications Modeled by Input/Output Automata , 1998, IWTCS.

[11]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[12]  Nicolae Goga,et al.  Comparing TorX, Autolink, TGV and UIO Test Algorithms , 2001, SDL Forum.

[13]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[14]  Roberto Segala,et al.  Quiescence, Fairness, Testing, and the Notion of Implementation , 1997, Inf. Comput..

[15]  Thierry Jéron,et al.  Remote testin can be as powerful as local testing , 1999, FORTE.

[16]  Marc Phalippou.  Executable Testers , 1993, Protocol Test Systems.

[17]  Lex Heerink,et al.  Refusal Testing for Classes of Transition Systems with Inputs and Outputs , 1997, FORTE.

[18]  Angelo Gargantini,et al.  Using model checking to generate tests from requirements specifications , 1999, ESEC/FSE-7.