AI-First-Entwicklung, Coding-Leitplanken und die Architektur der Entsorgbarkeit erkunden.
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.
Du musst eine Funktion testen, bei der die korrekte Ausgabe im Voraus unmöglich zu kennen ist. Ein Routenoptimierer. Ein Sentiment-Classifier. Eine…
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…
Wie du Phantom Types und `this`-Parameter verwendest, um illegale protocol transitions in Compile-Time-Fehler statt Runtime-Bugs zu verwandeln.
In jedem API-Client steckt eine state machine. Zuerst der Handshake. Zweitens die Authentifizierung. Drittens die Datenübertragung. Zum Schluss das Schließen.…
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.
OpenAPI-Spezifikationen sagen dir, wie eine gültige Anfrage aussieht und wie eine gültige Antwort aussieht. Sie sagen dir nicht, ob du vor aufrufen darfst,…
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 wurden 1993 erfunden. Dreißig Jahre später validieren die meisten vernetzten Services den protocol state immer noch mit handgeschriebenen…
Session Types kodieren Kommunikationsprotokolle im Typsystem und verwandeln Message-Passing-Mismatches in Compiler-Fehler, bevor der Code jemals läuft.
Deadlocks sollten ein Runtime-Problem sein. Das ist es, was sie so ärgerlich macht. Ihr Code kompiliert sauber, Ihre Tests passieren, und dann verkeilt er sich…
Wie man formale statische Analyse in der CI-Pipeline mit Infer betreibt, mit funktionierenden Configs und realistischen Trade-offs.
Abstract interpretation ist die Art von Begriff, der Ingenieure dazu bringt, den Tab zu schließen. Es klingt, als würde man ein Semester Gittertheorie…
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.
Ihr Static Analyzer hat gerade 847 Warnings an einem Freitagnachmittag ausgegeben. Sie wissen statistisch, dass irgendwo zwischen 5% und 15% davon echte Bugs…
Wie Facebook abstract interpretation und intentionale Unsoundness nutzte, um Race Conditions in Millionen Zeilen Android-Code im großen Maßstab zu finden.
Facebooks Android-App hatte ein Performance-Problem. Der UI-Thread ertrank in Arbeit, aber Code auf Background-Threads zu verschieben bedeutete Race…