摘要： 本文系笔者在学习软件构造课程期间所写，不保证通用性和正确性，仅供参考。 目录 前言 Spec Abstract Function Rep Invariant Safety from Exposure Testing Strategy 结语 一、前言 之前的代码中都不怎么重视注释，有注释也就是随便一两 阅读全文