Analysmetoder för användbarhet har föreslagits som ett alternativ till användartester i tidiga utvecklingsfaser på grund av kostnaden för det senare tillvägagångssättet. Genom att arbeta med modeller av systemen kan analytiska modeller inte identifiera genomföranderelaterade problem som kan påverka användbarheten. Modellbaserad testning gör det möjligt att testa en implementerad programvaruartefakt mot en modell av vad den ska vara (oraklet). Vid testning av modellbaserade användargränssnitt bör modellerna uttryckas på en lämplig abstraktionsnivå, och interaktionsprocessen bör modelleras på lämpligt sätt. I detta dokument beskrivs en insats för att utveckla verktygsstöd som gör det möjligt att använda uppgiftsmodeller som orakler för modellbaserad testning av användargränssnitt.
Silva m.fl. REF presenterade en lösning för att automatisera oraklets testning genom att anta uppgiftsmodellerna som oraklet.
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}