Specification-Driven Test Generation for Model Transformations

摘要: Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and specification oracle functions. Most approaches to ensure a certain level source meta-model coverage, whereas functions are frequently defined using query or graph languages. Both tasks usually performed independently regardless their common purpose, sometimes there is gap between properties exhibited by generated those demanded (as given oracles). Recently, we proposed formal language for declarative formulation transformation (invariants, pre- postconditions) from which partial that facilitate testing transformations. Here extend usage our automated constraint solving. The process becomes more intentional because coverage interesting transformation. Moreover, use same consistently derive both