Logo des Repositoriums
 
Konferenzbeitrag

Positive and Negative Testing with Mutation-Driven Model Checking

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2008

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e. V.

Zusammenfassung

Mutation-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.

Beschreibung

Chen, Zhenyu; Hollmann, Axel (2008): Positive and Negative Testing with Mutation-Driven Model Checking. INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-227-7. pp. 187-192. Regular Research Papers. München. 8. -13. September 2008

Schlagwörter

Zitierform

DOI

Tags