4 posts
Die Standardanzahl von 100 Beispielen beim Property-Based Testing ist ein sozialer Kompromiss, keine statistische Strategie. So wählst du eine Anzahl an Läufen, die deinem Vertrauensbedürfnis und deinem CI-Budget entspricht.
Wenn du Property-Based Tests mit den Standard-100 Beispielen ausführst, bekommst du das Schlechteste aus beiden Welten. Deine CI ist langsamer als nötig, und…
Beispielbasiertes Testing deckt nur die Inputs ab, an die du gedacht hast. Property-Based Testing generiert zufällige Daten, prüft Invarianten und reduziert Fehler auf minimale Gegenbeispiele.
Du hast eine -Funktion geschrieben. Du hast sie mit und getestet. Sie besteht. Du veröffentlichst sie. Ein Nutzer übergibt einen Slice mit einem einzigen…
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.…
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…