Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences

This paper describes an efficient parallel algorithm that uses many-core GPUs for automatically deriving Unique Input Output sequences (UIOs) from Finite State Machines. The proposed algorithm uses the global scope of the GPU's global memory through coalesced memory access and minimises the tra...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 42; H. 11; S. 1077 - 1091
Hauptverfasser:	Hierons, Robert M., Turker, Uraz Cengiz
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.11.2016 IEEE Computer Society
Schlagworte:	Algorithm design and analysis Algorithms Automata Automation finite state machine general purpose graphics processing units Graphics processing units Input output Software algorithms Software engineering Software engineering/software/program verification software engineering/test design software engineering/testing and debugging Studies Testing unique input output sequence generation User interface
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!