Ideen & Einblicke · Seite 8

AI-First-Entwicklung, Coding-Leitplanken und die Architektur der Entsorgbarkeit erkunden.

16. Juni 2026

TypeScript akzeptierte eine User-ID dort, wo eine Order-ID hingehört

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.

15. Juni 2026

Differential Testing funktioniert ohne formalen Beweis, aber Common-Mode Failures sind der Haken

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.

n-version-programming differential-testing formal-methods trust

14. Juni 2026

Tests beweisen nicht, dass zwei Funktionen �quivalent sind. Das hier schon.

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.

n-version-programming equivalence-testing formal-methods verification

13. Juni 2026

Was ist, wenn meine LLM-Varianten uneins sind? Welche hat recht?

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.

n-version-programming llm differential-testing disagreement-resolution

12. Juni 2026

Fünf Implementierungen und keine Mehrheit: Wie man tatsächlich die beste wählt

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'.

n-version-programming implementation-selection differential-testing ai-engineering

11. Juni 2026

Das gleiche LLM kann fünf Versionen deiner Funktion schreiben. So machst du sie wirklich unterschiedlich.

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 llm diverse-implementations ai-engineering

10. Juni 2026

NASA ließ 27 Kopien desselben Programms laufen. Die Bugs stimmten als Block ab.

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.

n-version-programming nasa fault-tolerance software-history

9. Juni 2026

Die Hälfte Ihrer Cucumber-Szenarien wird übersprungen. Hier ist der Grund, warum dieser Status Sie anlügt.

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.

deep-dives cucumber bdd test-maintenance

8. Juni 2026

Deine Gherkin-Specs lügen dich an

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.

deep-dives gherkin bdd living-documentation

7. Juni 2026

Dein Compiler prüft die Syntax. Deine Tests sollten die Architektur prüfen.

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.

deep-dives architecture-testing clean-architecture ci-cd