Abstrakt. Grafiska användargränssnitt (GUI) består av virtuella objekt, widgets, som svarar på händelser som utlöses av användarens åtgärder. Testingångar för grafiska gränssnitt är därför händelsesekvenser som efterliknar användarinteraktioner. Typen av dessa sekvenser och värdena för vissa widgets, såsom textboxar, orsakar en tvådimensionell kombinatoriell explosion. I detta dokument presenterar vi Barad, ett ramverk för GUI-testning som enhetligt behandlar händelseflöde och dataflöde i GUI-applikationer som genererar tester i form av händelsesekvenser och dataingångar. Barad hanterar den tvådimensionella kombinatoriska explosionen genom att beskära områden av händelsen och datainmatningsutrymme. För händelsesekvensgenerering anser vi endast händelser med registrerade händelselyssnare, vilket beskär regioner av händelsen ingångsutrymme. Vi introducerar symboliska widgets som gör att vi kan få en körbar symbolisk version av GUI. Genom att symboliskt utföra den kedja av lyssnare som registrerats för händelserna i en genererad händelsesekvens får vi dataingångar, vilket beskär regioner i datainmatningsutrymmet. Barad genererar färre tester och förbättrar gren- och uttalandetäckning jämfört med traditionella GUI-testtekniker.
Det tillvägagångssätt som presenteras i REF genererar testfall för GUI-tillämpningar med symboliskt utförande.
Event listener analysis and symbolic execution for testing gui applications
{'venue': 'In ICFEM’09', 'journal': None, 'mag_field_of_study': ['Computer Science']}