Property-Based-Tests für eine Frankfurter Zahlungs-Engine
Übersicht
Worum es bei diesem Projekt geht.
Sie erhalten den Quellcode der Beträge-Engine (TypeScript, ungefähr 4.200 Zeilen), die anonymisierten Post-Mortems der neun Vorfälle und die bestehende Test-Suite. Wählen Sie 8 bis 12 algebraische Eigenschaften aus (z. B. Kommutativität der Aggregation, Idempotenz bei Doppelbuchung, Invarianz bei Reihenfolge der Stornos), implementieren Sie diese als Property-Based-Tests mit fast-check und konfigurieren Sie Shrinking sowie Seeding so, dass Reproduzierbarkeit gegeben ist. Belegen Sie pro vergangenem Vorfall, ob die neue Suite ihn gefangen hätte. Liefern Sie die Tests, einen Bericht über die Eigenschaften und eine Empfehlung, welche weiteren Module ähnlich abgesichert werden sollten.
Das Briefing
Was Du tust und was Du zeigst.
Welche algebraischen Eigenschaften muss die Beträge-Engine erfüllen, damit Property-Based-Tests die Klasse von Fehlern fangen, die beispielbasierte Tests in 18 Monaten neunmal verpasst haben?
Earning criteria — what you'll demonstrate
- Algebraische Eigenschaften aus realer Geschäftslogik ableiten
- Property-Based-Tests effektiv mit Shrinking und Seeding konfigurieren
- Wirksamkeit einer Test-Strategie gegen historische Defekte belegen
- Den Unterschied zwischen Coverage-Prozent und Fehlerklassen-Abdeckung verstehen
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenSoftware Engineer
Property-Based-Tests in einer realen, regulierten Codebasis einzuführen ist ein deutliches Senioritätssignal — wenige Engineers haben das schon einmal über mehr als ein Pet-Projekt hinaus gemacht.
Dieses Projekt schärft
- property-based-testing
- test-strategy
- typescript
Backend Engineer
Backend-Engineers in Zahlungs- und Buchhaltungssystemen, die algebraische Eigenschaften ihrer Domain testen können, schreiben nachweislich robustere Services.
Dieses Projekt schärft
- property-based-testing
- test-automation
- defect-analysis
Noch eine Sache