摘要： Hw2: 指出以下程序的错误并设计测试样例。要求测试样例能够做到：1.不执行fault 2.执行fault，但程序不进入error状态 3.使程序进入error，但不会引起failure (Fault: 程序内部的静态错误，及代码中的错误。 Error：因执行到了含fault的代码段而使得程序进入非 阅读全文