State Based Approach for Testing Menu Driven Applications, Fachbücher von Ravi Eda

Das Buch "State Based Approach for Testing Menu Driven Applications" von Ravi Eda bietet eine umfassende Analyse und Methodik zur Anwendung von Model Based Testing (MBT) auf menübasierte Anwendungen. Es konzentriert sich auf die Entwicklung und Implementierung des Model Based Aspect/Class Testing (MACT) Tools, das einen zustandsbasierten Ansatz verwendet, um Testfälle zu generieren. Durch die Verwendung von MACT wird die Machbarkeit des Tools demonstriert, während gleichzeitig ein formeller Testprozess etabliert wird. Das Buch behandelt spezifisch die Funktionalität und Verfügbarkeit von Menüs in grafischen Benutzeroberflächen und zeigt, wie Menüinformationen zur Unterstützung der Zustandsexploration genutzt werden können. Die gesammelten Zustandsinformationen werden in eine Textdatei umgewandelt, die als Eingabe für MACT dient, um Testfälle zu generieren. Diese Methodik ermöglicht eine präzise Analyse und Verbesserung der Softwarequalität, indem sie die Interaktion zwischen dem Testwerkzeug und der zu testenden Anwendung beleuchtet.