testing

8 Artikel

23. Aug. 2026

Symbolische Ausführung hat einen Integer Overflow gefunden, den meine 94-%-Testabdeckung übersehen hat

Ihre Unit-Tests prüfen spezifische Eingaben. Symbolische Ausführung prüft jede mögliche Eingabe. So funktioniert es, was es kostet und wo Sie anfangen.

16. Aug. 2026

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 case-study production-bugs testing

14. Aug. 2026

Die meisten Metamorphic Relations sind nutzlos. So findest du die Guten.

Nicht alle Metamorphic Relations finden Bugs. Schwache Relations erwecken falsche Sicherheit, während starke echte Fehler aufdecken. So unterscheidest du sie und baust einen Satz an Relations, der wirklich funktioniert.

metamorphic-testing metamorphic-relations testing oracle-problem

13. Aug. 2026

Wie teste ich Code, wenn ich die richtige Antwort nicht kenne?

Metamorphic Testing erlaubt es dir, die Korrektheit von Code zu prüfen, ohne die exakte erwartete Ausgabe zu kennen. So funktioniert es, wann es an seine Grenzen stößt und wie du damit anfängst.

metamorphic-testing oracle-problem testing ml

20. Juli 2026

Ich habe aufgehört, Code in Docs zu kopieren, indem ich Tests, Code und Prosa in einer Markdown-Datei halte

Literate Programming hält Dokumentation, Tests und Implementierung synchron, indem eine Markdown-Datei zur single source of truth wird. So lässt es sich in dreißig Zeilen Python umsetzen.

literate-programming documentation testing single-source-of-truth

7. Juli 2026

Auf Race Conditions zu warten ist eine schreckliche Teststrategie

Warum Model Checking Tage produktiver Laufzeit für das Finden von Concurrency-Bugs schlägt, und wie du es auf deinen eigenen Code anwendest.

model-checking race-conditions concurrency testing

26. Mai 2026

Deine Unit-Tests sind grün, aber deine Daten verschwinden trotzdem

Gemockte Datenbank-Tests prüfen deine SQL-Syntax, nicht ob Zeilen Crashes, parallele Writes oder Schema-Mismatches überleben. So testest du Persistence wirklich.

deep-dives database testing persistence

25. Mai 2026

Redux testen, ohne in Mock-Actions zu ertrinken

Jede Redux-Action zu mocken verwandelt deine Tests in einen Changelog-Validator. So testest du deinen Store stattdessen mit echten State-Transitions.

deep-dives redux testing state-management