{"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}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
