调试与程序修复

基于运行时证据的调试、故障定位与自动修复。