Testmodellernas omvandlingar innebär flera utmaningar, bland annat automatisk generering av lämpliga indatatestmodeller och specificering av orakelfunktioner. De flesta metoder för generering av indatamodeller säkerställer en viss nivå av källmetamodellernas täckning, medan oraklets funktioner ofta definieras med hjälp av fråge- eller grafspråk. Båda uppgifterna utförs vanligtvis oberoende av deras gemensamma syfte, och ibland finns det ett gap mellan de egenskaper som visas av de genererade inmatningsmodellerna och de som krävs för omvandlingarna (som ges av oraklerna). Nyligen föreslog vi ett formellt specificeringsspråk för den deklarativa formuleringen av transformationsegenskaper (invarianter, pre- och postvillkor) från vilka vi genererade partiella orakelfunktioner som underlättar testning av transformationer. Här utökar vi användningen av vårt specifikationsspråk för automatisk generering av indatatestmodeller genom begränsningslösning. Testprocessen blir mer avsiktlig eftersom de genererade modellerna säkerställer en viss täckning av de intressanta egenskaperna i omvandlingen. Dessutom använder vi samma specifikation för att konsekvent härleda både indatatestmodellerna och orakelfunktionerna.
I tidigare arbete REF föreslog vi ett deklarativt språk för specificering av visuella kontrakt för att definiera pre- och postvillkor samt invarianter för modellomvandlingar.
Specification-Driven test generation for model transformations
{'venue': 'ICMT', 'journal': None, 'mag_field_of_study': ['Computer Science']}