elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Synthesizing adaptive test strategies from temporal logic specifications

Bloem, Roderick and Fey, Görschwin and Greif, Fabian and Könighofer, Robert and Pill, Ingo and Riener, Heinz and Röck, Franz (2019) Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods in System Design, 55 (2), pp. 103-135. Springer. DOI: 10.1007/s10703-019-00338-9 ISBN 1572-8102 ISSN 0925-9856

Full text not available from this repository.

Official URL: https://doi.org/10.1007/s10703-019-00338-9

Abstract

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. Based on well-established hypotheses from fault-based testing, 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.

Item URL in elib:https://elib.dlr.de/133143/
Document Type:Article
Title:Synthesizing adaptive test strategies from temporal logic specifications
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Bloem, RoderickUNSPECIFIEDUNSPECIFIED
Fey, Görschwingoerschwin.fey (at) tuhh.deUNSPECIFIED
Greif, FabianFabian.Greif (at) dlr.dehttps://orcid.org/0000-0001-7494-909X
Könighofer, RobertUNSPECIFIEDUNSPECIFIED
Pill, IngoUNSPECIFIEDUNSPECIFIED
Riener, HeinzUNSPECIFIEDUNSPECIFIED
Röck, FranzUNSPECIFIEDUNSPECIFIED
Date:October 2019
Journal or Publication Title:Formal Methods in System Design
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:Yes
Volume:55
DOI :10.1007/s10703-019-00338-9
Page Range:pp. 103-135
Publisher:Springer
ISSN:0925-9856
ISBN:1572-8102
Status:Published
Keywords:Temporal Logic Design Synthesis Adaptive Test Strategies
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Core Avionics
Location: Bremen
Institutes and Institutions:Institute of Space Systems > Avionics Systems
Deposited By: Meß, Jan-Gerd
Deposited On:07 Jan 2020 12:43
Last Modified:07 Jan 2020 12:43

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.