Abstract-Detta bidrag föreslår en ny teknik för att utveckla testfall för UML och OCL modeller. Tekniken bygger på en metod som automatiskt konstruerar objektmodeller för klassmodeller berikade av OCL-begränsningar. Genom att styra konstruktionsprocessen genom så kallade klassificeringstermer klassificeras de inbyggda testfallen i form av objektmodeller i ekvivalensklasser. En klassificeringsterm kan vara ett godtyckligt OCL-term på klassmodellen som för en objektmodell beräknar ett karakteristiskt värde. Från varje likvärdighetsklass av objektmodeller med identiska karakteristiska värden väljs en representant. De konstruerade testfallen beter sig betydligt annorlunda med avseende på den valda klassificeringsbegreppet. Genom att bygga få olika objektmodeller kan egenskaper hos UML och OCL-modellen utforskas på ett effektivt sätt. Tekniken tillämpas för att automatiskt konstruera relevanta testfall för källmodeller för modellomvandlingar mellan en källa och en metamodell.
I arbetet REF föreslås en teknik för utveckling av testfall för UML- och OCL-modeller.
Employing classifying terms for testing model transformations
{'venue': '2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)', 'journal': '2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)', 'mag_field_of_study': ['Computer Science']}