Ich versuche, fscheck zu übernehmen, aber habe eine sehr harte Zeit, da es nicht viel Dokumentation für C# gibt. Können Sie erklären, warum das folgende Beispiel für die Verwendung von Kombinator für Eigenschaften fehlschlägt (offenbar verstehe ich nicht, wie man es richtig benutzt)?FsCheck C# Wenn Property-Kombinator
Es wirklich nicht wirklich scheitern, es sagt nur "Argumente erschöpft nach n Tests".
Wenn Sie When verwenden, überwacht FsCheck, wie viele generierte Werte er wegwerfen musste, weil sie die in When angegebene Bedingung nicht erfüllen. Standardmäßig sind dies 1000 Werte.
Dies zeigt an, dass der Zustand zu streng ist, der Generator erzeugt keine Werte, die den When Zustand oft genug erfüllen.
Es ist nur eine Art von Sicherheitsnetz, so dass die Testzeit nicht steigt oder der Test überhaupt nicht funktioniert.
Übrigens wird dies hier erläutert: https://fscheck.github.io/FsCheck/Properties.html#Conditional-Properties mit einem C# -Beispiel.
Die Abfrage von Beispielen gilt als nicht am Thema orientiert. – Amy