Publication | Closed Access
Mutation analysis using mutant schemata
49
Citations
11
References
1993
Year
Software MaintenanceEngineeringGeneticsTest Data GenerationSoftware EngineeringMolecular GeneticsSoftware AnalysisFormal VerificationCompilersComputer EngineeringGenetic Improvement ProgrammingComputer ScienceMutation AnalysisProgram SchemataBioinformaticsStatic Program AnalysisSoftware DesignMutation-based TestingSomatic VariantMutation Analysis SystemsProgram AnalysisSoftware TestingMutant SchemataFormal MethodsMedicineSymbolic ExecutionSystem SoftwareMutagenesis
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis systems suffer from severe performance problems. This paper presents a new method for performing mutation analysis that uses program schemata to encode all mutants for a program into one metaprogram , which is subsequently compiled and run at speeds substantially higher than achieved by previous interpretive systems. Preliminary performance improvements of over 300% are reported. This method has the additional advantages of being easier to implement than interpretive systems, being simpler to port across a wide range of hardware and software platforms, and using the same compiler and run-time support system that is used during development and/or deployment.
| Year | Citations | |
|---|---|---|
Page 1
Page 1