Sadegh Sadeghipour

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)
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)
Das Testen ist keine isolierte Aktivität, die an das Ende der Entwicklungskette angehangen werden sollte. Vielmehr sollten frühzeitig Testspezifikationen aus den gegebenen Anforderungen abgeleitet werden. Diese inhaltlich enge Verzahnung zwischen Anforderungsmanagement und Test erfordert eine angemessene Prozess-und Werkzeug-unterstützung. Am Beispiel einer(More)
Software testing is the primary method through which the producer of software and the customer gain conndence that the software will work as intended or speciied. A test which does not nd errors can provide increased justiication for conndence in the correctness of the test object. Since testing often consumes up to 50% of the overall costs for software, a(More)