Abstract-Actor program är samtidiga program där samtidiga enheter kommunicerar asynkront genom att utbyta meddelanden. Testa skådespelare program är utmanande eftersom ordningen på meddelandet tar emot beror på den icke-deterministiska schemaläggaren och eftersom utforska alla scheman inte skala till stora program. Denna uppsats presenterar Bita, en skalbar, automatisk metod för att testa icke-deterministiskt beteende av skådespelare program. Den viktigaste idén är att generera och utforska scheman som sannolikt kommer att avslöja konvergens buggar eftersom dessa scheman ökar schema täckning. Vi presenterar tre schema täckningskriterier för skådespelare program, en algoritm för att generera genomförbara scheman som ökar täckningen, och en teknik för att tvinga ett program att följa ett schema. Tillämpa Bita på verkliga skådespelare program som genomförs i Scala avslöjar åtta tidigare okända konvergens buggar, varav sex redan har rättats av utvecklarna. Dessutom visar vi vår strategi för att hitta buggar 122x snabbare än slumpmässig schemaläggning, i genomsnitt.
Vi börjar med att nämna Bita, ett testverktyg för skådespelare program som genomförs inom Akka ramverk i Scala REF.
Bita: Coverage-guided, automatic testing of actor programs
{'venue': '2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)', 'journal': '2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)', 'mag_field_of_study': ['Computer Science']}