SATE: Model-Based Testing with Design-to-Test and Plant Features

Canlong Ma; Claudius Jordan; Julien Provost

doi:10.1016/j.ifacol.2018.06.318

SATE: Model-Based Testing with Design-to-Test and Plant Features

Canlong Ma
, Claudius Jordan
, Julien Provost

Medicine and Health

Technical University of Munich

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

In this paper we present SATE, a tool aiming at increasing test efficiency of model-based testing of DES using two approaches: design-to-test and plant features. First, the design-to-test approach automatically modifies the design while maintaining the original system behavior to overcome controllability, observability and SIC-testability issues. Secondly, testing with plant features reduces the number of test cases taking into account restrictions on the input space of programmable logic controllers caused by the plant that is to be controlled.

Original language	English
Pages (from-to)	310-315
Number of pages	6
Journal	14th IFAC Workshop on Discrete Event Systems WODES 2018
Volume	51
Issue number	7
DOIs	https://doi.org/10.1016/j.ifacol.2018.06.318
State	Published - 1 Jan 2018

Keywords

conformance testing
discrete event system
programmable logic controller
validation

Access to Document

10.1016/j.ifacol.2018.06.318

Cite this

@article{1f559644a3cc448b8220f56120c4a2bd,

title = "SATE: Model-Based Testing with Design-to-Test and Plant Features",

abstract = "In this paper we present SATE, a tool aiming at increasing test efficiency of model-based testing of DES using two approaches: design-to-test and plant features. First, the design-to-test approach automatically modifies the design while maintaining the original system behavior to overcome controllability, observability and SIC-testability issues. Secondly, testing with plant features reduces the number of test cases taking into account restrictions on the input space of programmable logic controllers caused by the plant that is to be controlled.",

keywords = "conformance testing, discrete event system, programmable logic controller, validation",

author = "Canlong Ma and Claudius Jordan and Julien Provost",

note = "Publisher Copyright: {\textcopyright} 2018",

year = "2018",

month = jan,

day = "1",

doi = "10.1016/j.ifacol.2018.06.318",

language = "English",

volume = "51",

pages = "310--315",

journal = "14th IFAC Workshop on Discrete Event Systems WODES 2018",

issn = "2405-8963",

number = "7",

}

TY - JOUR

T1 - SATE

T2 - Model-Based Testing with Design-to-Test and Plant Features

AU - Ma, Canlong

AU - Jordan, Claudius

AU - Provost, Julien

PY - 2018/1/1

Y1 - 2018/1/1

N2 - In this paper we present SATE, a tool aiming at increasing test efficiency of model-based testing of DES using two approaches: design-to-test and plant features. First, the design-to-test approach automatically modifies the design while maintaining the original system behavior to overcome controllability, observability and SIC-testability issues. Secondly, testing with plant features reduces the number of test cases taking into account restrictions on the input space of programmable logic controllers caused by the plant that is to be controlled.

AB - In this paper we present SATE, a tool aiming at increasing test efficiency of model-based testing of DES using two approaches: design-to-test and plant features. First, the design-to-test approach automatically modifies the design while maintaining the original system behavior to overcome controllability, observability and SIC-testability issues. Secondly, testing with plant features reduces the number of test cases taking into account restrictions on the input space of programmable logic controllers caused by the plant that is to be controlled.

KW - conformance testing

KW - discrete event system

KW - programmable logic controller

KW - validation

UR - https://www.scopus.com/pages/publications/85050152421

U2 - 10.1016/j.ifacol.2018.06.318

DO - 10.1016/j.ifacol.2018.06.318

M3 - Article

AN - SCOPUS:85050152421

SN - 2405-8963

VL - 51

SP - 310

EP - 315

JO - 14th IFAC Workshop on Discrete Event Systems WODES 2018

JF - 14th IFAC Workshop on Discrete Event Systems WODES 2018

IS - 7

ER -

SATE: Model-Based Testing with Design-to-Test and Plant Features

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this