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)
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)
In der Welt der modellbasierten Softwareentwicklung hat die automati-sche Testvektorgenerierung die Forschungsphase bereits durchschritten. Dement-sprechend sind einige Tools für die Generierung von Testvektoren auf dem Markt der modellbasierten CASE Tools verfügbar. Dieser Beitrag beschreibt verschiede-ne Anwendungsszenarien für die automatische(More)
  • 1