Neudefinieren von Testfällen

gobo7793 / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

http://safetysharp.isse.de/wiki

MIT License

0 stars 0 forks source link

Neudefinieren von Testfällen #109

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Testfälle so neu definieren, dass wirklich geprüft werden kann, ob Selfbalancing-Komponente was macht oder nicht bei Mutationen, also viele Anwendungen gleichzeitig laufen lassen können

gobo7793 commented 6 years ago

32 neue Testfälle wurden definiert:

2 Seeds
Fehlerwahrscheinlichkeit immer 0,3
Anzahl Hosts manchmal 1, meist 2
Anzahl Clients wenige 2, meist 4, ein paar 6
Anzahl Schritte meist 5, manchmal 10

Nicht dabei von den 48 möglichen:

1 Host und 6 Clients
2 Clients und 10 Schritte