Exhaustive Testing of Exception Handlers with Enforcer

Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initiated on the test suite level and are usually not tested sufficiently. Essentially, each interaction of the application with the environment can result in a failure. The Enforcer tool identifies such potential failures and automatically tests all relevant outcomes of such actions. It combines the structure of unit tests with coverage information and fault injection. By taking advantage of a unit test infrastructure, performance can be improved by orders of magnitude compared to previous approaches. This paper introduces the usage of the Enforcer tool.

• Type: Conference
• Year: 2006
• Where: FMCO
• Authors: Cyrille Artho, Armin Biere, Shinichi Honiden
• Keywords: Enforcer Tool, FMCO 2006, Formal Methods, I/O Failures, Testing Application Behavior