Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart. These techniques can usually be easily automated so that the tester does not have to go through the tedious procedure of deriving paths manually to comply with a coverage criterion. The next step is then to take each test path individually and derive test data, i.e., ful...

On the background of an increasing importance of case-based learning and case-based reasoning for education and clinical practice the question of how to supply suitable cases becomes a crucial task. A generic approach for the publishing of clinical cases is described using the Unified Modeling Language UML with the oose.de methodology. The essential business processes in the scenario under cons...

As model-driven software development is increasingly used, techniques to derive additional information from design models are rapidly explored. One kind of these additional information is test information. In this paper we present an approach of deriving a certain kind of test information for system integration test from a given design model. For a given domain with a generic behavioral model o...

Experience-based continuous learning is essential for improving products, processes, and technologies in emerging as well as in established areas of business and engineering science. It can be facilitated by case-based organizational learning, meaning that relevant experience is captured in the form of cases for reuse in a corporate experience repository (case base; experience base; EB). For ob...

A new model based approach for automated generation of test cases in object oriented systems has been presented. The test cases are derived by analyzing the dynamic behavior of the objects due to internal and external stimuli. The scope of the paper has been limited to the object diagrams taken from the Unified Modeling Language model of the system. Genetic Algorithm’s tree crossover has been p...

This paper discusses a model-based approach to software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development as well as quality and reusability of the results. Two major and strongly related techniques are identified and discuss...

Distributed computing approach is preferred over centralized approach due to low cost involvement and for providing reliability and expandability to network. An object-oriented language Unified Modeling Language is proposed by the authors to model the dynamic behavior for execution of tasks for the digital watch under distributed environment. A UML state diagram is designed and then converted i...

GENERATING TEST CASES FROM UML SPECIFICATIONS Aynur Abdurazik, M.S. George Mason University, 1999 Thesis Director: Dr. A. Je erson O utt Uni ed Modeling Language (UML) is a third generation modeling language in objectoriented software engineering. It provides constructs to specify, construct, visualize, and document artifacts of softwareintensive systems. This paper presents a technique that us...

We describe model-level unit tests for model-driven simulation based on UML models. We refer to the well-known unit testing method and apply this concept on a higher abstraction level, that is on UML simulation models. The concept of model-based simulation has become more and more popular throughout the last years. This trend is fostered by the availability of tools that automatically transform...

This paper presents a case study in formal specification and verification of a smart card application. The application is an electronic purse implementation, developed by the smart card producer Gemplus as a test case for formal methods for smart cards. It has been annotated (by the authors) with specifications using the Java Modeling Language (JML), a language designed to specify the functiona...