Logo des Repositoriums
 

Positive and Negative Testing with Mutation-Driven Model Checking

dc.contributor.authorChen, Zhenyu
dc.contributor.authorHollmann, Axel
dc.contributor.editorHegering, Heinz-Gerd
dc.contributor.editorLehmann, Axel
dc.contributor.editorOhlbach, Hans Jürgen
dc.contributor.editorScheideler, Christian
dc.date.accessioned2019-04-03T12:59:55Z
dc.date.available2019-04-03T12:59:55Z
dc.date.issued2008
dc.description.abstractMutation-driven test case generation with model checking has been pro- posed to reduce the costs of specification-based mutation analysis. Most of the exist- ing work focuses on verifying the expected behavior in the original model, i.e. positive testing. In this paper negative testing is introduced to check the unexpected behavior. Mutants are divided into three types: increscent, decrescent, and cross mutants. Both, positive and negative testing is proposed to guarantee the detection of these mutants. A non-trivial example illustrates and validates our approach.en
dc.identifier.isbn978-3-88579-227-7
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/21355
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofINFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-133
dc.titlePositive and Negative Testing with Mutation-Driven Model Checkingen
dc.typeText/Conference Paper
gi.citation.endPage192
gi.citation.publisherPlaceBonn
gi.citation.startPage187
gi.conference.date8. -13. September 2008
gi.conference.locationMünchen
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
187.pdf
Größe:
169.49 KB
Format:
Adobe Portable Document Format