MIT6.031 软件构造 Reading3阅读笔记 Test

最新推荐文章于 2024-05-27 20:38:04 发布
原创 最新推荐文章于 2024-05-27 20:38:04 发布 · 407 阅读 · 1 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

这篇博客是MIT6.031软件构造课程的Reading3阅读笔记，主要探讨了程序正确性验证方法，包括Test-First编程理念、测试策略、测试单元的分割与边界强化、JUnit自动测试、黑盒与白盒测试的差异，以及测试代码覆盖率和自动化工具。此外，还对比了单元测试与集成测试，阐述了迭代-TestFirst编程思路的重要性。

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

重点讲授了

  • 程序正确性确认方法
  • Test-First 编程思路
  • 正确的测试思路和错误的测试思路
  • 用分割的思路确定测试单元
  • 通过隔间边界加强测试单元
  • JUnit的自动测试
  • 文档形式记录测试策略
  • 黑盒和白盒的定义和思路
  • 测试代码覆盖率的概念，自动化记录覆盖率的工具
  • 单元测试和集成测试对比
  • 自动测试和回归测试分析
  • 引出 迭代-TestFirst编程思路

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

MIT官网直通车
————————————————

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

MIT 6.031 Software Construction 学习笔记:(三) Mutability & Immutability
taotao 的大学墓志
11-10 1040
这节主要是讲 可变对象给编程带来的危害，所谓不可变对象，就是整个生命周期中不可变的对象(废话)， e.g. : String 具体来说参见 Basic Java when we discussed snapshot diagrams Risks of mutation risk1：passing mutable values 看以下两段代码: /** @return the sum of the ...
MIT 6.031 Software Construction 学习笔记:(四) Avoiding Debugging
taotao 的大学墓志
11-10 882
这章Reading 9: Avoiding Debugging给了我很大的收获，以前一些 ACMer 的不好的代码习惯(当然是为了快速coding)都在这里暴露无遗 First Defense: Make Bugs Impossible 主要是前面讲的一些内容的结合，一方面是编译器做足工作，另外一方面则是人要做足工作 static checking dynamic checking 这里主要是编...
MIT6.031学习笔记：Testing
weixin_44217000的博客
04-12 518
Reading 03-Testing 目标 这篇内容结束后，你应该： 了解测试的价值，了解测试优先程序的过程； 能够判断测试套件的正确性、彻底性和大小； 能够通过划分方法的输入空间和选择好的测试用例来设计方法的测试套件； Validation（验证） Testing is an example of a more general process called validation. 验证的目的...
MIT6.031 软件构造 Reading7阅读笔记Designing Specifications（设计规范）
车车的博客
06-18 303
Reading 7: Designing Specifications此篇文章研究类了似行为的不同规范，并讨论它们之间的权衡。将探索是什么使某些规范比其他规范更好。从以下三个方面来比较：确定性：当呈现满足前提条件的状态时，结果完全确定。只有一个返回值和一个最终状态是可能的。没有多个有效输出的有效输入。 确定性差不等于不确定性，不确定性必须引入随机化元素。操作规范给出了该方法执行的一系列步骤；伪代码描述是可操作的。 声明式规范没有给出中间步骤的细节。相反，它们只是给出最终结果的属性，以及它与初始状态的关系。为
哈工大软件构造阅读材料之MIT6.031(1)
weixin_44029038的博客
02-18 452
阅读1：静态检查 今天课程的目标 今天的课程有两个主题： 静态类型 优秀软件的主要三个属性 冰雹序列 首先我们介绍一个例子：冰雹序列。它的定义如下：以数字n开始，如果n为偶数，则下一个数 为n/2，否则n为奇数时，下一个数为3n+1，如此反复直到出现1为止。这里是一些例子： ...
MIT6.031 软件构造 Reading2阅读笔记 JavaBasic
Leowner
02-27 343
来自MIT6.031 软件构造课的Reading材料的第二篇。 重点讲授了 Java类相关的基础知识 Snapshot diagram的画法 mutable和immutable的定义及具体用法 == 和 .equals的区别 Collection的详细介绍 如何阅读API文档。 具体内容及笔记见下图，笔记主要以手写方式提供。 MIT官网直通车 FromPythonToJava直通车 —————...
高质量软件开发的全面指南(MIT-6.031)
最新发布
2301_79140115的博客
05-27 1517
首先，通过静态检查（Static Checking）和动态检查（Dynamic Checking）了解类型和变量的使用规则，学习如何编写文档和注释来记录假设和方法（Assumptions and Methods）。详细内容请见：（MIT-6.031）软件编写要求-优快云博客接着，掌握基本的Java编程知识，包括Java集合（Java Collections）和API文档（API Documentation）的使用。详细内容请见： 基本Java语法和语义 （Reading 2）-优快云博客随后，学习测试技
精选资源
MIT6.828-2016-中文：MIT 6.828（操作系统）的中文版本
02-03
这是MIT6.828的个人学习笔记，纳入非计算机专业出身，可能会有太多纰漏，烦请大神斧正。个人认为，操作系统是计算机专业课之中综合性很强的一门课，牵涉面广，知识点多，相对也非常难学。 大名鼎鼎的6.828的最大的...
【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 4
02-03
这是 Mathematics for Computer Science, MIT 6.042J - Fall 2010 - Lecture 4 (Number Theory I) 的笔记 PDF 版（Teddy van Jerry 整理），文件中有网课的地址链接。
MIT6.031Software construction学习笔记（二）
沈子鸣
01-24 1207
文章目录Java基础（Basic Java）开始学习Java（Getting started with Java）语法基础（Language basics）数字和字符串（Numbers and strings）使用对象（Using objects）Hello, world!快照图（Snapshot diagrams）基本变量（Primitive values）对象变量（Object values）...
软件构造课程学习感悟及ADT与OOP理解总结
qq_40602271的博客
06-17 521
经过一学期对软件构造的学习，学到了不少知识，对软件构造过程及其各个细节都有了不少的认识，现在分享一些自己的学习经验以及对某些知识点的认识。我觉得对软件构造的学习应该从广到精，先了解软件构造的大体框架，软件构造的过程，然后再继续深入了解各个实现细节。我觉得软件构造最核心的基础知识便是ADT和OOP,接下来跟大家分享一下我对这些知识的了解。抽象数据类型：ADT抽象意味着什么:抽象数据类型是软件工程中一...
MIT软件构造 -- ADT Patterns: Interfaces, Generics, and Enums
Lawless
06-15 401
接口（Interfaces） 基本概念不再赘述，值得注意（记住）的有几点： 接口不应该有构造函数 只有静态方法才能拥有方法体 接口实现不能破坏表示不变性 接口实现可以添加接口没有的方法，但是不能缺少接口声明的方法 接口实现不应该违背接口规约（比如接口规约声明为不可变类型，但在实现类里加入了mutator） 子类型（subtype） a是b的子类型，则a要么implement b，要么extend b。 a是b的子类(subclass)，则a extend b。 （随着接口的提出，java似乎是第一个跳
【MIT软件构造】Designing Specifications
xidoo1234的博客
03-25 261
规约的评判维度 确定性（deterministic）：对于确定的输入，规约规定的输出的确定性 declarative strong 确定性 考虑下列两个spec的区别 static int findExactlyOne(int[] arr, int val) requires: val occurs exactly once in arr effects: returns index i suc...
【MIT软件构造】Static Checking & Mutability & Immutability
xidoo1234的博客
03-24 249
java检查 静态检查：在程序运行之前会自动发现该错误。 动态检查：执行代码后会自动发现该错误。 不检查：该语言根本无法帮助您找到错误。 静态方法 public class Hailstone { /** * Compute a hailstone sequence. * @param n Starting number for sequence. Assumes ...
MIT软件构造Reading
G3089024575的博客
06-19 352
静态检查Static Checking 静态类型与动态类型 我们在编程敲代码的时候，很容易就会不小心敲错字母，从而导致无法识别关键字、变量名称未定义等情况发生。有时候会写关于运算的代码，比如a/b，在实际中b是不可以为0的，但是在程序中需要追踪检查b值变化情况，若b为0，则会出错。 我们手动输入的内容无法保证一定是正确的，因此，程序都需要进行对错误的检查。但是应该在什么时候进行检查呢？ 1）在写程序时报错。 2）在编译时报错。 3）在程序运行时报错。 4）不报错 编程语言有类型检查的机制，确保并强制声明的变
【MIT软件构造】Equality
xidoo1234的博客
04-07 380
引言 由前文知java提供了抽象数据类型ADT，使数据类型不再表现于具体属性，而表现于ADT在用户眼中的特征。可以想到 ，定义并阐明ADT的相等关系是很有必要的。 等价关系 一个等价关系E具有如下性质 自反性：E(t, t) ∀ t ∈ T 对称性：E(t, u) ⇒ E(u, t) 传递性：E(t, u) ∧ E(u, v) ⇒ E(t, v) 显然，我们定义的相等关系应该是一个等价关...
MIT6.031 软件构造 Reading1阅读笔记 Static Checking
Leowner
02-26 330
来自MIT6.031 软件构造课的Reading材料的第一篇，介绍了软件构造课的基本目标，提供了给Python程序员的Java基础课程，进行了Python和Java的对比，也简单介绍了本课程选择Java作为授课语言的原因。 具体内容及笔记见下图，笔记主要以手写方式提供。 ...
MIT6.031 软件构造 Reading4阅读笔记Code Review
Leowner
03-22 303
来自MIT6.031 软件构造课的Reading材料的第4篇。 重点讲授了 Code Review的意义，相关知识。 用其余的篇幅讲解了常用的代码规范内容，包括： Don’t Repeat Yourself (DRY) 用代码复用代替复制粘贴 Comments where needed 在需要的时候 要注释 + 才注释 Fail fast 如果出现错误，尽快挂断，避免传递错误...
【MIT软件构造】Specifications
xidoo1234的博客
03-24 467
行为等价性 在某个所给的规约情况下，两个程序的表现在用户看来是完全相同的，称为行为等价性。 规约 作用：帮助程序员协作、明确目标，作为用户的使用说明。同时程序的具体实现用户不需要知道，起到了保护的作用 原则：“你若违反规则，我便不负责任” 构成：方法声明+先决条件+结果说明 static int find(int[] arr, int val) requires: val occurs exa...
MIT 6.005软件构造：第一阅读理解 - 静态类型检查与Hailstone序列
在"MIT 6.005 Reading 1 Static Checking"这份讲义中，学生将深入理解软件构造的基本概念，特别关注静态类型检查的重要性和原则。本课程是麻省理工学院(MIT)电气工程与计算机科学系提供的6.005软件构造系列的一部分...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值