IB Computer Science HL

B.1 计算思维

定义计算问题

使用分解、抽象、成功标准和算法追踪。

示例使用 Python。HL 路径包含 SL 之外的额外课程。

编写可观察的成功标准

把“系统应该很好”改为可测试的陈述,例如预订系统必须拒绝时间重叠的房间预约。明确输入、输出、限制以及无效输入的处理方式。

把系统分解为读取请求、查找冲突、保存已确认预约等任务。抽象保留特定决策所需的细节,忽略无关信息,例如检查房间是否可用时无需考虑用户头像。

通过追踪验证行为

应追踪每次状态变化,而不是只看首尾语句猜测结果。检查区间重叠时,测试完全重叠、部分重叠、不重叠以及前一预约结束时新预约恰好开始的情况。实现前先约定结束时间是否包含在内。

解决方案可能通过原有测试,却没有满足客户的真实需要。应根据反馈改进问题定义,并同步更新算法与测试,使两者描述同一预期行为。

自我检测

什么样的成功标准才有助于评价?查看答案

它在明确条件下描述可观察的结果,因此可以通过测试判断是否达到。

编写这些课程时使用的参考资料

我们在编写本课程时参考了这些官方文件,用以确定考纲结构和课程要求。

International Baccalaureate · 2027 年首次评估

此 PDF 为 IB 公开学科简介。完整学科指南与评估要求可通过学校或 IB 课程资源中心获取。