Please use this identifier to cite or link to this item: https://doi.org/10.15480/882.2560
DC FieldValueLanguage
dc.contributor.authorBloem, Roderick-
dc.contributor.authorFey, Görschwin-
dc.contributor.authorGreif, Fabian-
dc.contributor.authorKönighofer, Robert-
dc.contributor.authorPill, Ingo-
dc.contributor.authorRiener, Heinz-
dc.contributor.authorRöck, Franz-
dc.date.accessioned2020-01-10T11:48:08Z-
dc.date.available2020-01-10T11:48:08Z-
dc.date.issued2019-10-14-
dc.identifier.citationFormal Methods in System Design 2 (55): 103-135 (2019)de_DE
dc.identifier.issn1572-8102de_DE
dc.identifier.urihttp://hdl.handle.net/11420/4328-
dc.description.abstractConstructing 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.en
dc.language.isoende_DE
dc.publisherSpringer Science + Business Media B.Vde_DE
dc.relation.ispartofFormal methods in system designde_DE
dc.rightsCC BY-NC 4.0de_DE
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.subjectautomatic test case generationde_DE
dc.subjectsystem testingde_DE
dc.subjectspecification testingde_DE
dc.subjectadaptive testsde_DE
dc.subjectsynthesisde_DE
dc.subjectreactive systemsde_DE
dc.subjectmutation testingde_DE
dc.subject.ddc620: Ingenieurwissenschaftende_DE
dc.titleSynthesizing adaptive test strategies from temporal logic specificationsde_DE
dc.typeArticlede_DE
dc.identifier.doi10.15480/882.2560-
dc.type.diniarticle-
dcterms.DCMITypeText-
tuhh.identifier.urnurn:nbn:de:gbv:830-882.062576-
tuhh.oai.showtruede_DE
tuhh.abstract.englishConstructing 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.de_DE
tuhh.publisher.doi10.1007/s10703-019-00338-9-
tuhh.publication.instituteEingebettete Systeme E-13de_DE
tuhh.identifier.doi10.15480/882.2560-
tuhh.type.opus(wissenschaftlicher) Artikel-
openaire.funder.nameECde_DE
openaire.funder.programmeH2020de_DE
openaire.funder.projectid644905de_DE
dc.type.driverarticle-
dc.type.casraiJournal Article-
tuhh.container.issue2de_DE
tuhh.container.volume55de_DE
tuhh.container.startpage103de_DE
tuhh.container.endpage135de_DE
dc.relation.projectIMMORTAL: Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systemsde_DE
dc.rights.nationallicensefalsede_DE
dc.identifier.scopus2-s2.0-85074509520-
local.status.inpressfalsede_DE
local.funding.infoEuropean Commission through the Horizon2020 grant no. 644905de_DE
item.creatorOrcidBloem, Roderick-
item.creatorOrcidFey, Görschwin-
item.creatorOrcidGreif, Fabian-
item.creatorOrcidKönighofer, Robert-
item.creatorOrcidPill, Ingo-
item.creatorOrcidRiener, Heinz-
item.creatorOrcidRöck, Franz-
item.languageiso639-1en-
item.creatorGNDBloem, Roderick-
item.creatorGNDFey, Görschwin-
item.creatorGNDGreif, Fabian-
item.creatorGNDKönighofer, Robert-
item.creatorGNDPill, Ingo-
item.creatorGNDRiener, Heinz-
item.creatorGNDRöck, Franz-
item.openairetypeArticle-
item.grantfulltextopen-
item.openairecristypehttp://purl.org/coar/resource_type/c_6501-
item.mappedtypeArticle-
item.fulltextWith Fulltext-
item.cerifentitytypePublications-
crisitem.author.deptEingebettete Systeme E-13-
crisitem.author.orcid0000-0002-1411-5744-
crisitem.author.orcid0000-0001-6433-6265-
crisitem.author.orcid0000-0001-7494-909X-
crisitem.author.orcid0000-0002-8420-6377-
crisitem.author.orcid0000-0002-7432-1419-
crisitem.author.parentorgStudiendekanat Elektrotechnik, Informatik und Mathematik-
crisitem.project.funderEuropean Commission-
crisitem.project.funderid501100000780-
crisitem.project.funderrorid00k4n6c32-
crisitem.project.fundingProgramH2020-
crisitem.project.openAireinfo:eu-repo/grantAgreement/EC/H2020/644905-
Appears in Collections:Publications with fulltext
Files in This Item:
File Description SizeFormat
Bloem2019_Article_SynthesizingAdaptiveTestStrate.pdfVerlags-PDF838,75 kBAdobe PDFView/Open
Thumbnail
Show simple item record

Page view(s)

162
Last Week
5
Last month
3
checked on Jan 19, 2022

Download(s)

102
checked on Jan 19, 2022

SCOPUSTM   
Citations

2
Last Week
0
Last month
1
checked on Jan 17, 2022

Google ScholarTM

Check

Note about this record

Cite this record

Export

This item is licensed under a Creative Commons License Creative Commons