A use case driven testing process: Towards a formal approach based on UML collaboration diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2931, Issue , 2004, Pages 223-235

  Badri, Moufad ^a   Badri, Linda ^a   Naha, Marius ^a  

^a UNIVERSITÉ DU QUÉBEC À TROIS RIVIÈRES   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

COLLABORATION DIAGRAM; COMPLEX OPERATIONS; DYNAMIC INTERACTION; INCREMENTAL VERIFICATION; TEST GENERATIONS; TESTING METHODOLOGY; TRANSFORMATION PROCESS; UML COLLABORATIONS;

SOFTWARE TESTING;

EID: 33745869740     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24617-6_16     Document Type: Article

References (16)

1. Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation, Third International Conference on the Unified Modeling Language, 2000.
2. Araujo, J., Moreira, A.: Specifying The Behavior Of UML Collaborations Using Objet-Z, AMCIS'00, 2000.
3. Badri, M., Badri, L.: Génération incrémentale de séquences de test fonctionnel des classes: Vers une approche formelle basée sur l'héritage du comportement des objets, 12th International Conference on Software and Systems Engineering and their Applications (ICSSEA'99), Paris, December 1999.
4. Badri, M., Badri, L.: Génération de tests à partir des diagrammes de collaboration UML, in Génie Logiciel, no 60, March 2002.
5. Bashir, I., Goel, A.L.: Testing object-oriented software: Life cycle solutions, Springer-Verlag, 2000.
6. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User guide, Addison-Wesley, Object Technology Series, 2000.
7. Duke, D., King, P., Rose, G.A., Smith, G.: The Object-Z Specification Language, Version 1, Technical Report 91-1, Department of Computing Science, University of Queensland, Australia, 1991.
8. Jacobson, I.: Use Cases and Aspects - Working Seamlessly Together, in Journal of Object Technology, vol. 2, no. 4, July-August 2003.
9. Jones, C.B.: Systematic Software Development Using VDM, Prentice Hall, 1986.
10. Larman, G.: Applying UML and Patterns: An introduction to object-oriented analysis and design and the unified process, second edition, Prentice Hall, 2002.
11. Marick, B.: The craft of software testing, Prentice Hall, 1995.
12. McGregor, J.D., Sykes, D.A.: A Practical Guide to Testing Object-Oriented Software, Addison-Wesley, 2001.
13. Object Management Group: OMG-UML Specification, Version 1.4, September 2001.
14. Pressman, R.S.: Software Engineering, A practitioner's approach, Fifth edition, Mc Graw Hill, 2001.
15. Spivey, J.M.: The Z Notation: A Reference Manual, second edition, Oriel College, Oxford, 1998.
16. Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling With UML, Addson-Wesley, 1998.