Deriving adaptive distinguishing sequences for Finite State Machines

FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage for control systems. Distinguishing sequences (DS) are used in FSM based testing for state identification and can significantly reduce the size of a returned complete test suite. In some cases, length of di...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Trudy Instituta sistemnogo programmirovaniâ Jg. 30; H. 4; S. 139 - 154
Hauptverfasser:	Tvardovskii, A.S., Yevtushenko, N.V.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Schlagworte:	адаптивная различающая последовательность конечный автомат тестовый пример
ISSN:	2079-8156, 2220-6426
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!