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

    Abstract

    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
    Pages290-299
    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
    Number2363
    ISSN1235-0605

    Fingerprint

    Life cycle
    Semiotics
    Defects
    Syntactics
    Software engineering
    Semantics
    Testing

    Cite this

    Harju, H., Ranta, J., & Välisuo, M. (2006). Software qualification: Error types and error management in software life-cycles (QETES). In SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006: Final Report (pp. 290-299). Espoo: VTT Technical Research Centre of Finland. VTT Tiedotteita - Research Notes, No. 2363
    Harju, Hannu ; Ranta, Jukka ; Välisuo, Martti. / Software qualification : Error types and error management in software life-cycles (QETES). SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006: Final Report. Espoo : VTT Technical Research Centre of Finland, 2006. pp. 290-299 (VTT Tiedotteita - Research Notes; No. 2363).
    @inbook{a7f59d23337a465b9c3acfb71ad37cdd,
    title = "Software qualification: Error types and error management in software life-cycles (QETES)",
    abstract = "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.",
    author = "Hannu Harju and Jukka Ranta and Martti V{\"a}lisuo",
    year = "2006",
    language = "English",
    isbn = "951-38-6886-9",
    series = "VTT Tiedotteita - Research Notes",
    publisher = "VTT Technical Research Centre of Finland",
    number = "2363",
    pages = "290--299",
    booktitle = "SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006",
    address = "Finland",

    }

    Harju, H, Ranta, J & Välisuo, M 2006, Software qualification: Error types and error management in software life-cycles (QETES). in SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006: Final Report. VTT Technical Research Centre of Finland, Espoo, VTT Tiedotteita - Research Notes, no. 2363, pp. 290-299.

    Software qualification : Error types and error management in software life-cycles (QETES). / Harju, Hannu; Ranta, Jukka; Välisuo, Martti.

    SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006: Final Report. Espoo : VTT Technical Research Centre of Finland, 2006. p. 290-299 (VTT Tiedotteita - Research Notes; No. 2363).

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

    TY - CHAP

    T1 - Software qualification

    T2 - Error types and error management in software life-cycles (QETES)

    AU - Harju, Hannu

    AU - Ranta, Jukka

    AU - Välisuo, Martti

    PY - 2006

    Y1 - 2006

    N2 - 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.

    AB - 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.

    M3 - Chapter or book article

    SN - 951-38-6886-9

    T3 - VTT Tiedotteita - Research Notes

    SP - 290

    EP - 299

    BT - SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006

    PB - VTT Technical Research Centre of Finland

    CY - Espoo

    ER -

    Harju H, Ranta J, Välisuo M. Software qualification: Error types and error management in software life-cycles (QETES). In SAFIR: The Finnish Research Programme on Nuclear Power Plant Safety 2003-2006: Final Report. Espoo: VTT Technical Research Centre of Finland. 2006. p. 290-299. (VTT Tiedotteita - Research Notes; No. 2363).