T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward, \The design of a prototype mutation system for program testing," in Proceedings NCC, AFIPS Conference Record, pp. 623-627, 1978.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....by the National Science Foundation under awards CCR 9804011 and CCR 9707792. Computer Programs. It was not until the end of the 1970 s, however, before major work was published on the subject [1, 2, 3] the DeMillo, Lipton, and Sayward paper [3] is generally cited as the seminal reference. PIMS [1, 4, 5, 6], an early mutation testing tool, pioneered the general process typically used in mutation testing of creating mutants (of Fortran IV programs) accepting test cases from the users, and then executing the test cases on the mutants to decide how many mutants were killed. In 1987, this same process ....

T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward, \The design of a prototype mutation system for program testing," in Proceedings NCC, AFIPS Conference Record, pp. 623-627, 1978.

....in the absence of errors. This unique ability helps the tester predict the reliability of a program and indicates quantitatively when the testing process can end. Furthermore, mutation analysis has been shown analytically and experimentally to be a generalization of other test methodologies [9, 10]. Thus, a mutation analysis testing tool gives a tester the capabilities of several other test techniques as well as features that are unique to mutation testing. Mutation analysis [5, 11] helps the user create test data and then interacts with the user to improve the quality of that test data. ....

T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward, `The design of a prototype mutation system for program testing', AFIPS National Computer Conference Proceedings, Vol. 47, 1978, pp. 623-627. 47

....future systems. 5 Related Work Because of the large number of mutant programs that must be generated and run, early designers of mutation analysis systems considered individually creating, compiling, linking, and running each mutant more difficult, and slower, than using an interpretive system [6, 8]. It was considered likely that the cost of compiling large numbers of mutants would be prohibitive. Of the interpreter based systems that have been developed, Mothra is the most recent and comprehensive [11, 15] In these conventional, interpreter based mutation analysis systems, the source code ....

Timothy A. Budd, Richard J. Lipton, Frederick G. Sayward, and Richard A. DeMillo. The Design of a Prototype Mutation System for Program Testing. In Proceedings of the National Computer Conference, pages 623--627, Anaheim, CA, June 5--8 1978. The Association for Computing Machinery, AFIPS Press, Montvale, NJ. Vol. 47.

.... and Error Analysis by Mutation Testing To uncover the impact of faults that would have remained in the software version, and to evaluate the effectiveness of NVS mechanisms, a special type of regression testing, similar to mutation testing which is well known in the software testing literature[21] [22] was investigated in the six versions. The original purpose of the mutation testing is to ensure the quality of the test data used to verify a program, while our concern here was to examine the relationship of faults and error frequencies in each program and to evaluate the similarity of ....

T.A. Budd, R.J. Lipton, F.G. Sayward, and R.A. DeMillo, "The Design of a Prototype Mutation System for Program Testing," in Proceedings NCC, pp. 623-627, 1978.

....be generated for even a small program. 1.5.3 Current Mutation Based Testing Environments Mutation based software testing environments have been constructed to support several of the programming languages for which mutant operators have been designed. This includes C [15] COBOL [25,26] FORTRAN IV [9], and FORTRAN 77 [11,13] Figure 1.3 depicts a generic architecture for a mutation based software testing environment. Prior to the approach presented in this dissertation, each of these environments has supported the execution of mutant programs in one of two ways, via an interpreted execution ....

T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward. The Design of a Prototype Mutation System for Program Testing. In Proceedings NCC, AFIPS Conference Record, pages 623--627, 1978.

....6. Mutation Testing and Coverage Analysis To uncover the impact of faults that would have remained in the software version, and to evaluate the effectiveness of NVS mechanisms, a special type of regression testing, similar to mutation testing which is well known in the software testing literature [24] [25] was investigated in the 12 versions. The original purpose of the mutation testing is to ensure the quality of the test data used to verify a program, while our concern here was to examine the relationship of faults and error frequencies in each program and to evaluate the similarity of ....

T.A. Budd, R.J. Lipton, F.G. Sayward, and R.A. DeMillo, "The Design of a Prototype Mutation System for Program Testing," in Proceedings NCC, pp. 623-627, 1978.

....information flow chain and would be distinguished by a subscript. In Figure 1, one information flow chain from node 3 to node 11 is ( E; 3) E; F; 4) F; BP; 5) BP; B; 6) B; D; 10) D; out; 11) 2. 2 Model Assumptions Our model relies on the competent programmer hypothesis [ABD 79, BDLS78] which says that the mod ule being tested differs from the correct module by some small set of faults. Although the concept of transferring potential failures along information flow can be applied to faults that affect larger portions of code, the faults considered in this presentation are ....

T.A. Budd, R.A. DeMillo, R.J. Lipton, and F.G. Sayward. The design of a prototype mutation system for program testing. In Proceedings NCC, 1978.

No context found.

T. A. Budd, R.A. DeMillo, R.J. Lipton, and F.G. Sayward, "The design of a prototype mutation system for program testing," Proceedings NCC 1978, 1978, Alexandria, Va, 65 1978.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC