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!
Popis
Shrnutí: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 controllers conform to the expected behavior with regard to the specification models. The DTT approach analyzes the specification models and, if necessary, automatically modifies them at the cost of limited design overhead, so that the testability of the final implemented controllers can be ensured/improved. By design, this approach also guarantees that the behavior of implemented controllers remains unchanged during normal execution (i.e., when not connected to a test bench).
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1551-3203
1941-0050
DOI:10.1109/TII.2020.2968480