Observable patterns live in R and belong to K different classes. We are given a supervised training database, (X, L), where X represents the training patterns of all the classes and L represents their true class labels. We want to recognize the unknown classes to which new unlabelled test patterns belong. For this purpose we pretend there is a generative model, with unknown parameter Φ, that ge...

Tarzan is an implementation of a ruleand pattern-based engine for the transformation of models defined using the Object Management Group’s (OMG) Model-Driven Architecture (MDA). The process for the development of the engine included the concurrent development of a unit test suite for the engine. The test suite is constructed as a number of models, whose elements comprise the test cases, and whi...

This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framework, we first define a test of minimal size that can isolate multiple simultaneous faults of an arbitrary nature. Second, we prove complexity results for multiplefault tests of minimal size in propositional system model...

The fulfillment of the quality and reliability requirements of complex software systems necessitate that the software undergo some specific verification and validation procedures [1]-[3]. An integral part of both activities is intensive testing. The importance of testing manifests itself especially in the case of safety-critical computer systems [3], where the primary criterion is safe operatio...

Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consuming. We present the foundations and results of a case study to automate the generation of tests for control software of vehicle control units based on a specification of requirements in terms of finite state machines....

Software testing is a crucial activity to a successful software project that demands a significant effort. Aiming at improving software quality as well as to reduce the costs of testing process, we developed TaRGeT, a ModelBased Testing (MBT) tool that automatically generates test cases from use case scenarios written in natural language. In this paper we present TaRGeT and show quantitative an...