User: Guest  Login
Title:

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

Document type:
Konferenzbeitrag
Author(s):
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...     »
Book / Congress title:
14th Workshop on Discrete Event Systems (WODES 2018)
Year:
2018
Month:
May
Covered by:
Scopus; Web of Science
 BibTeX