Abstract-Embended påståenden har erkänts som ett potentiellt kraftfullt verktyg för automatisk körtid upptäckt av programvarufel under felsökning, testning, underhåll och även produktionsversioner av programvarusystem. Trots den stora rikedomen i noterna och mognaden hos de tekniker och verktyg som har utvecklats för programmering med påståenden, är påståenden ett utvecklingsverktyg som har sett föga utbredd användning i praktiken. De främsta anledningarna verkar vara att (1) tidigare påstående bearbetning verktyg inte enkelt integreras med befintliga programmeringsmiljöer, och (2) det är inte väl förstått vilka typer av påståenden är mest effektiva för att upptäcka programfel. I detta dokument beskrivs erfarenheterna med hjälp av ett verktyg för att behandla påståenden som har byggts upp för att ta itu med problemen med användarvänlighet och effektivitet. Verktyget kallas APP, en Notation Precessor för C-program som utvecklats i UNIX-baserade utvecklingsmiljöer. APP har använts i utvecklingen av en mängd olika mjukvarusystem under de senaste fem åren. På grundval av denna erfarenhet presenterar tidningen en klassificering av de påståenden som var mest effektiva när det gällde att upptäcka fel. Medan de påståenden som beskrivs vakta mot många vanliga typer av fel och fel, mycket allmängiltigheten av sådana fel visar behovet av en explicit, hög nivå, automatiskt kontrollerbar specifikation av erforderligt beteende. Man hoppas att den klassificering som presenteras i detta dokument kommer att visa sig vara ett användbart första steg i utvecklingen av en metod för programmering med påståenden.
Användningen av runtime påståenden i mjukvaruutveckling är inte ny. REF presenterar en anteckningsförbehandlare för C, namngiven APP, och diskuterar en klassificering av påståenden.
A practical approach to programming with assertions
{'venue': 'IEEE Transactions on Software Engineering', 'journal': None, 'mag_field_of_study': ['Computer Science']}