Hallo,
bei der Entwicklung von Software gibt es ja viele Möglichkeiten und Verfahrensweisen, um die Software zu testen.
Eine davon ist der Petrinetz- bzw. zustandsbasierte Softwaretest.
Darüber muss ich einen kleinen Vortrag halten, finde aber nirgends ein Programm/Tool, das ich vorstellen könnte.
Es gibt massenhaft Tools für das Erstellen von Petrinetzen, finde aber kein Tool, welches auf das Testen von Software spezialisiert ist.
Falls jemand hier weiterhelfen kann, wäre mir sehr geholfen.
Viele Grüße
Andreas