Logo des Repositoriums

Auflistung nach Autor:in "Herzner, Wolfgang"

1 - 2 von 2
  • Konferenzbeitrag
    Experience report: Error distribution in safety-critical software and software risk analysis based on unit tests
    (Informatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Ramberger, Stephan; Gruber, Thomas; Herzner, Wolfgang
    Systematic verification and validation measures are of essential importance in particular for safety-critical software. After a short introduction into the test environment and error categories, the paper presents the results of a unit test performed on a C++ software package for the European Space Agency in the ARC Seibersdorf research test lab. The authors analyse the error distribution and relations between software metrics and software faults and recommend guidelines for a less error-prone design of safety-critical software.
  • Zeitschriftenartikel
    Towards Fault-based Generation of Test Cases for Dependable Embedded Software
    (Softwaretechnik-Trends Band 31, Heft 3, 2011) Herzner, Wolfgang; Schlick, Rupert; Brandl, Harald; Wiessalla, Johannes
    In the European project MOGENTES1 methods for model-based generation of efficient test cases are developed. A special focus is laid on test cases, which not only allow for assessing the fulfillment of requirements, but in particular looking for potential faults – or prove their absence. This is achieved by mutation-based testing: an original model is modified to simulate faults, and then test cases are searched which are able to distinguish between original and mutated model. This paper gives an overview of MOGENTES, presents an application example from the automotive domain, and summarizes the results from this example.