User: Guest  Login
Title:

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

Document type:
Zeitschriftenaufsatz
Author(s):
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...     »
Keywords:
Conformance test; Formal Methods; Programmable Logic Controller; Test Sequence; Mealy machine; Test Verdict; Single Input Change
Dewey Decimal Classification:
620 Ingenieurwissenschaften
Journal title:
Industrial Informatics, IEEE Transactions on
Year:
2014
Reviewed:
ja
Language:
en
Fulltext / DOI:
doi:10.1109/TII.2014.2315972
Status:
Verlagsversion / published
Date of publication:
07.04.2014
 BibTeX