Towards Symbolic Model-Based Mutation Testing Combining Reachability and Refinement Checking 英文论文文献.docVIP

TowardsSymbolicModel-BasedMutationTesting: CombiningReachabilityandRe?nementChecking BernhardK.Aichernig ElisabethJ¨obstl InstituteforSoftwareTechnology GrazUniversityofTechnology Graz,Austria aichernig@ist.tugraz.at joebstl@ist.tugraz.at Model-based mutation testing uses altered test models to derive test cases that are able to reveal whetheramodelledfaulthasbeenimplemented. Thisrequiresconformancecheckingbetweenthe originalandthemutatedmodel. Thispaperpresentsanapproachforsymbolicconformancecheck- ing of action systems, which are well-suited to specify reactive systems. We also conside