8 posts
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.
Ihre Test-Suite hat 94 % Abdeckung und null Fehler. Eine Symbolische-Ausführungs-Engine findet einen Crash in Ihrem Code in unter drei Sekunden. Der Test ist…
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…
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.
Du hast zwölf metamorphische Relations für deine Preisberechnungsengine geschrieben. Jeder Test besteht. Du fühlst dich gut abgedeckt. Dann meldet ein Kunde,…
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.
Du lieferst ein Machine-Learning-Modell aus, das Support-Tickets labelt. Deine Test-Suite ist grün. Jeder Test hat bestanden. Keiner dieser Tests prüft…
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.
Ihre Docs, Tests und Code sind drei Dateien, die dieselbe Geschichte schlecht erzählen. Sie aktualisieren die Funktionssignatur im Source. Sie vergessen das…
Warum Model Checking Tage produktiver Laufzeit für das Finden von Concurrency-Bugs schlägt, und wie du es auf deinen eigenen Code anwendest.
Darauf zu warten, dass Race Conditions in der Produktion auftauchen, ist kein Testen. Es ist Hoffnung, die als Fleiß verkleidet ist. Du kannst deine App…
Gemockte Datenbank-Tests prüfen deine SQL-Syntax, nicht ob Zeilen Crashes, parallele Writes oder Schema-Mismatches überleben. So testest du Persistence wirklich.
Wenn du deine Datenbank in Tests mockst, testest du, dass dein Repository-Layer die richtigen Methoden aufruft. Du testest nicht, ob Daten einen Crash…
Jede Redux-Action zu mocken verwandelt deine Tests in einen Changelog-Validator. So testest du deinen Store stattdessen mit echten State-Transitions.
Wenn du jemals einen Test geschrieben hast, der prüft, ob mit der exakten Payload-Form aufgerufen wurde, hast du einen Test geschrieben, der jedes Mal kaputt…