安全关键系统测试模型验证的度量建议

2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY) Pub Date : 2013-11-14 DOI:10.1109/SISY.2013.6662548

L. Spendla, P. Tanuška, Lukas Smolarik

{"title":"安全关键系统测试模型验证的度量建议","authors":"L. Spendla, P. Tanuška, Lukas Smolarik","doi":"10.1109/SISY.2013.6662548","DOIUrl":null,"url":null,"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.","PeriodicalId":187088,"journal":{"name":"2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Metric proposal for system testing models verification for safety critical systems\",\"authors\":\"L. Spendla, P. Tanuška, Lukas Smolarik\",\"doi\":\"10.1109/SISY.2013.6662548\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":187088,\"journal\":{\"name\":\"2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY)\",\"volume\":\"20 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-11-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SISY.2013.6662548\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SISY.2013.6662548","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

本文的主要目标是验证安全关键系统的系统测试模型。建议的重点是选择适当的度量来验证这些模型。建议的度量基于软件系统的标准度量，并根据ISO 9126标准定义。我们的建议捕获了度量定义的过程，并演示了所建议的度量在性能测试模型上的可用性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Metric proposal for system testing models verification for safety critical systems

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 IEEE 11th International Symposium on Intelligent Systems and Informatics (SISY)

自引率

0.00%

发文量