Combining sequential test cases into an equivalent set of adaptive test cases

When testing a state-based system one might use a set of (negative) test cases in which each test case is a sequence of events that should not occur. Testing then involves executing the system under test (SUT) in order to check whether any of these disallowed sequences can occur. While testing using...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logical and algebraic methods in programming Jg. 148; S. 101092
Hauptverfasser: Hierons, Robert M., Merayo, Mercedes G., Núñez, Manuel
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.01.2026
ISSN:2352-2208
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!