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

文章基本信息

  • 标题:Gray Box Coverage Criteria for Testing Graph Pattern Matching
  • 本地全文:下载
  • 作者:Martin Wieber ; Andy Schürr
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2012
  • 卷号:54
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:Model transformations (MT) are a core building block of Model-Driven Engineering. The quality of MT specifications and implementations is vital to their success. The well-researched formal underpinning of graph transformation (GT) theory allows for proving quality-relevant properties and enables stringent implementations. Yet, in practice, MT implementations often depend on verification/validation techniques based on dynamic testing. This work presents a new gray box coverage approach for systematic testing of GT-based MT implementations and pattern specifications. The approach uses GT specifics and enforces systematic testing by examining variable binding and unbinding steps, thereby not making further assumptions about the underlying pattern matching algorithm. A family of coverage criteria is defined as temporal logic (LTL) formulae, and the effectiveness of concrete criteria in limiting the testing effort is examined by an example.
国家哲学社会科学文献中心版权所有