Testing UML designs

Authors:
Orest Pilskalns;Anneliese Andrews;Andrew Knight;Sudipto Ghosh;Robert France
Affiliations:
School of Engineering and Computer Science, Washington State University, Vancouver 14204 NE Salmon Creek Avenue, Vancouver Washington, USA;Department of Computer Science, University of Denver, 2360 South Gaylord Street, Denver Colorado, USA;School of Electrical Engineering and Computer Science, Washington State University, Pullman P.O. Box 642752, Pullman Washington, USA;Department of Computer Science, Colorado State University, 601 South Howes Street, Fort Collins CO, USA;Department of Computer Science, Colorado State University, 601 South Howes Street, Fort Collins CO, USA
Venue:
Information and Software Technology
Year:
2007

Citing 17
Cited 4

The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Design and code inspections to reduce errors in program development

IBM Systems Journal
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
The architecture of a UML virtual machine

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
Software Inspection

Software Inspection
Executable Object Modeling with Statecharts

Computer
Generating Test Cases from an OO Model with an AI Planning System

ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Criteria for Generating Specification-Based Tests

ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection

ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Dynamic Coupling Measurement for Object-Oriented Software

IEEE Transactions on Software Engineering
Enhancing Structured Review with Model-Based Verification

IEEE Transactions on Software Engineering
Defining Maintainable Components in the Design Phase

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Theories of Program Testing and the Application of Revealing Subdomains

IEEE Transactions on Software Engineering
Using UML collaboration diagrams for static checking and test generation

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating tests from UML specifications

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Model-Based Quality Assurance of Automotive Software

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model-based test cases synthesis using UML interaction diagrams

ACM SIGSOFT Software Engineering Notes
An approach to test-driven development of conceptual schemas

Data & Knowledge Engineering
MDA-based visual modeling approach for resources link relationships using UML profile

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract

Early detection and correction of faults in the software design phase can reduce total cost and time to market of a software product. In this paper we describe an approach for testing UML design models to uncover inconsistencies. Our approach uses behavioral views such as Sequence Diagrams to simulate state change in an aggregate model. The aggregate model is the artifact of merging information from behavioral and structural UML views. OCL pre-conditions, post-conditions and invariants are used as a test oracle.