Model-based test cases synthesis using UML interaction diagrams

Authors:
Ashalatha Nayak;Debasis Samanta
Affiliations:
Indian Institute of Technology Kharagpur, WestBengal, India;Indian Institute of Technology Kharagpur, WestBengal, India
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2009

Citing 9
Cited 2

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
A simplified domain-testing strategy

ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
SeDiTeC " Testing Based on Sequence Diagrams

Proceedings of the 17th IEEE international conference on Automated software engineering
Control flow analysis

Proceedings of a symposium on Compiler optimization
Using Hammock Graphs to Structure Programs

IEEE Transactions on Software Engineering
Automatic Test Generation: A Use Case Driven Approach

IEEE Transactions on Software Engineering
Testing UML designs

Information and Software Technology
Automated Generation of Test Cases Using Model-Driven Architecture

AST '07 Proceedings of the Second International Workshop on Automation of Software Test

Formal scenario-based requirements specification and test case generation in healthcare applications

Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Seamless testing for models and code

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software

Quantified Score

Hi-index	0.00

Visualization

Abstract

UML 2.0 interaction diagrams model interactions in complex systems by means of operation fragments and a systematic testing approach is required for the identification and selection of test cases. The major problem for test cases synthesis from such an interaction diagram is to arrive at a comprehensive system behavior in the presence of multiple, nested fragments. In this regard, our approach is towards systematic interpretation of flow of controls as well as their subsequent usage in the test case synthesis. We also simplify the proposed flow of controls on the basis of control primitives resulting from UML 2.0 fragments and bring it to a testable form known as intermediate testable model (ITM), which is suitable for deriving system level test cases.