Efficient Active Automata Learning via Mutation Testing

Publikation: Beitrag in einer FachzeitschriftArtikel

Abstract

System verification is often hindered by the absence of formal models. Peled et al. proposed black-box checking as a solution to this problem. This technique applies active automata learning to infer models of systems with unknown internal structure. This kind of learning relies on conformance testing to determine whether a learned model actually represents the considered system. Since conformance testing may require the execution of a large number of tests, it is considered the main bottleneck in automata learning. In this paper, we describe a randomised conformance testing approach which we extend with fault-based test selection. To show its effectiveness we apply the approach in learning experiments and compare its performance to a well-established testing technique, the partial W-method. This evaluation demonstrates that our approach significantly reduces the cost of learning. In multiple experiments, we reduce the cost by at least one order of magnitude.
Originalspracheenglisch
Seiten (von - bis)1103-1134
Seitenumfang32
FachzeitschriftJournal of Automated Reasoning
Jahrgang63
Ausgabenummer4
Frühes Online-Datum25 Okt 2018
DOIs
PublikationsstatusVeröffentlicht - 2019

Fingerprint Untersuchen Sie die Forschungsthemen von „Efficient Active Automata Learning via Mutation Testing“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren