AI-First-Entwicklung, Coding-Leitplanken und die Architektur der Entsorgbarkeit erkunden.
Type-Aliase erzeugen in TypeScript keine eigenständigen Typen. Branded Types hingegen schon, und sie können dich davor bewahren, Identifier zur Compile-Zeit zu verwechseln.
Im letzten Quartal haben wir einen Bug ausgeliefert, der den falschen Kunden erstattet hat. Eine -Funktion erhielt eine User-ID an einer Stelle, die eine…
Differential Testing hilft dir, Bugs zu finden, ohne die korrekte Antwort zu kennen. Das Problem ist, dass korrelierte Fehler wie Übereinstimmung aussehen. So entdeckst du die blinden Flecken.
Du kannst Differential Testing ohne formalen Beweis vertrauen, aber nur, wenn du genau verstehst, wo es zusammenbricht. Die Schwäche heißt Common-Mode Failure.…
N-version programming setzt voraus, dass deine Implementierungen �bereinstimmen. Wir zeigen, warum Tests nicht ausreichen, wie SMT solver tats�chlich �quivalenz beweisen k�nnen, und wo man die Grenze zwischen gut genug und formal verifiziert zieht.
Du hast ein n-version-System gebaut. Drei unabh�ngige Implementierungen derselben kritischen Funktion, ein Voter, der das Mehrheitsergebnis w�hlt, und ein…
Die parallele Ausführung mehrerer LLMs deckt Fehler auf, die jedes einzelne Modell selbstbewusst ausliefert. So baut man ein Disagreement-Resolution-System, das tatsächlich funktioniert.
Du schickst einen Prompt an GPT-4o. Es liefert einen JSON-Blob mit einer Confidence von 0,97 zurück. Du schickst denselben Prompt an Claude 3.5 Sonnet. Es…
N-version Programming klingt einfach: mehrere Implementierungen laufen lassen und die beste Antwort wählen. In der Praxis ist 'beste' viel schwerer zu definieren als 'am häufigsten'.
Du hast fünf Implementierungen derselben Funktion. Drei liefern dasselbe Ergebnis. Eine weicht leicht ab. Eine wirft eine Exception. Welche ist richtig? Die…
N-Version-Programming mit LLMs erfordert keine mehreren Modelle. Du kannst vielfältige, korrekte Implementierungen aus einem einzigen Modell extrahieren, indem du Prompts, Personas und Reasoning-Constraints variierst.
N-Version-Programming geht davon aus, dass Vielfalt von unterschiedlichen Autoren kommt. Bei LLMs bedeutet das: verschiedene Modelle, verschiedene Anbieter,…
N-Version Programming versprach, dass unabhängige Teams unabhängige Fehler machen würden. Das Experiment von Knight und Leveson aus dem Jahr 1986 bewies das Gegenteil, und NASA zog sich stillschweigend zurück.
Anfang der 1980er Jahre stand NASA vor einer Frage, die die sicherheitskritische Entwicklung bis heute verfolgt: Wie toleriert man Bugs, die man noch nicht…
Cucumbers 'skipped'-Status verbirgt drei völlig unterschiedliche Probleme. Hier erfahren Sie, wie Sie diagnosestellen, welches Ihre Test-Suite auffrisst, und wie Sie es stoppen.
Die Hälfte Ihrer Cucumber-Szenarien wird übersprungen. Nicht fehlgeschlagen. Übersprungen. Dieser gelbe Status ist schlimmer als ein roter Build. Er lässt Ihre…
Gherkin-Specs geraten aus dem Takt, sobald du darauf vertraust, dass Menschen sie manuell aktualisieren. So automatisierst du die Prüfungen, die Feature-Files ehrlich halten.
Deine Gherkin-Specs lügen dich an. Nicht mit Absicht. Sie waren anfangs treu. Aber sechs Sprints später hat jemand den Checkout-Flow refactored und vergessen,…
Die meisten Teams dokumentieren Architektur-Regeln in Wikis. So schreibst du sie als ausführbare Tests, die den CI-Build fehlschlagen lassen, wenn dein Dependency-Graph abdriftet.
Deine Test-Suite verifiziert, dass bei korrekter Eingabe 42 zurückgibt. Sie verifiziert nicht, ob importieren darf. Der Compiler ist mit beidem zufrieden.…