有故障的程序代码的抽象背景