Title :
Modeling mutation and a vector processor
Author :
Mathur, Aditya P. ; Krauser, E.W.
Author_Institution :
Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
Abstract :
Mutation analysis is a software testing methodology designed to substantiate the correctness of a program Φ. The mutation approach is to induce syntactically correct changes in Φ, thereby creating a set of mutant programs. The goal of a tester is to construct a set of test data T that distinguishes the output of Φ(T) from that of all mutant programs. Test data sensitive enough to distinguish all mutant programs is deemed adequate to infer the probable correctness of Φ. An algorithm is proposed which was designed to exploit the architecture of a vector processor like the Cyber 205 or Cray X/MP. The algorithm manages the simultaneous execution of multiple mutant Fortran 77 programs. This is accomplished by viewing the execution of these mutants as a sequence of vector instructions. The algorithm promises potential to greatly increase the performance of a mutation-based testing system, as well as points towards a general method of simultaneous program execution against multiple data sets
Keywords :
parallel programming; program testing; Cray X/MP; Cyber 205; Fortran 77 programs; correctness; multiple data sets; mutation approach; software engineering; software quality; software testing methodology; syntactically correct changes; vector processor; Algorithm design and analysis; Error correction; Genetic mutations; Software testing; Vector processors;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93697