Programanalys har varit ett rikt och fruktbart forskningsområde under många decennier, och otaliga högkvalitativa programanalysverktyg har producerats av akademin. Även om det finns några välkända exempel på verktyg som har funnit sin väg till rutinmässig användning av praktiker, är en gemensam utmaning för forskare att veta hur man uppnår bred och varaktig användning av sina verktyg. I ett försök att förstå vad som gör en programanalysator mest attraktiv för utvecklare, monterade vi en multi-metod undersökning på Microsoft. Genom intervjuer och undersökningar av utvecklare samt analys av feldata ger vi insikt och svar på fyra forskningsfrågor på hög nivå som kan hjälpa forskare att designa programanalysatorer som uppfyller behoven hos programvaruutvecklare. För det första undersöker vi vilka hinder som hindrar antagandet av programanalysatorer, precis som dåligt uttryckta varningsmeddelanden. För det andra kastar vi ljus över vad funktionsutvecklare vill ha av analysatorer, inklusive de typer av kodfrågor som utvecklarna bryr sig om. Därefter svarar vi vilka icke-funktionella egenskaper en analysator ska behöva användas i stor utsträckning, hur analysatorn ska passa in i utvecklingsprocessen och hur dess resultat ska rapporteras. Slutligen undersöker vi brister i en av Microsofts flaggskeppsprogramtjänster, för att förstå vilka typer av kodfrågor som är viktigast för att minimera, potentiellt genom programanalys.
Christakis och Bird REF genomförde en empirisk studie som kombinerade intervjuer och undersökningar för att undersöka behoven hos utvecklare från statisk analys.
What developers want and need from program analysis: an empirical study
{'venue': 'ASE 2016', 'journal': None, 'mag_field_of_study': ['Computer Science']}