Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems

This article presents a design-to-test (DTT) approach for enhancing black-box complete conformance testing of programmable controllers, where their specifications can be modeled as finite state machines. Given an automation system, the testing objective is to check whether its implemented controller...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on industrial informatics Jg. 16; H. 10; S. 6499 - 6508
Hauptverfasser:	Ma, Canlong, Provost, Julien
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Piscataway IEEE 01.10.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Automation Black-box testing Conformance testing Design modifications design-to-test (DTT) finite state machine Finite state machines IEC Standards Informatics programmable controller Programmable controllers Safety critical single-input-change (SIC) Software Specifications Testability Unified modeling language
ISSN:	1551-3203, 1941-0050
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!