Grafiska användargränssnitt (GUI) är viktiga komponenter i dagens programvara. Eftersom grafiska gränssnitt har andra egenskaper än traditionell programvara, konventionella testtekniker inte gäller för grafiska gränssnitt programvara. I tidigare arbete presenterade vi en metod för att generera GUI-testfall, som tar formen av sekvenser av åtgärder. I detta papper utvecklar vi en test oracle teknik för att avgöra om ett grafiskt gränssnitt beter sig som förväntat för ett givet test fall. Vårt orakel använder en formell modell av ett grafiskt gränssnitt, uttryckt som uppsättningar av objekt, objektegenskaper och handlingar. Med tanke på den formella modellen och ett testfall får vårt orakel automatiskt det förväntade tillståndet för varje åtgärd i testfallet. Vi representerar det faktiska tillståndet för ett verkställande grafiskt gränssnitt när det gäller objekt och deras egenskaper som härrör från det grafiska gränssnittets utförande. Med hjälp av det faktiska tillstånd som förvärvats från en exekveringsövervakare, jämför vårt oraklet automatiskt de förväntade och faktiska tillstånden efter varje åtgärd för att verifiera riktigheten av det grafiska gränssnittet för testfallet. Vi implementerade oraklet som en komponent i vårt GUI testsystem, som kallas Planning Assisted Tester för grapHical user interface.Systems (PATHS), som bygger på AI planering. Vi experimentellt utvärderat praktiskheten och effektiviteten av vår orakle teknik och rapportera om resultaten av experiment för att testa och verifiera beteendet hos vår version av Microsoft WordPad's GUI.
Memon m.fl. REF använder en testspecifikation för interna objektinteraktioner som ett sätt att upptäcka inkonsekvenser mellan testspecifikationen och den resulterande händelsesekvensen för varje testfall.
Automated test oracles for GUIs
{'venue': "SIGSOFT '00/FSE-8", 'journal': None, 'mag_field_of_study': ['Computer Science']}