并发、网络和操作系统 lab 的报告,常见写法是把函数列表贴进去,再写“程序可以运行”。这几乎拿不到设计分。更有效的结构是:问题定义(要维护什么不变量)、设计(锁、队列或状态机如何保证)、验证(哪条测试对应哪条失败路径)、局限(你知道还没覆盖什么)。
如果你的课程提供官方测例,报告里应说明公开测例覆盖了什么、你额外构造了什么。随机测试失败时,附一段最小时序比再贴 200 行日志更有用。图表用时间轴或状态转换,而不是装饰性截图。
实现段落只解释与不变量有关的路径。读者不需要你的全部 getter。该写的是:哪一把锁保护哪一块状态、释放顺序为什么不会死锁、崩溃后哪些元数据必须先写盘。
局限段写你知道还没覆盖的故障。评分人通常能接受范围,不能接受假装已经完备。这与“数字下跌也是结果”是同一类实验态度。
我们做实验报告辅导时,会先问你测试是怎么红的。红不起来的报告,通常也写不出“为什么这个协议在这个负载下会失败”。
