1读题:输入输出契约
闭卷重建读题:输入输出契约的对象、状态、事件、不变量与一个失败反例。
选一章打印。双面打印(按长边翻页)后沿虚线剪开,每张卡片正面题目、背面答案。
闭卷重建读题:输入输出契约的对象、状态、事件、不变量与一个失败反例。
闭卷重建样例只说明什么的对象、状态、事件、不变量与一个失败反例。
闭卷重建数据范围反推预算的对象、状态、事件、不变量与一个失败反例。
闭卷重建暴力基线与小数据的对象、状态、事件、不变量与一个失败反例。
闭卷重建循环不变量与正确性的对象、状态、事件、不变量与一个失败反例。
闭卷重建测试、对拍与首错定位的对象、状态、事件、不变量与一个失败反例。
闭卷重建从暴力到优化的完整复盘的对象、状态、事件、不变量与一个失败反例。