Please use this identifier to cite or link to this item:
Publisher DOI: 10.1007/s10703-019-00338-9
Title: Synthesizing adaptive test strategies from temporal logic specifications
Language: English
Authors: Bloem, Roderick 
Fey, Görschwin  
Greif, Fabian 
Könighofer, Robert 
Pill, Ingo 
Riener, Heinz 
Röck, Franz 
Keywords: automatic test case generation;system testing;specification testing;adaptive tests;synthesis;reactive systems;mutation testing
Issue Date: 14-Oct-2019
Publisher: Springer Science + Business Media B.V
Source: Formal Methods in System Design 2 (55): 103-135 (2019)
Journal: Formal methods in system design 
Abstract (english): 
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a new approach to compute test strategies for reactive systems from a given temporal logic specification using formal methods. The computed strategies are guaranteed to reveal certain simple faults in every realization of the specification and for every behavior of the uncontrollable part of the system’s environment. The proposed approach supports different assumptions on occurrences of faults (ranging from a single transient fault to a persistent fault) and by default aims at unveiling the weakest one. We argue that such tests are also sensitive for more complex bugs. Since the specification may not define the system behavior completely, we use reactive synthesis algorithms with partial information. The computed strategies are adaptive test strategies that react to behavior at runtime. We work out the underlying theory of adaptive test strategy synthesis and present experiments for a safety-critical component of a real-world satellite system. We demonstrate that our approach can be applied to industrial specifications and that the synthesized test strategies are capable of detecting bugs that are hard to detect with random testing.
DOI: 10.15480/882.2560
ISSN: 1572-8102
Institute: Eingebettete Systeme E-13 
Document Type: Article
Project: IMMORTAL: Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems 
More Funding information: European Commission through the Horizon2020 grant no. 644905
License: CC BY 4.0 (Attribution) CC BY 4.0 (Attribution)
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
Bloem2019_Article_SynthesizingAdaptiveTestStrate.pdfVerlags-PDF838,75 kBAdobe PDFView/Open
Show full item record

Page view(s)

Last Week
Last month
checked on Nov 26, 2021


checked on Nov 26, 2021


Last Week
Last month
checked on Nov 24, 2021

Google ScholarTM


Note about this record

Cite this record


This item is licensed under a Creative Commons License Creative Commons