使用uppal - tron测试实时嵌入式软件:一个工业案例研究

Proceedings of the 5th ACM international conference on Embedded software Pub Date : 2005-09-18 DOI:10.1145/1086228.1086283

K. Larsen, Marius Mikucionis, B. Nielsen, A. Skou

{"title":"使用uppal - tron测试实时嵌入式软件:一个工业案例研究","authors":"K. Larsen, Marius Mikucionis, B. Nielsen, A. Skou","doi":"10.1145/1086228.1086283","DOIUrl":null,"url":null,"abstract":"UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences in applying our tool and technique on an industrial case study. We conclude that the tool and technique is applicable to practical systems, and that it has promising error detection potential and execution performance.","PeriodicalId":284648,"journal":{"name":"Proceedings of the 5th ACM international conference on Embedded software","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"179","resultStr":"{\"title\":\"Testing real-time embedded software using UPPAAL-TRON: an industrial case study\",\"authors\":\"K. Larsen, Marius Mikucionis, B. Nielsen, A. Skou\",\"doi\":\"10.1145/1086228.1086283\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences in applying our tool and technique on an industrial case study. We conclude that the tool and technique is applicable to practical systems, and that it has promising error detection potential and execution performance.\",\"PeriodicalId\":284648,\"journal\":{\"name\":\"Proceedings of the 5th ACM international conference on Embedded software\",\"volume\":\"33 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"179\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 5th ACM international conference on Embedded software\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/1086228.1086283\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 5th ACM international conference on Embedded software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1086228.1086283","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 179

摘要

UPPAAL-TRON是一种基于模型的实时嵌入式系统(定时自动机)在线黑盒一致性测试工具。在本文中，我们介绍了我们在一个工业案例研究中应用我们的工具和技术的经验。我们的结论是，该工具和技术适用于实际系统，并且具有良好的错误检测潜力和执行性能。

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

查看原文本刊更多论文

Testing real-time embedded software using UPPAAL-TRON: an industrial case study

UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences in applying our tool and technique on an industrial case study. We conclude that the tool and technique is applicable to practical systems, and that it has promising error detection potential and execution performance.

求助全文

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

来源期刊

Proceedings of the 5th ACM international conference on Embedded software

自引率

0.00%

发文量