design-by-contract

3 posts

Der AI Safety Stack: Types, Contracts, Property Tests und Mutation Gates

Wenn AI-generated code in Produktion bestehen soll, reicht Code Review nicht. Du brauchst einen gestuften Safety Stack von Type Constraints bis Mutation Testing und Runtime Containment.

Das Gefährliche an AI-generated code ist nicht, dass er immer falsch ist. Das Gefährliche ist, dass er oft gerade gut genug aussieht, um gemergt zu werden.…

Warum große Engineering-Ideen Nische blieben, bis AI sie wirtschaftlich machte

Design by contract, property-based testing, mutation testing und model checking waren keine schlechten Ideen. Sie verlangten zu viel Fachwissen, um sie dauerhaft zu tragen. AI verändert diese Gleichung.

Software Engineering ist voll von Ideen, die im Moment des Lesens sofort richtig wirken. Natürlich sollten Contracts definieren, was eine Funktion annehmen und…