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

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

Design of Mutant Operators for the C Programming Language

Author

Argrawal, DeMillo, Hathaway, Hsu, Krauser, Martin, Mathur, Spafford

Entry type

techreport

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

Edition

1.02

Key alpha

Spafford

Pages

74

School

Purdue

Bibdate

3/20/1989

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

Language

English

Subject

This report documents the classification, definition, rationale, and semantics of the mutant operators designed for the ANSI C programming language.

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.