DocumentCode :
3176440
Title :
Conformance Testing from Message Sequence Charts
Author :
Dan, Haitao ; Hierons, Robert M.
Author_Institution :
Sch. of Inf. Syst., Brunel Univ., Uxbridge, UK
fYear :
2011
fDate :
21-25 March 2011
Firstpage :
279
Lastpage :
288
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/ICST.2011.29
Filename :
5770617
Link To Document :
بازگشت