Implementing MSC Tests with Quiescence Observation

Authors:
Sergiy Boroday;Alexandre Petrenko;Andreas Ulrich
Affiliations:
Centre de recherche informatique de Montreal (CRIM), Montreal, Canada;Centre de recherche informatique de Montreal (CRIM), Montreal, Canada;Siemens AG, Corporate Technology, CT SE 1, Munich, Germany 80200
Venue:
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Year:
2009

Citing 10
Cited 2

Formal Test Purposes and the Validity of Test Cases

FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Inference of Message Sequence Charts

IEEE Transactions on Software Engineering
Detecting and resolving semantic pathologies in UML sequence diagrams

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Resolving Race Conditions in Asynchronous Partial Order Scenarios

IEEE Transactions on Software Engineering
Deriving tests from UML 2.0 sequence diagrams with neg and assert

Proceedings of the 2006 international workshop on Automation of software test
Behaviour Model Synthesis from Properties and Scenarios

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Test Synthesis from UML Models of Distributed Software

IEEE Transactions on Software Engineering
Testing Systems Specified as Partial Order Input/Output Automata

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Automatic generation of conformance tests from message sequence charts

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Comparing UML 2.0 interactions and MSC-2000

SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling

From scenarios to test implementations via Promela

ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
A framework for pathologies of message sequence charts

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Given a test scenario as a Message Sequence Chart (MSC), a method for implementing an MSC test in a distributed asynchronous environment is suggested. Appropriate test coordination is achieved using coordinating messages and observed quiescence of a system under test. A formal definition and a classification of faults with respect to the test scenario are introduced. It is shown that the use of quiescence observation improves the fault detection and allows implementing sound tests for a wider class of test scenarios than before.