Benutzer: Gast  Login
Titel:

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

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Canlong Ma; Claudius Jordan; Julien Provost
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 contro...     »
Kongress- / Buchtitel:
14th Workshop on Discrete Event Systems (WODES 2018)
Jahr:
2018
Monat:
May
Nachgewiesen in:
Scopus; Web of Science
 BibTeX