This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Non-intrusive Repair of Reactive Programs
Paris, France France
July 18-July 20
ISBN: 978-1-4673-2156-3
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.
Index Terms:
Maintenance engineering,System recovery,Complexity theory,Programming,Safety,Computer bugs,Synchronization,patching,Program repair,verification,behavioral programming,model checking
Citation:
David Harel, Guy Katz, Assaf Marron, Gera Weiss, "Non-intrusive Repair of Reactive Programs," iceccs, pp.3-12, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012
Usage of this product signifies your acceptance of the Terms of Use.