Faultprog: Testing the Accuracy of Binary-Level Software Fault Injection

摘要: Off-The-Shelf (OTS) software components are the cornerstone of modern systems, including safety-critical ones. However, dependability OTS is uncertain due to lack source code, design artifacts and test cases, since only their binary code supplied. Fault injection in components’ a solution understand risks posed by buggy components. In this paper, we consider problem accurate mutation for fault purposes. emulates bugs high-level programming constructs (assignments, expressions, function calls, ...) mutating translation code. semantic gap between its often leads inaccurate mutations. We propose Faultprog , systematic approach testing accuracy tools. automatically generates synthetic programs using stochastic grammar, mutates both with tool under test, as reference comparisons. Moreover, present case study on commercial tool, where was adopted identify patterns compiler optimizations that affect accuracy.