The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

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

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.