Design of Mutant Operators for the C Programming Language
Author
Argrawal, DeMillo, Hathaway, Hsu, Krauser, Martin, Mathur, Spafford
Abstract
Mutation analysis is a method for reliable testing of large software systems. It provides a method for assessing the adequacy of test data. Mothra (DeMi87) is a mutation analysis based software testing environment that currently supports the testing of Fortran 77 programs. Work is underway to enhance this tool along several dimensions. One of these is the addition of multilingual capability. C is one of the languages that we plan to support.
Booktitle
Design of Mutant Operators for the C Programming Language
Publication Date
2001-01-01
Contents
INTRODUCTION
OVERVIEW OF MUTATION BASED TESTING
THE RAISON D\'ETRE OF A MUTANT OPER
MUTANT OPERATOR CLASSIFICATION
NAMING CONVENTIONS
WHAT IS NOT MUTATED?
OPTIMIZATIONS
CONCEPTS AND DEFINITIONS
STATEMENT MUTATIONS
OPERATOR MUTATIONS
VARIABLE MUTATIONS
CONSTANT MUTATIONS
COMPARISON OF MUTANT OPERATORS FOR C AND FORTRAN
FUTURE WORK
Keywords
MUTATION, MUTANT, OPERATORS
Subject
This report documents the classification, definition, rationale, and semantics of the mutant operators designed for the ANSI C programming language.