Automatiserad Verifiering av Grafiska Ritare och Tranformationsutvinning
En grafisk ritare i flygande system måste under dess utveckling verifieras för
att bekräfta att den fungerar. Då bilderna som ritas inte behöver vara
identiska mot referensbilder genererade av en fungerande ritare så ställer det
krav på verifieringsprocessen att kunna acceptera en viss grad av "fel". Att
automatisera den processen är i högsta grad intressant för att minska
kostnaden. Uppsatsen presenterar en samling lösningar på delproblem som kan
uppstå, däribland ett sätt att utvinna eventuell transformation mellan två
bilder.