Empfohlene modellbasierte Testwerkzeuge

Question

Hat jemand irgendwelche Vorschläge, welche modellbasierten Testwerkzeuge verwendet werden sollen? Ist der Spec Explorer/SPEC# im Testtraining wert?

Was ich bisher getan habe, ist ein Visio-Modell zu erstellen, in dem ich die Zustände und zugehörigen Variablen, Ausgaben und erwarteten Ergebnisse aus jedem Zustand herausrufe. Dann, auf eine völlig getrennte Art und Weise, fahre ich meine Testskripte mit diesen Variablen basierend auf diesem Modell. Aber sie sind nicht verbunden. Ich möchte einen Weg, um ein Modell zu erstellen, die Variablen auf eine geschäftsfreundliche Weise zuordnen, die dann die Datenparameter für die Skripte erstellen wird.

Ich kann nicht die erste Person sein, die das braucht. Gibt es da draußen ein Werkzeug, das das tun wird? Kurz, es selbst zu entwickeln.

Answer 1

Ich denke, dass eine aktualisierte Version des "Spec Explorer für Visual Studio" -Elektrowerkzeugs in Kürze veröffentlicht werden soll - es ist viel einfacher zu beschleunigen als die current version, dauert aber immer noch etwas zu lernen.

Wenn Sie kleiner beginnen möchten, ist nmodel (auch von Microsoft) ein guter Anfang.

Answer 2

Sie sollten das "MaTeLo" Tool von All4Tec ausprobieren. www.all4tec.net

"MaTeLo ist ein Testfälle Generator für Black Box Funktions- und Systemtests. MaTeLo verwendet Markov Ketten für die Modellierung des Tests. Angepasst an die Model Based Testing-Methode erlaubt das Produkt die Validierung von Produkten in einer Systematic Die Effizienz wird durch eine Verringerung der benötigten Personalressourcen, eine Erhöhung der Wiederverwendung von Modellen und durch die Verbesserung der Relevanz der Teststrategie (aufgrund des Zuverlässigkeitsziels) erreicht. MaTeLo ist unabhängig und benutzerfreundlich und bietet die Validierung an Aktivitäten, die vom Test-Scripting zum echten Test-Engineering führen und sich auf den echten Mehrwert des Tests konzentrieren: die Testpläne "

Sie können eine Evaluierungslizenz anfordern und selbst ausprobieren.

Sie können einige exemples finden Sie hier: http://www.all4tec.net/wiki/index.php?title=Tutorials

Answer 3

Ein Kollege von mir hat dieses Werkzeug gemacht, http://mbt.tigris.org/ und sein in großen Maßstab Testumgebungen seit Jahren eingesetzt. Es ist Open Source und alle ..

Aktualisierung: Hier sind kurze White Paper: http://www.prolore.se/filer/whitepaper/MBT-Agile.pdf

Dieses Tool ist groß mit MBT, Yed eine kostenlose Modellierungssoftware.

Answer 4

Sie könnten die folgende Antwort auf eine ähnliche Frage finden hilfreich:

http://testing.stackexchange.com/questions/92/how-to-get-started-with-model-based-testing

Darin ich erwähnen:

UML Pad http://web.tiscali.it/ggbhome/umlpad/umlpad.htm Eine Liste von kostenlosen UML-Tools: http://en.wikipedia.org/wiki/Category:Free_UML_tools Unsere Pairwise und kombinatorischer Testfallgenerator (der auf Grundlage eines von Ihnen erstellten Modells automatisch Tests für Sie generiert, auch wenn Sie kein UML-Modell erstellen): http://hexawise.com

Übrigens konzentriere ich mich, wie in der obigen Antwort erklärt, auf meine Energien (Forschung, Werkzeugentwicklung, Leidenschaft usw.) auf den zweiten Teil Ihrer Frage - und erstelle effiziente und effektive Tests, die die Abdeckung maximieren eine Mindestanzahl von Testfällen.

Justin (Gründer von Hexawise)

Answer 5

Check out TestOptimal. Es bietet vollständige modellbasierte Tests mit integrierten datengesteuerten Tests und kombinatorischen Tests innerhalb des Modells. Es verfügt über eine grafische Modellierung und Debugging, mit dem Sie das Modell spielen können, und es animiert die Ausführung des Modells grafisch. Sie können den Status/Übergang mit den Anforderungen verknüpfen. Modelle können für Lasttests ohne Änderungen wiederverwendet werden. Es kann sogar vollständig automatisierte MBT für Web-Anwendungen ohne jegliche Codierung/Scripting erstellen. Sehen Sie sich diese kurze Folienpräsentation an: http://TestOptimal.com/tutorials/Overview.htm

Answer 6

Ich kann Ihnen sagen, dass die Version 2010 von Spec Explorer, die die Professional-Version von Visual Studio erfordert, ein großartiges Tool ist, vorausgesetzt, Sie haben bereits Visual Studio. Die ältere Version von spec explorer war gut, aber die Einschränkung war, dass, wenn man ein System endigte, das nicht endlich war, man kein Glück hatte.

Die neue Version enthält verbesserte Techniken zum Betrachten von "Schichten" des Modells bis zu dem Punkt, an dem Sie endliche Zustände haben. Sobald Sie die endlichen Zustände haben, können Sie die Testfälle generieren.

Die großartige Sache ist, dass, wenn Sie das Modell ändern und Ihr Modell erneut schneiden, es einfach ist, Tests neu zu generieren und sie erneut auszuführen. Das schlägt den manuellen Prozess sicher jeden Tag.

Ich kann dieses Tool nicht mit anderen Toolsets vergleichen, aber die Integration mit Visual Studio ist von unschätzbarem Wert. Wenn Sie Visual Studio nicht verwenden, haben Sie möglicherweise begrenzten Erfolg.