Software qualification: Error types and error management in software life-cycles (QETES)

Hannu Harju, Jukka Ranta, Martti Välisuo

    Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional


    QETES-project aims at giving a new approach to classify software defects. The approach is based on three aspects of computer semiotics: syntactic, semantic and pragmatic. Previously several defect classifications have been proposed in software engineering, but most of them do not focus on the defect detection and prevention. The new approach supports identifying the subset of defects to be eliminated reliably by design and testing so that qualification of safety critical software becomes more effective. The proposed computer semiotic classification of defects has been validated by a number of incidents involving software errors.
    Original languageEnglish
    Title of host publicationSAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006
    Subtitle of host publicationFinal Report
    Place of PublicationEspoo
    PublisherVTT Technical Research Centre of Finland
    ISBN (Electronic)951-38-6887-7
    ISBN (Print)951-38-6886-9
    Publication statusPublished - 2006
    MoE publication typeNot Eligible

    Publication series

    SeriesVTT Tiedotteita - Research Notes


    Dive into the research topics of 'Software qualification: Error types and error management in software life-cycles (QETES)'. Together they form a unique fingerprint.

    Cite this