Detta arbete utvecklar en statisk analys för att skapa en modell av beteendet hos en Android-applikations GUI. Vi föreslår fönster övergångsdiagram (WTG), en modell som representerar de möjliga GUI fönstersekvenser och deras tillhörande händelser och callbacks. En viktig komponent och bidrag av vårt arbete är en noggrann modellering av stacken av för närvarande aktiva fönster, förändringar i denna stack, och effekterna av callbacks relaterade till dessa förändringar. Såvitt vi vet är detta den första detaljerade studien av denna viktiga statiska analys problem för Android. Vi utvecklar nya analysalgoritmer för WTG konstruktion och traversal, baserat på denna modellering av fönsterstacken. Vi föreslår även förlängningar av WTG för att hantera vissa aspekter av asynkront kontrollflöde. Vi beskriver en tillämpning av WTG för GUI-testgenerering, med hjälp av bana traversals. Utvärderingen av de föreslagna algoritmerna visar att de är effektiva och praktiska.
S. Yang m.fl. REF gav en liknande modell som heter Window Transition Graph (WTG), med en mer exakt statisk callback analys, det ger mer försiktig modell av för närvarande aktiva fönster stack och fönster övergång.
Static window transition graphs for Android
{'venue': 'Automated Software Engineering', 'journal': 'Automated Software Engineering', 'mag_field_of_study': ['Computer Science']}