1可观察行为与测试用例
闭卷重建可观察行为与测试用例的对象、状态、事件、不变量与一个失败反例。
程序设计 I：问题求解与软件基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2等价类与边界值
闭卷重建等价类与边界值的对象、状态、事件、不变量与一个失败反例。
3断言、测试夹具与回归
闭卷重建断言、测试夹具与回归的对象、状态、事件、不变量与一个失败反例。
4从症状到最小复现
闭卷重建从症状到最小复现的对象、状态、事件、不变量与一个失败反例。
5调试器、日志与假设
闭卷重建调试器、日志与假设的对象、状态、事件、不变量与一个失败反例。
6实验：边界测试分类器
闭卷重建实验：边界测试分类器的对象、状态、事件、不变量与一个失败反例。
7实验：最小失败输入定位
闭卷重建实验：最小失败输入定位的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：等价类与边界值必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕等价类与边界值先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：等价类与边界值不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：可观察行为与测试用例必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕可观察行为与测试用例先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：可观察行为与测试用例不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：从症状到最小复现必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕从症状到最小复现先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：从症状到最小复现不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：断言、测试夹具与回归必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕断言、测试夹具与回归先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：断言、测试夹具与回归不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：边界测试分类器必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：边界测试分类器先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：边界测试分类器不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：调试器、日志与假设必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕调试器、日志与假设先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：调试器、日志与假设不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。
核心机制：实验：最小失败输入定位必须写清输入、输出、前置条件、状态变化、不变量和失败行为，再把每一步落实为可观察的 Python 执行；实验入口：围绕实验：最小失败输入定位先手算两个样例，再编写最小程序，使用正常、边界、无效和回归四类输入验证；边界：实验：最小失败输入定位不能只凭一次示例通过；必须处理空输入、极值、类型错误或状态残留，并能解释首个错误步骤。