Vi presenterar SymJS, ett omfattande ramverk för automatisk testning av client-side JavaScript Web-applikationer. Verktyget innehåller en symbolisk exekvering motor för JavaScript, och en automatisk händelse Explorer för webbsidor. Utan några användarinterventioner kan SymJS automatiskt upptäcka och utforska webbhändelser, symboliskt köra tillhörande JavaScript-kod, förfina utförandet baserat på dynamiska återkopplingar och producera testfall med hög täckning. Den symboliska motorn innehåller en symbolisk virtuell maskin, en strängnumerisk lösare och en symbolisk körbar DOM-modell. SymJS innovationer inkluderar en ny symbolisk virtuell maskin för JavaScript Web, symbolisk+dynamisk feedback riktad händelserymd prospektering och dynamisk fläckanalys för att förbättra händelsesekvenskonstruktion. Vi illustrerar SymJS effektivitet på standard JavaScript-riktmärken och olika verkliga webbapplikationer. SymJS uppnår i genomsnitt över 90% linjetäckning för referensprogrammen, vilket avsevärt överträffar befintliga metoder.
Guodong m.fl. REF presenterar SymJS, ett symboliskt ramverk för både rena JavaScript- och klientsidans webbprogram.
SymJS: automatic symbolic testing of JavaScript web applications
{'venue': 'FSE 2014', 'journal': None, 'mag_field_of_study': ['Computer Science']}