Sadegh Sadeghipour

Learn 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)
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)
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)