Ideen & Einblicke · Seite 2

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

15. Aug. 2026

LLMs können Metamorphic Relations vorschlagen. Sie können sie nur nicht garantieren.

Große Sprachmodelle sind brauchbare Brainstorming-Partner für die Entdeckung von Test Oracles, halluzinieren aber Eigenschaften und übersehen Domänen-Einschränkungen. So verwendest du sie, ohne falsche Tests auszuliefern.

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

12. Aug. 2026

TypeScript lässt dich diesen Aufruf nicht machen: protocol states im Typsystem kodieren

Wie du Phantom Types und `this`-Parameter verwendest, um illegale protocol transitions in Compile-Time-Fehler statt Runtime-Bugs zu verwandeln.

session-types typescript protocol-state type-systems

11. Aug. 2026

OpenAPI gibt dir das Alphabet. Session Types brauchen die Grammatik.

OpenAPI-Spezifikationen beschreiben Request- und Response-Schemas, legen aber keine gültigen Nachrichtensequenzen fest. So extrahierst du, was geht – und wo du die Lücken noch selbst schließen musst.

session-types openapi protocol-specs api-design

10. Aug. 2026

Session Types funktionieren. Die meisten Sprachen wollten sie einfach nicht implementieren.

Session Types kodieren communication protocols im Typsystem und verwandeln runtime protocol errors in Compile-Time-Fehler. Hier ist, warum sie dreißig Jahre in Forschungspapieren verbrachten, bevor Produktivcode sie nutzen konnte.

session-types research adoption type-systems

9. Aug. 2026

Wie Session Types Deadlocks in Compiler-Fehler verwandeln

Session Types kodieren Kommunikationsprotokolle im Typsystem und verwandeln Message-Passing-Mismatches in Compiler-Fehler, bevor der Code jemals läuft.

session-types deadlocks compile-time protocols

8. Aug. 2026

Abstract interpretation klingt nach einem Doktorvoraussetzung. Ist es nicht mehr.

Wie man formale statische Analyse in der CI-Pipeline mit Infer betreibt, mit funktionierenden Configs und realistischen Trade-offs.

abstract-interpretation ci-cd static-analysis infer

7. Aug. 2026

LLMs können Ihre Static-Analysis-Warnings ordnen. Sie können nur nicht erklären, warum.

Large Language Models können beim Triage von False Positives in der statischen Analyse helfen, aber sie verstehen Programmsemantik nicht so wie Abstract Interpretation. So kombinieren Sie beides.

abstract-interpretation llm static-analysis false-positives

6. Aug. 2026

Facebook parallelisierte Android mit Abstract Interpretation. So funktioniert es.

Wie Facebook abstract interpretation und intentionale Unsoundness nutzte, um Race Conditions in Millionen Zeilen Android-Code im großen Maßstab zu finden.

abstract-interpretation concurrency android race-conditions