1机试题意与输入输出规格
用结论、证据、边界三层回答本课追问
第 1 页 · 正面（题目）
2循环不变量与伪代码正确性
用结论、证据、边界三层回答本课追问
3复杂度预算与算法选型
用结论、证据、边界三层回答本课追问
4测试设计与手工对拍规格
用结论、证据、边界三层回答本课追问
第 1 页 · 背面（答案）
回答必须出现“循环不变量”和“终止条件”，并给下一步动作。
回答必须出现“输入约束”和“输出定义”，并给下一步动作。
回答必须出现“边界测试”和“参考规格”，并给下一步动作。
回答必须出现“数据规模”和“空间复杂度”，并给下一步动作。