DocumentCode
642815
Title
Metric proposal for system testing models verification for safety critical systems
Author
Spendla, Lukas ; Tanuska, Pavol ; Smolarik, Lukas
Author_Institution
Fac. of Mater. Sci. & Technol., Slovak Univ. of Technol., Trnava, Slovakia
fYear
2013
fDate
26-28 Sept. 2013
Firstpage
87
Lastpage
92
Abstract
The main goal of this article is the verification of the system testing models for safety critical systems. The proposal is focused on selection of appropriate metric for verification of these models. Proposed metric is based on standard metrics for software systems and is defined according to ISO 9126 standard. Our proposal captures the process of metric definition and demonstrates the usability of the proposed metric on performance testing model.
Keywords
program testing; safety-critical software; software metrics; metric definition; metric proposal; performance testing model; safety critical systems; software systems; system testing models; testing models verification system; Guidelines; Measurement; Safety; Standards; System testing; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Systems and Informatics (SISY), 2013 IEEE 11th International Symposium on
Conference_Location
Subotica
Print_ISBN
978-1-4799-0303-0
Type
conf
DOI
10.1109/SISY.2013.6662548
Filename
6662548
Link To Document