Monte Carlo Simulation on Software Mutation Test-Case Adequacy
Author
Mehmet Sahinoglu,Ibrahim Baltaci,E. H. Spafford
Entry type
inbook
Abstract
This paper compares the conventional stopping criterion of ad-hoc mutation
score with the proposed Barnard's score notation technique based on the Bayesian SPRT
to test the software mutation test-case adequacy. A Monte Carlo simulation
is used to mimic the mutation analysis as in a software laboratory on the
well known Trityp test program for two calculated experimental designs.
The results indicate that the Bayesian SPRT through Barnard's score notation
proves at least equally accurate and more cost effective for the goal of
a given test-case adequacy.
Date
1992 – August
Address
Neuchatel, Switzerland
Booktitle
Computational Statistics
Editor
Springer-Verlag Company
Journal
Computational Statistics
Key alpha
Sahinoglu
Volume
1
Publication Date
0000-00-00
Location
A hard-copy of this is in the Papers Cabinet