Conformance testing from message sequence charts

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation, ICST 2011

Volumn , Issue , 2011, Pages 279-288

  Dan, Haitao ^a   Hierons, Robert M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANCE TESTING; IMPLEMENTATION RELATION; INPUT-OUTPUT TRANSITION SYSTEMS; MESSAGE SEQUENCE CHARTS; MODEL BASED TESTING; SEQUENCE DIAGRAMS; TEST ARCHITECTURE; TEST COVERAGE CRITERIA; TEST FRAMEWORK; UML NOTATION;

CELL CULTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FINITE AUTOMATA; FLOWCHARTING; MODEL CHECKING; TESTING;

SOFTWARE TESTING;

EID: 79958747872     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2011.29     Document Type: Conference Paper

References (25)

1. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. IEEE Transactions on Software Engineering, 29(7):623-633, 2003.
2. R. Alur, G. Holzmann, and D. Peled. An analyzer for message sequence charts. Software Concepts and Tools, 17(2):70-77, 1996.
3. P. Baker, P. Bristow, C. Jervis, D. King, and B. Mitchell. Automatic generation of conformance tests from message sequence charts. In Telecommunications and beyond: The Broader Applicability of SDL and MSC, volume 2599 of Lecture Notes in Computer Science, pages 170-98. Springer-Verlag, 2003.
4. S. Boroday, A. Petrenko, and A. Ulrich. Implementing MSC Tests with Quiescence Observation. Testing of Software and Communication Systems, pages 49-65, 2009.
5. Jessica Chen, Robert M. Hierons, and Hasan Ural. Testing in the distributed test architecture. In Proceedings of Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, pages 157-183. Springer, 2008.
6. In Sang Chung, Hyeon Soo Kim, hyun Seop Bae, Yong Rae Kwon, and Byung Sun Lee. Testing of concurrent programs based on message sequence charts. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, pages 72-82, 1999.
7. Haitao Dan, Robert M. Hierons, and Steve Counsell. Nonlocal choices and implied scenarios. In the 8th International Conference on Software Engineering and Formal Methods, pages 53-62, Pisa, Italy, 2010.
8. J. Grabowski, D. Hogrefe, and R. Nahm. Test case generation with test purpose specification by MSCs. In Proceedings of 6th SDL Forum. Using Objects, pages 253-65, Darmstadt, Germany, 1993. Elsevier.
9. Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker, Anthony Wiles, and Colin Willcock. An introduction to the testing and test control notation (ttcn-3). Computer Networks, 42(3):375-403, 2003.
10. Stefan Haar, Claude Jard, and Guy-Vincent Jourdan. Testing input/output partial order automata. In Proceedings of TestCom/FATES, volume 4581 of Lecture Notes in Computer Science, pages 171-185. Springer, 2007.
11. Øystein Haugen. MSC-2000 interaction diagrams for the new millennium. Computer Networks, 35(6):721-732, 2001.
12. Loïc Hélouët. Some pathological message sequence charts, and how to detect them. In Proceedings of the 10th International SDL Forum, pages 348-364, Copenhagen, Denmark, 1 2001.
13. Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, and Hussein Zedan. Using formal specifications to support testing. ACM Comput. Surv., 41(2):1-76, 2009.
14. Robert M. Hierons, Mercedes G. Merayo, and Manuel Núñez. Implementation relations for the distributed test architecture. In Proceedings of TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, pages 200-215. Springer, 2008.
15. Robert M. Hierons and Hasan Ural. The effect of the distributed test architecture on the power of testing. Comput. J., 51(4):497-510, 2008.
16. ITU-T. ITU-T Recommendation Z.500 Framework on formal methods in conformance testing, 5 1997.
17. ITU-T. ITU-T Recommendation Z.120 Message Sequence Chart, 4 2004.
18. ISO/IEC JTC. International Standard ISO/IEC 9646-1, Information Technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 1: General concepts, 1994.
19. A. B. Kahn. Topological sorting of large networks. Commun. ACM, 5(11):558-562, 1962.
20. Peter B. Ladkin and Stefan Leue. Four issues concerning the semantics of Message Flow Graphs. In Proceedings of the 7th International Conference on Formal Description Techniques, pages 355-369, Berne, Switzerland, 1994.
21. S. Mauw, M.A. Reniers, and T.A.C. Willemse. Message Sequence Charts in the software engineering process. Handbook of Software Engineering and Knowledge Engineering, 1:437-464, 2001.
22. A. Muscholl, D. Peled, and Zhendong Su. Deciding properties for message sequence charts. In Proceedings of the 1st Conference on Foundations of Software Science and Computation Structures, pages 226-242, Lisbon, Portugal, 1998.
23. B. Sarikaya and G. v. Bochmann. Synchronization and specification issues in protocol testing. IEEE Transactions on Communications, 32:389-395, April 1984.
24. J. Tretmans. Testing concurrent systems: A formal approach. In Proceedings of CONCUR'99, page 46, Eindhoven, Netherlands, 1 1999.
25. Mohammad Zulkernine and Rudolph E. Seviora. A compositional approach to monitoring distributed systems. In International Conference on Dependable Systems and Networks (DSN 2002), pages 763-772. IEEE Computer Society, 2002.