The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automati...

UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conformance test suites for protocols. Both tools are connected so that it is possible to specify an application in UML and derive automatically some test cases. In this article, the integration of those tools in an industrial ...

Service-oriented computing is distinguished by its use of dynamic discovery and binding for the integration of services at runtime. This poses a challenge for testing, in particular, of the interaction between services. We propose a model-driven solution to address this challenge. Service descriptions are promoted from largely syntactical to behavioural specifications of services in terms of co...

The Unified Modeling Language (UML) allows the description of complex discrete devices in a clear understandable manner. After the mapping of such a high level model to a basically tested programmable hardware, the test of the special behavior arises. This paper introduces the object oriented modeling of discrete devices by UML, shows the model transfer between the CASE tool and the test tool b...

Scenario languages are widely used in software development. Typical usage scenarios, forbidden behaviors, test cases and many more aspects can be depicted with graphical scenarios. Scenario languages were introduced into the Unified Modeling Language (UML) under the name of Sequence Diagrams. The 2.0 version of UML changed Sequence Diagrams significantly, the expressiveness of the language was ...

Model-based software testing generally refers to test case selection and result evaluation based on a behavioral model of the target software. It may not, however, be possible to evaluate test results in some situations. For embedded software in a real-time environment, for instance, the results may only appear in a fraction of a second and cannot be observed by the tester. In this paper, we di...

Given a simple polygon P with m vertices and a set S of n points in the plane, we consider the problem of finding a rigid motion placement of P that contains the maximum number of points in S. We present two solutions to this problem that represent time versus space tradeoffs. The first algorithm runs in O(n3m3) expected time using O(n2m2) space. The second algorithm runs in O(n3m3 log(nm)) det...

In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria. We introduce our current prototype implementation, compare it to commercial tools, and sketch shortcomings and further development.

Developing industrial Case–Based Reasoning (CBR) applications has become much easier since the advent of the INRECA methodology [BBG99] which employs software process modelling techniques [VR95] to describe CBR system development tasks and uses the experience factory approach [BCR94] to store experience gained in the realization of CBR projects. empolis (and its former INRECA project partner ka...

This paper considers the problem of determining which set of 2P leaf nodes on a binary multiscale tree model of depth N ( N > p ) gives the best linear minimum mean-squared estimator of the tree root. We find that the best-case and worst-case sanipling choices depend on the correlation structure of the tree. This problem arises in Internet traffic estimation. where the goal is to estimate the a...