基于UPPAAL模型的汽车软件源代码测试

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering Pub Date : 2014-06-27 DOI:10.1109/ICSESS.2014.6933521

Yan Xuqin, Wang Lei, Chen Xiaobo, Li Yanqiang

{"title":"基于UPPAAL模型的汽车软件源代码测试","authors":"Yan Xuqin, Wang Lei, Chen Xiaobo, Li Yanqiang","doi":"10.1109/ICSESS.2014.6933521","DOIUrl":null,"url":null,"abstract":"Software plays a dominant role in modern automotive systems. The rapid increase of automotive software brings various challenges for automotive system development. To ensure the safety and reliability of automotive software systems, new methods, models and tools are used in the software development. In this paper, we propose an approach of source code testing for automotive software by use of the UPPAAL model. UPPAAL, as a model checker, has been applied successfully in real-time controllers. We extend the application fields of the UPPAAL model to code testing. If the inputs of software source code and its corresponding UPPAAL model are same, the correctness of the source code can be determined by comparing their output results.","PeriodicalId":91595,"journal":{"name":"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering","volume":"29 1","pages":"95-98"},"PeriodicalIF":0.0000,"publicationDate":"2014-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Source code testing for automotive software based on UPPAAL model\",\"authors\":\"Yan Xuqin, Wang Lei, Chen Xiaobo, Li Yanqiang\",\"doi\":\"10.1109/ICSESS.2014.6933521\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Software plays a dominant role in modern automotive systems. The rapid increase of automotive software brings various challenges for automotive system development. To ensure the safety and reliability of automotive software systems, new methods, models and tools are used in the software development. In this paper, we propose an approach of source code testing for automotive software by use of the UPPAAL model. UPPAAL, as a model checker, has been applied successfully in real-time controllers. We extend the application fields of the UPPAAL model to code testing. If the inputs of software source code and its corresponding UPPAAL model are same, the correctness of the source code can be determined by comparing their output results.\",\"PeriodicalId\":91595,\"journal\":{\"name\":\"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering\",\"volume\":\"29 1\",\"pages\":\"95-98\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings - International Conference on Software Engineering. International Conference on Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSESS.2014.6933521\",\"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 - International Conference on Software Engineering. International Conference on Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSESS.2014.6933521","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

软件在现代汽车系统中起着主导作用。汽车软件的快速增长给汽车系统的开发带来了各种挑战。为了保证汽车软件系统的安全性和可靠性，在软件开发中采用了新的方法、模型和工具。本文提出了一种利用UPPAAL模型对汽车软件进行源代码测试的方法。UPPAAL作为一种模型检查器，在实时控制器中得到了成功的应用。我们将UPPAAL模型的应用领域扩展到代码测试。如果软件源代码的输入与其对应的UPPAAL模型相同，则可以通过比较它们的输出结果来确定源代码的正确性。

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

查看原文本刊更多论文

Source code testing for automotive software based on UPPAAL model

Software plays a dominant role in modern automotive systems. The rapid increase of automotive software brings various challenges for automotive system development. To ensure the safety and reliability of automotive software systems, new methods, models and tools are used in the software development. In this paper, we propose an approach of source code testing for automotive software by use of the UPPAAL model. UPPAAL, as a model checker, has been applied successfully in real-time controllers. We extend the application fields of the UPPAAL model to code testing. If the inputs of software source code and its corresponding UPPAAL model are same, the correctness of the source code can be determined by comparing their output results.

求助全文

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

来源期刊

Proceedings - International Conference on Software Engineering. International Conference on Software Engineering

CiteScore

7.60

自引率

0.00%

发文量