Title :
Conformance Testing from Message Sequence Charts
Author :
Dan, Haitao ; Hierons, Robert M.
Author_Institution :
Sch. of Inf. Syst., Brunel Univ., Uxbridge, UK
Abstract :
There are several industries in which Message Sequence Charts (MSCs) and the corresponding UML notation (Sequence Diagrams) are used to describe requirements. However, most work on model based testing has looked at testing from other languages such as input output transition systems and finite state machines. This paper explores the problem of testing on the basis of an MSC specification. We develop a formal test framework and explore the notion of a test hypothesis in this context. It transpires that there are several possible test architectures and each defines the observational power of the tester(s) and so we describe a flexible test architecture. In this paper we explore these alternatives and define corresponding implementation relations, explaining how verdicts can be produced for these relations. We then show how test suites can be generated and executed and define test coverage criteria.
Keywords :
Unified Modeling Language; conformance testing; diagrams; program testing; UML notation; Unified Modeling Language; conformance testing; finite state machine; flexible test architecture; formal test framework; message sequence chart; model based testing; sequence diagram; test coverage criteria; test hypothesis; Computer architecture; Controllability; Mathematical model; Observability; Testing; Unified modeling language; Visualization;
Conference_Titel :
Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth International Conference on
Conference_Location :
Berlin
Print_ISBN :
978-1-61284-174-8
Electronic_ISBN :
978-0-7695-4342-0
DOI :
10.1109/ICST.2011.29