EqMutDetect — A tool for equivalent mutant detection in embedded systems

摘要: Removing faults in the software of embedded systems, after deployment, is at least expensive because required actions like calling back cars to workshops order perform a update. Therefore verification and validation techniques are especially important system domain. Mutation testing method for evaluating test suites programs via injecting checking whether there exists case that catches induced misbehavior. An problem mutation detection equivalent mutants, i.e., injected lead exactly same behavior. In mutants cannot be distinguished, evaluation result suite, measured as score, wrong. Therefore, we focus on mutant this paper. particular present relies constraint representation program its mutant, solver deciding corresponding or not. The introduced approach based distinguishing cases, inputs force behave different way. Beside foundations approach, discuss algorithms first empirical results. Because current restrictions our basic data types integers simple control structures well suited systems domain where usually these apply.