Paris, France France
July 18, 2012 to July 20, 2012
We show how, under certain conditions, programs written in the behavioral programming approach can be modified (e.g., as result of new requirements or discovered bugs) using automatically-generated code modules. Given a trace of undesired behavior, one can generate a relatively small piece of code, whose execution is interwoven at run time with the rest of the system and brings about the desired changes without modifying existing code, and without introducing new bugs. At the core of our approach is the ability of a thread of behavior to prevent the triggering of events from other threads. Our repair algorithms apply model checking to the program and transform the counterexamples produced by the model-checker into corrective modules. Our work is supported by a proof-of-concept tool, which creates understandable modules that can be further manually managed as part of ongoing incremental system development.
Maintenance engineering, System recovery, Complexity theory, Programming, Safety, Computer bugs, Synchronization, patching, Program repair, verification, behavioral programming, model checking
David Harel, Guy Katz, Assaf Marron, Gera Weiss, "Non-intrusive Repair of Reactive Programs", ICECCS, 2012, Engineering of Complex Computer Systems, IEEE International Conference on, Engineering of Complex Computer Systems, IEEE International Conference on 2012, pp. 3-12, doi:10.1109/ICECCS.2012.25