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

NameVTT Tiedotteita - Research Notes
PublisherVTT
Number2363
ISSN (Print)1235-0605
ISSN (Electronic)1455-0865

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