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.