Benutzer: Gast  Login
Titel:

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

Dokumenttyp:
Konferenzbeitrag
Autor(en):
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...     »
Kongress- / Buchtitel:
20th World Congress of the International Federation of Automatic Control
Publikationsdatum:
10.07.2017
Jahr:
2017
Nachgewiesen in:
Scopus; Web of Science
Reviewed:
ja
 BibTeX