本文摘自MIT6.031软件构造课程的阅读材料，深入探讨了规格说明（Spec）的重要性，包括其确定性、描述性和强壮性。文章还对比了访问控制权限、静态方法与实例方法的区别，为软件设计提供了宝贵的指导。
来自MIT6.031 软件构造课的Reading材料的第7篇。
- Spec重点：
-
- 是否具有确定性，即，给出的是确定的postcondition，还是众多可能性中的一种
-
- 描述性多强，是说明了所有的步骤，还是只给出结果和输出与输入的关系
-
- 强壮性多高，postcondition和precondition的强度。
- 优秀的spec，应该有更好的确定性，能够最精确地指明方法的结果，有较低的描述性，只描述结果，结果与输入的关系，不向用户泄漏编码的技术细节。更强壮，能够减少对用户的要求，增加对开发者（postcondition）的要求
- 简单介绍了 访问控制权限 和 静态方法与实例方法的区别
具体内容及笔记见下图，笔记主要以手写方式提供。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
