case-study

2 posts

metamorphic-testingcase-studyproduction-bugstesting

Metamorphic Testing fand 147 Compiler-Bugs und einen Defekt in einem selbstfahrenden Auto. So funktioniert es.

Metamorphic Testing hat echte Bugs in GCC, LLVM, Vulkan-Shader-Compilern und ADAS-Simulatoren aufgedeckt. Dieser Artikel erklärt die Technik mit lauffähigem Code und zeigt, wo sie in Ihre Test-Suite passt.

Metamorphic Testing hat 147 bestätigte Bugs in GCC und LLVM gefunden, Defekte in kommerziellen ADAS-Simulatoren, die von Automobil-OEMs genutzt werden, sowie…
cleanroom-correctnesszero-defectsverificationcase-study

Hat tatsächlich jemand 10.000 Zeilen mit null Defekten verifiziert? IBM hat es getan, und die Methodik ist seltsamer als das Ergebnis.

Cleanroom software engineering versprach inkrementelle Zero-Defect-Releases durch mathematical verification statt Debugging. Wir betrachten die tatsächlichen IBM-Projektdaten, um zu sehen, ob die Behauptung standhielt.

Der Branchendurchschnitt der Softwareindustrie in den 1980er Jahren lag bei 30 bis 60 Defekten pro tausend Codezeilen. Das IBM Cleanroom-Team lieferte einen…