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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on industrial informatics Ročník 16; číslo 10; s. 6499 - 6508
Hlavní autori:	Ma, Canlong, Provost, Julien
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Piscataway IEEE 01.10.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!