User: Guest  Login
Title:

Using plant model features to generate reduced test cases for programmable controllers

Document type:
Konferenzbeitrag
Author(s):
Canlong Ma; Julien Provost
Abstract:
Complete conformance testing is a model-based test technique for programmable controllers. It checks whether an implementation conforms to its specifications with regard to all possible combinations of input signals, which is useful for small scale and safety critical systems. However, the state space explosion issue limits its application to large scale systems. This paper presents a method for reducing state space in generation of test cases by utilizing not only specification models but al...     »
Book / Congress title:
20th World Congress of the International Federation of Automatic Control
Date of publication:
10.07.2017
Year:
2017
Covered by:
Scopus; Web of Science
Reviewed:
ja
 BibTeX