I denna rapport presenteras de första resultaten inom området programvarutestning och analys som tagits fram som en del av Software Engineering Impact Project. Rapporten beskriver den historiska utvecklingen av kontroll av påståenden i drift, inklusive en beskrivning av ursprunget till och väsentliga egenskaper i samband med kontrollmekanismer för påståenden, och de första rönen om den nuvarande industriella användningen. En framtida rapport kommer att ge en mer omfattande bedömning av utvecklingspraxis, för vilken vi inbjuder läsare av denna rapport att bidra med information.
i Clarke och Rosenblum rapporterade den historiska utvecklingen av runtime påstående kontroll och beskrev hur det har använts i vissa branscher som rapporterats i ett antal publikationer REF.
A historical perspective on runtime assertion checking in software development
{'venue': 'SOEN', 'journal': None, 'mag_field_of_study': ['Computer Science']}