Benutzer: Gast  Login
Titel:

Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Provost, Julien; Roussel, Jean-Marc; Faure, Jean-Marc
Abstract:
Conformance test is a functional test technique which is aiming to check whether an implementation, seen as a black-box with inputs/outputs, conforms to its specification. Numerous theoretical worthwhile results have been obtained in the domain of conformance test of finite state machines. The optimization criterion which is usually selected to build the test sequence is the minimum-length criterion. Based on experimental results, this paper focuses on the generation of a Single Input Change (SI...     »
Stichworte:
Conformance test; Formal Methods; Programmable Logic Controller; Test Sequence; Mealy machine; Test Verdict; Single Input Change
Dewey Dezimalklassifikation:
620 Ingenieurwissenschaften
Zeitschriftentitel:
Industrial Informatics, IEEE Transactions on
Jahr:
2014
Reviewed:
ja
Sprache:
en
Volltext / DOI:
doi:10.1109/TII.2014.2315972
Status:
Verlagsversion / published
Publikationsdatum:
07.04.2014
 BibTeX