MIT6.031 软件构造 Reading7阅读笔记Designing Specifications

最新推荐文章于 2024-05-27 20:38:04 发布
最新推荐文章于 2024-05-27 20:38:04 发布
阅读量208 收藏 1
点赞数
分类专栏： 软件构造与Java基础
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ctsnevermore/article/details/105137444
版权

来自MIT6.031 软件构造课的Reading材料的第7篇。

  • Spec重点：
    • 是否具有确定性，即，给出的是确定的postcondition，还是众多可能性中的一种
    • 描述性多强，是说明了所有的步骤，还是只给出结果和输出与输入的关系
    • 强壮性多高，postcondition和precondition的强度。
  • 优秀的spec，应该有更好的确定性，能够最精确地指明方法的结果，有较低的描述性，只描述结果，结果与输入的关系，不向用户泄漏编码的技术细节。更强壮，能够减少对用户的要求，增加对开发者（postcondition）的要求
  • 简单介绍了 访问控制权限 和 静态方法与实例方法的区别

具体内容及笔记见下图，笔记主要以手写方式提供。

MIT官网直通车

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

Leowner
关注
专栏目录
MIT6.031 软件构造 Reading4阅读笔记Code Review
Leowner
03-22 258
来自MIT6.031 软件构造课的Reading材料的第4篇。 重点讲授了 Code Review的意义，相关知识。 用其余的篇幅讲解了常用的代码规范内容，包括： Don’t Repeat Yourself (DRY) 用代码复用代替复制粘贴 Comments where needed 在需要的时候 要注释 + 才注释 Fail fast 如果出现错误，尽快挂断，避免传递错误...
MIT reading部分学习心得
weixin_44057997的博客
05-22 310
MIT reading部分学习心得静态检查冰雹序列计算冰雹序列静态类型导出与导入导出导入 静态检查 冰雹序列 从正整数n开始，如果n是偶数，则下一个数是n/2，否则下一个数是3n+1，直到n等于1。下面有一些例子： 下面展示一些例子。 2 ,1 3 ,10, 5 ,16, 8, 4, 2, 1 2n, 2n-1 , … , 4, 2, 1 5, 16, 8, 4, 2, 1 7, 22, 11, 34, 17, 52, 26, 13, 40, …? (会停止吗？) 由于存在3n+1这种变化，所以序列元素的
国内共享软件的十大杀手
weixin_34066347的博客
01-06 917
出处：安全中国　　影响共享软件发展的因素很多，被非法破解可以说是共享软件的头号大敌。那么造成共享软件生存困难的cracker们到底用了那些武器呢?今天就让我让带您去看看神秘的cracker常用的十类软件，它们就是共享软件的十大杀手!　　一. 调试类工具soft-ice和trw2000。　　soft-ice是目前公认最好的跟踪调试工具。使用soft-ice可以很容易的跟踪一个软件、或是监视软件产生的...
高质量软件开发的全面指南(MIT-6.031)
最新发布
2301_79140115的博客
05-27 1257
首先，通过静态检查（Static Checking）和动态检查（Dynamic Checking）了解类型和变量的使用规则，学习如何编写文档和注释来记录假设和方法（Assumptions and Methods）。详细内容请见：（MIT-6.031）软件编写要求-CSDN博客接着，掌握基本的Java编程知识，包括Java集合（Java Collections）和API文档（API Documentation）的使用。详细内容请见： 基本Java语法和语义 （Reading 2）-CSDN博客随后，学习测试技
欠驱动机器人学-麻省理工学院开放课程-MIT 6.832: Underactuated Robotics（译）
zhangrelay的专栏
08-16 8094
课程链接：http://underactuated.csail.mit.edu/Spring2019/ http://underactuated.csail.mit.edu/underactuated.html 欠驱动机器人学Underactuated Robotics Algorithms for Walking, Running, Swimming, Flying, and Manip...
Mit6.004学习记录
热门推荐
code a better life~
05-11 21万+
Mit6.004学习记录前言一、课程简述二，课程主页三，学习过程[Mit6.004-01-Basics of Information](https://blog.csdn.net/u013577996/article/details/116648391)[Mit6.004-02-The Digital Abstraction](https://blog.csdn.net/u013577996/article/details/116781296)Mit6.004-03-CMOS[Mit6.004-04-Com
PseudoSeg: Designing Pseudo Labels for Semantic Segmentation阅读笔记
tcltyan的博客
12-21 2484
原文链接:https://arxiv.org/abs/2010.09713  PseudoSeg比较少见地采用了将pixel-level label和image-level label结合在一起的设定，即weakly-and-semi-supervised setting。  PseudoSeg主要的设计目的是改善现有半监督、弱监督方法产生的伪标签质量较差的情况。PseudoSeg的设计融合了半监督学习的一致性损失以及弱监督学习的CAM方法。总的来说，在假定有少量pixel-level labeled .
西电软件工程概论复习笔记（含重点标注）
weixin_45745854的博客
04-14 1万+
软件工程概论复习 有加粗的都是很重要的课后题中的对应题目。 文章目录软件工程概论复习Chapter1 Introduction1.1 什么是软件工程？1、有关软件（重点）2、有关软件工程（重点）3、什么是好的软件工程（重点）4、谁做软件工程（重点）5、一个系统方法（1） what is a system？（2）The Elements of a System6、一个工程方法7、开发组的成员Chapter 2 Modeling the Process and Life Cycle1、The meaning o
MIT 电子工程与计算机科学系课程系列博客（零）
KieSnow的博客
05-10 3802
1 6.0001 Introduction to Computer Science and Programming (Fall 2016) https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-0001-introduction-to-computer-science-and-programming-i...
行业教育软件-学习软件-MCSE70-220 Designing Windows 2000 Network Security.zip
08-02
行业教育软件-学习软件-MCSE70-220 Designing Windows 2000 Network Security.zip
Designing.Voice.User.Interfaces.epub
01-03
Whether you’re designing a mobile app, a toy, or a device such as a home assistant, this practical book guides you through basic VUI design principles, helps you choose the right speech recognition ...
.Responsive.Mobile.Design.Designing.for.Every.Device
02-05
Title: Responsive Mobile Design: Designing for Every Device Author: Phil Dutson Length: 256 pages Edition: 1 Language: English Publisher: Addison-Wesley Professional Publication Date: 2014-09-28 ISBN-...
Designing-Sound-Andy-Farnell.pdf
10-11
Designing-Sound-Andy-Farnell Designing-Sound-Andy-Farnell Designing-Sound-Andy-Farnell
A.Practical.Guide.for.Designing.Synthesizing.and.Simulating.ASICs.and.FPGAs
07-20
A.Practical.Guide.for.Designing.Synthesizing.and.Simulating.ASICs.and.FPGAs.using.VHDL.or.Verilog
Java 第三方库下载 华为镜像 换源
Leowner
03-05 1683
https://mirrors.huaweicloud.com/search/maven?q=&license=&date=all&pg=1 可在该网站搜索 语言类组件 Maven 即可搜索jar包，之后直接放置在project的lib目录下，add as library即可 ...
Java基本类型(primitive type)为什么是immutable 的讨论
Leowner
03-17 518
笔者在学习Java设计思想的时候，走进了一个误区，在此进行讨论 我们在讨论immutable和mutable的时候，通常使用String和StringBuilder进行比较，认为每次修改字符串整体的String为immutable，而可以修改内部字符的Builder为mutable，从code snapshot中，容易认为，immutable的类型在修改时，会分配新的内存，创建新的对象，再修改...
pdf拆分为图片列表 pdf转jpg wand库
Leowner
02-24 406
起因是一个有些奇葩的需求 因为经常使用Ipad + Apple Pencil来记笔记，很多心得体会等等都保存成了PDF的格式，但PDF格式本身不便于分享，所以想到了，可以将pdf切分成一张张的图片，直接上传图片到msdn或者将图片制作成md或html以分享。 此处依旧使用Python大法，使用了wand库，注意，wand库本身需要安装Imagemagick和ghostscript，二者为独立的预编...
软件构造 Lab1 Fundamental Java Programming and Testing实验记录
Leowner
03-12 397
在使用JUnit进行测试时，应该在src文件夹之外重新创建文件夹，设置为test，并在其中新建package进行测试class的编写 视频看到1：04：17
MIT6.031 软件构造 Reading3阅读笔记 Test
Leowner
02-28 332
来自MIT6.031 软件构造课的Reading材料的第三篇。 重点讲授了 程序正确性确认方法 Test-First 编程思路 正确的测试思路和错误的测试思路 用分割的思路确定测试单元 通过隔间边界加强测试单元 JUnit的自动测试 文档形式记录测试策略 黑盒和白盒的定义和思路 测试代码覆盖率的概念，自动化记录覆盖率的工具 单元测试和集成测试对比 自动测试和回归测试分析 引出 迭代-TestFi...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值