User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Canlong Ma; Julien Provost 
Title:
Using plant model features to generate reduced test cases for programmable controllers 
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...    »
 
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