本章主要研究内容 基本概念 程序测试的基本方法 部分正确性证明方法 终止性证明方法本章主要研究内容 ◼ 基本概念 ◼ 程序测试的基本方法 ◼ 部分正确性证明方法 ◼ 终止性证明方法