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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on industrial informatics Ročník 16; číslo 10; s. 6499 - 6508
Hlavní autoři:	Ma, Canlong, Provost, Julien
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 01.10.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!