Generation of test purposes from Use Case Maps

Computer Networks

Volumn 49, Issue 5, 2005, Pages 643-660

  Amyot, Daniel ^a   Logrippo, Luigi ^b   Weiss, Michael ^c  

^a UNIVERSITY OF OTTAWA   (Canada)

^b UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

^c CARLETON UNIVERSITY   (Canada)

Author keywords

Formal specification; Scenario; Testing; Testing pattern; Use Case Map

Indexed keywords

FORMAL SPECIFICATION; SCENARIO; TESTING PATTERN; USE CASE MAP;

MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SURVEYS; TESTING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 25444524608     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.comnet.2005.05.006     Document Type: Conference Paper

References (44)

1. R.J.A. Buhr, and R.S. Casselman Use Case Maps for Object-oriented Systems 1996 Prentice Hall Available from:
2. R.J.A. Buhr Use case maps as architectural entities for complex systems IEEE Transactions on Software Engineering 24 12 1998 1131 1155 Available from:
3. UCM User Group, UCMNav 2, 2004. Available from: .
4. ITU-T-International Telecommunications Union, Recommendation Z.100 (08/02): Specification and description language (SDL), Geneva, Switzerland, 2002.
5. OMG-Object Management Group (2003), Unified Modeling Language Specification, Version 1.5. Available from: .
6. J. Tretmans, A formal approach to conformance testing, in: O. Rafiq (Ed.), Protocol Test Systems, VI-Sixth International Workshop on Protocol Test systems (IWPTS), Pau, France, September 1993, pp. 257-276.
7. ITU-T-International Telecommunications Union, Recommendation Z.120 (04/04): Message sequence chart (MSC), Geneva, Switzerland, 2004.
8. J. Grabowski, D. Hogrefe, and R. Nahm Test case generation with test purpose specification by MSCs O. Faergemand A. Sarma SDL'93-Using Objects 1993 North-Holland
9. C. Alexander, S. Ishikawa, and M. Silverstein A Pattern Language 1977 Oxford University Press New York, USA
10. D. DeLano, L. Rising, System Test Pattern Language. Pattern Languages of Programs (PLoP'96), Allerton Park, Illinois, USA, 1996. Available from: .
11. R.V. Binder Testing Object-oriented Systems-models, Patterns, and Tools 1999 Addison-Wesley
12. D. Amyot, Specification and Validation of Telecommunications Systems with Use Case Maps and Lotos, Ph.D. thesis, SITE, University of Ottawa, Canada, September 2001. Available from: .
13. G.J. Myers The Art of Software Testing 1979 Wiley-Interscience New-York, USA
14. M. Calder, M. Kolberg, E.H. Magill, and S. Reiff-Marganiec Feature interaction: a critical review and considered forecast Computer Networks 41 1 2003 115 141
15. ISO-International Organization for Standardization, Information Processing Systems, Open Systems Interconnection, Lotos-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS 8807, Geneva, Switzerland, 1989.
16. S. Pavón, D. Larrabeiti, D., G. Rabay, Lola-User Manual, version 3.6, DIT, Universidad Politécnica de Madrid, Spain, Lola/N5/V10, 1995.
17. D. Amyot, and L. Logrippo Structural coverage for lotos-A Probe Insertion Technique H. Ural R.L. Probert G.V. Bochmann Testing of Communicating Systems: Tools and Techniques (TestCom 2000) 2000 Kluwer Academic Publishers 19 34 Available from:
18. D. Amyot, and L. Logrippo Use case maps and lotos for the prototyping and validation of a mobile group call system Computer Communication 23 12 2000 1135 1157
19. P.E. Black, V. Okun, Y. Yesha, Mutation Operators for Specifications, 15th Automated Software Engineering Conference (ASE2000), Grenoble, France, September 2000, IEEE Computer Society, pp. 81-88. Available from: .
20. A. Miga, D. Amyot, F. Bordeleau, D. Cameron, M. Woodside, Deriving Message Sequence Charts from Use Case Maps Scenario Specifications, in: R. Reed, J. Reed (Eds.), SDL 2001: Meeting UML-10th International SDL Forum, Copenhagen, Denmark, Lecture Notes in Computer Science, Vol. 2078, Springer, pp. 268-287.
21. URN Focus Group, Draft Rec. Z.152-Use Case Map Notation (UCM). Geneva, Switzerland, September 2003. Available from: .
22. ITU-T-International Telecommunications Union, Recommendation Z.150 (02/03): User Requirements Notation (URN)-Language requirements and framework, Geneva, Switzerland, 2003.
23. D. Amyot, D.Y. Cho, X. He, Y. He, Generating Scenarios from Use Case Map Specifications, Third International Conference on Quality Software (QSIC'03), Dallas, USA, November 2003. Available from: .
24. D. Amyot, A. Echihabi, Y. He, UCMExporter: Supporting Scenario Transformations from Use Case Maps, Proc. of NOTERE'04, SaÏdia, Morocco, June 2004.
25. UCM User Group, UCMExporter, 2003. Available from: .
26. ITU-T-International Telecommunications Union, Recommendation Z. 140 (04/03): Testing and Test Control Notation version 3 (TTCN-3): Core language, Geneva, Switzerland, 2003.
27. D. Amyot Introduction to the user requirements notation: Learning by example Computer Networks 42 3 2003 285 301
28. Telelogic AB, Tau SDL Suite, 2004. Available from: .
29. Y. He, D. Amyot, A. Williams, Synthesizing SDL from Use Case Maps: An Experiment, in: R. Reed and J. Reed (Eds.), SDL 2003: System Design-11th International SDL Forum, Stuttgart, Germany, Lecture Notes in Computer Science, Vol. 2708, Springer, 2003, pp. 117-136. Available from: .
30. B. Koch, J. Grabowski, D. Hogrefe, M. Schmitt, Autolink-A Tool for Automatic Test Generation from SDL Specifications, IEEE International Workshop on Industrial Strength Formal Specification Techniques (WIFT'98), Boca Raton, USA, 1998, pp. 114-126.
31. L. Charfi, Formal Modeling and Test Generation Automation with Use Case Maps and Lotos. M.Sc. thesis, SITE, University of Ottawa, Canada, February 2001. Available from: .
32. J.-C. Fernandez, C. Jard, T. Jéron, C. Viho, Using On-the-fly Verification Techniques for the Generation of Test Suites. Computer Aided Verification (CAV'96), New Jersey, USA, 1996, pp. 348-359.
33. R. Guan, From Requirements to Scenarios through Specifications: A translation Procedure from Use Case Maps to Lotos, Master thesis, SITE, University of Ottawa, Canada, 2002. Available from: .
34. B. Stepien, and L. Logrippo Graphic visualization and animation of Lotos execution traces Computer Networks 40 5 2002 665 681
35. W.T. Tsai, X. Bai, R. Paul, W. Shao, V. Agarwal, End-To-End Integration Testing Design. COMPSAC 2001, Chicago, USA, October 2001, pp. 166-171. Available from: .
36. X. Bai, C.P. Lam, H. Li, An Approach to Generate Thin-threads from UML Diagrams, Technical Report TR-03-12, Edith Cowan University, Australia, 2004. Available from: .
37. R. Eshuis, and R.J. Wieringa Tool support for verifying UML activity diagrams IEEE Transactions on Software Engineering 30 7 2004 437 447 Available from:
38. A. Reuys, S. Reis, S., E. Kamsties, K. Pohl, Derivation of Domain Test Scenarios from Activity Diagrams, Workshop on Product Line Engineering-The Early Steps (PLEES-03), Erfurt, Germany, 2003. Available from: .
39. H. Neukirchen, Z.R. Dai, J. Grabowski, Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing, in: R. Groz, R.M. Hierons (Eds.), Testing of Communicating Systems, 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 2004, Lecture Notes in Computer Science, vol. 2978, Springer, pp. 144-159.
40. K.J. Turner, Formalising Graphical Behaviour Descriptions, in: C. Rattray, S. Maharaj, C. Shankland (Eds.), Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, Lecture Notes in Computer Science, vol. 3116, Springer, 2004, pp. 537-552.
41. J. Hassine, R. Dssouli, and J. Rilling Applying reduction techniques to software functional requirement specifications D. Amyot A.W. Williams System Analysis and Modeling-Fourth International SDL and MSC Workshop, SAM 2004 Lecture Notes in Computer Science vol. 3319 2005 Springer 138 153
42. M. Ebner, TTCN-3 Test Case Generation from Message Sequence Charts. ISSRE'04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL), Rennes, France, November 2004.
43. th SDL Forum, Grimstad, Norway, Lecture Notes in Computer Science, vol. 3530, Springer, 2005, pp. 247-264.
44. D.B. Petriu, D. Amyot, and M. Woodside Scenario-based performance engineering with UCMNav R. Reed J. Reed SDL 2003: System Design-11th International SDL Forum, Stuttgart, Germany Lecture Notes in Computer Science vol. 2708 2003 Springer 18 35 Available from: