使用CAEX对过程控制应用的基于功能模型的测试进行工业评估

J. Peltola, S. Sierla, Pekka Aarnio, K. Koskinen
{"title":"使用CAEX对过程控制应用的基于功能模型的测试进行工业评估","authors":"J. Peltola, S. Sierla, Pekka Aarnio, K. Koskinen","doi":"10.1109/ETFA.2013.6647997","DOIUrl":null,"url":null,"abstract":"Model-Based Testing (MBT) is expected to increase test coverage and reduce the development and maintenance effort of test suites. However, MBT approaches require source information such as UML diagrams that are not produced by many companies in the industrial automation domain. This paper investigates the possibility of using IEC 62424 and CAEX to facilitate MBT state machine model building with source information specific to the industrial automation domain. An experiment and industry feedback demonstrated a capability for discovering challenging faults, but also, that the modelling effort needs to be reduced for feasibility. First steps for generating MBT models from CAEX design information are presented in this paper.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"183 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Industrial evaluation of functional Model-Based Testing for process control applications using CAEX\",\"authors\":\"J. Peltola, S. Sierla, Pekka Aarnio, K. Koskinen\",\"doi\":\"10.1109/ETFA.2013.6647997\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Model-Based Testing (MBT) is expected to increase test coverage and reduce the development and maintenance effort of test suites. However, MBT approaches require source information such as UML diagrams that are not produced by many companies in the industrial automation domain. This paper investigates the possibility of using IEC 62424 and CAEX to facilitate MBT state machine model building with source information specific to the industrial automation domain. An experiment and industry feedback demonstrated a capability for discovering challenging faults, but also, that the modelling effort needs to be reduced for feasibility. First steps for generating MBT models from CAEX design information are presented in this paper.\",\"PeriodicalId\":106678,\"journal\":{\"name\":\"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)\",\"volume\":\"183 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-10-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ETFA.2013.6647997\",\"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 18th Conference on Emerging Technologies & Factory Automation (ETFA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.2013.6647997","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 13

摘要

基于模型的测试(MBT)有望增加测试覆盖率,减少测试套件的开发和维护工作。然而,MBT方法需要诸如UML图之类的源信息,这些信息不是由工业自动化领域中的许多公司生成的。本文研究了使用IEC 62424和CAEX来促进MBT状态机模型构建的可能性,该模型具有特定于工业自动化领域的源信息。实验和行业反馈证明了发现具有挑战性的故障的能力,但同时,为了可行性,需要减少建模工作。本文介绍了从CAEX设计信息中生成MBT模型的第一步。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Industrial evaluation of functional Model-Based Testing for process control applications using CAEX
Model-Based Testing (MBT) is expected to increase test coverage and reduce the development and maintenance effort of test suites. However, MBT approaches require source information such as UML diagrams that are not produced by many companies in the industrial automation domain. This paper investigates the possibility of using IEC 62424 and CAEX to facilitate MBT state machine model building with source information specific to the industrial automation domain. An experiment and industry feedback demonstrated a capability for discovering challenging faults, but also, that the modelling effort needs to be reduced for feasibility. First steps for generating MBT models from CAEX design information are presented in this paper.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信