首页    期刊浏览 2024年11月06日 星期三
登录注册

文章基本信息

  • 标题:Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)
  • 本地全文:下载
  • 作者:Narges Khakpour ; Mohammad Reza Mousavi
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2015
  • 卷号:42
  • 页码:18-40
  • DOI:10.4230/LIPIcs.CONCUR.2015.18
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We review and compare three notions of conformance testing for cyber-physical systems. We begin with a review of their underlying semantic models and present conformance-preserving translations between them. We identify the differences in the underlying semantic models and the various design decisions that lead to these substantially different notions of conformance testing. Learning from this exercise, we reflect upon the challenges in designing an "ideal" notion of conformance for cyber-physical systems and sketch a roadmap of future research in this domain.
  • 关键词:Cyber-physical systems; hybrid systems; conformance testing; model-based testing; behavioral pre-orders; hybrid input-output conformance testing; (tau
国家哲学社会科学文献中心版权所有