Abstract-Code kommentarer är viktiga artefakter i programvara. Javadocs kommentarer används ofta i Java för API-specifikationer. API-utvecklare skriver Javadoc-kommentarer, och API-användare läser dessa kommentarer för att förstå API:et, t.ex. läsa en Javadoc-kommentar för en metod istället för att läsa metodkroppen. En inkonsekvens mellan Javadoc-kommentaren och kroppen för en metod indikerar antingen ett fel i kroppen eller, effektivt, ett fel i kommentaren som kan vilseleda metodväljarna att införa fel i deras kod. Vi presenterar en ny metod, kallad @TCOMMENT, för att testa Javadoc kommentarer, särskilt metod egenskaper om null värden och relaterade undantag. Vår strategi består av två komponenter. Den första komponenten tar som indata källfiler för ett Java-projekt och analyserar automatiskt den engelska texten i Javadoc kommentarer för att härleda en uppsättning sannolika egenskaper för en metod i filerna. Den andra komponenten genererar slumpmässiga tester för dessa metoder, kontrollerar de erhållna egenskaperna och rapporterar inkonsekvenser. Vi utvärderade @TCOMMENT på sju open-source projekt och fann 29 inkonsekvenser mellan Javadoc kommentarer och metod organ. Vi rapporterade 16 av dessa inkonsekvenser, och 5 har redan bekräftats och fastställts av utvecklarna.
I ett andra steg, de genererar slumpmässiga tester för dessa metoder för att jämföra dem mot de inferred egenskaper och därmed kontrollera inkonsekvenser REF.
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies
{'venue': '2012 IEEE Fifth International Conference on Software Testing, Verification and Validation', 'journal': '2012 IEEE Fifth International Conference on Software Testing, Verification and Validation', 'mag_field_of_study': ['Computer Science']}