Learn More
Software testing often consumes up to 50 percent of the overall software costs. A large amount of time and money within the test process is spent due to incomplete, inconsistent or ambiguos informal specifications of the test objects. A more formal approach to the early phases of software development can reduce the error rate drastically and, in addition ,(More)
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focuses on searching for a high coverage of the test object by generating separate inputs for single function calls. We have identified a large set of real world application for which this approach does not perform well because(More)
A hybrid specification language µSZ, in which the dynamic behaviour of a system is described using Statecharts and the data and the data transformations are described using Z, has been developed for the specification of embedded systems. This paper describes an approach to testing from a deterministic sequential specification written in µSZ. By considering(More)
The software embedded in automotive control systems increasingly determines the functionality and properties of present-day motor vehicles. The development and test process of the systems and the embedded software becomes the limiting factor. While these challenges, on the development side, are met by employing model-based specification, design, and(More)
This extended abstract describes an approach for generating test cases from Z speciications. The approach combines the classiication-tree method with the disjunctive normal form approach as follows: A classiication-tree is constructed from the formal speciication and the resulting high level test cases are transformed into reened test cases by generating(More)
While testing based on finite state machines has been extensively investigated in the literature, issues concerning testing based on extended finite state machines (EFSMs) have not been adequately addressed. Such a testing is complicated due to the fact that a transition in an EFSM transforms a large (sometime infinite) set of data in contrast to just one(More)
Executable graphical models are used throughout the model-based development process for embedded controls. The test process accompanying model-based development can profit from the existence of such executable models in various ways. For instance, in addition to traditional code coverage analysis the executable model can also be subjected to structural(More)