麻省理工18年春软件构造课程阅读03“测试” 1
需积分: 0 195 浏览量
2022-08-03
14:09:31
上传
评论 1
收藏 986KB PDF 举报
本
⽂
内
容
来
⾃
MIT_6.031_sp18: Software Construction
课
程
的
Readings
部
分
，
采
⽤
CC BY-SA 4.0
协
议
。
由
于
我
们
学
校
（
哈
⼯
⼤
）
⼤
⼆
软
件
构
造
课
程
的
⼤
部
分
素
材
取
⾃
此
，
也
是
推
荐
的
阅
读
材
料
之⼀
，
于
是
打
算
做
⼀
些
翻
译
⼯
作
，
⾃
⼰
学
习
的
同
时
也
能
帮
到
⼀
些
懒
得
看
英
⽂
的
朋
友
。
另
外
，
该课
程
的
阅
读
资
料
中
有
许
多
练
习
题
，
但
是
没
有
标
准
答
案
，
所
给
出
的
答
案
均
为
译
者
所
写
，
有
错
误
的
地
⽅
还
请
指
出
。
译
者
：
李
秋
豪
江
家
伟
审
校
：
李
秋
豪
V1.0 Tue Mar 6 01:54:34 CST 2018
本
次
课
程
的⽬
标
理
解
测
试
的
意
义
，
并
了
解
“
测
试
优
先
编
程
”
的
过
程
能
够
使
⽤
“
分
区
”
的
⽅
法
选
择
合
适
的
输
⼊
输
出
测
试
⽤
例
能
够
通
过
代
码
覆
盖
率
来
评
价
⼀个
测
试
的
好
坏
理
解
⿊
盒
/
⽩盒
测
试
、
单
元
/
综
合
测
试
、
⾃
动化
回
归
测
试
。
验
证
（
Validation
）
“
测
试
”
是
“
验
证
”
的
⼀
种
例
⼦
。
⽽
验
证
的⽬的
就
是
发
现
程
序
中
的
问
题
，
以
此
提
升
你
对
程
序
正
确
性
的
信
⼼
。
验
证
包
括
：
形
式
推
理
，
即
通
过
理
论
推
理
证
明
程
序
的
正
确
性
。
形
式
推
理
⽬
前
还
缺
乏
⾃
动化
的
⼯
具
，
通
常
需
要
漫
⻓
的
⼿
⼯
计
算
。
即
使
是
这
样
，
⼀
些
关
键
性
的
⼩
程
序
也
是
需
要
被
证
明
的
，
例
如
操
作
系
统
的
调
度
程
序
、
虚
拟
机
⾥
的
字
节
码
解
释
器
，
或
者
是
⽂
件
系
统
.
代
码
审
查
.
即
让
别
⼈仔
细
的
阅
读
、
审
校
、
评
价你
的
代
码
，
这
也
是
发
现
bug
的
⼀个
常
⽤
⽅
法
，
我
们
会
在
下⼀个
reading
⾥
⾯
介
绍
这
种
⽅
法
。
测
试
.
即
选
择
合
适
的
输
⼊
输
出
⽤
例
，
通
过运
⾏
程
序
检
查
程
序
的
问
题
。
即
使
是
最
优
的
验
证
，
程
序
也
不
可
能
达
到
⼗
全
⼗
美
，
这
⾥
列出
了
⼀
般
情
况
下
程
序
的
剩
余
缺
陷
率
residual defect rates(
软
件
发
⾏
时
存
在
的
bug
⽐
率
)
，
这
⾥
的
单
位
是
每
kloc (
每
⼀
千
⾏
代
码
):
1 - 10 defects/kloc:
常
⻅
的
⼯
业
级
软
件
。
0.1 - 1 defects/kloc:
⾼
质
量
验
证
后
的
软
件
。
例
如
Java
的
官
⽅
库
可
能
就
是
这
个
级
别
。
0.01 - 0.1 defects/kloc:
最
⾼
级
别
、
军
⼯
/
安
全关
键
软
件
。
例
如
NASA
或
者
像
Praxis
这
样
的
公
司
（
译
者
注
：
1.
欧
洲
著
名
的
电
⼒
⾏
业
信
息
化
解
决
⽅
案
专
家
，
⾪
属
于
世
界
第
三
⼤
的
电
⼒
集
团
E.ON,
总
部
位
于
德
国
。
2.
美
国
教
师
资
格
证
考
试
这
⾥
不
知
道
说
的
是
第
⼀个
还
是
第
⼆
个
（
体
现
⼀下
幽
默
感
？））
这
看
起
来
让
⼈
沮
丧
，
想
⼀
想
，
如
果
你
写
了
100
万
⾏
的
⼤
型
程
序
，
那
你
很
可
能
没
检
查
出
1000
个
bug
！
剩余16页未读，继续阅读
不美的阿美
- 粉丝: 20
- 资源: 292
最新资源
- 深度学习练手数据集（包括蚂蚁的验证和训练图片）
- 很好的一个蜂群算法 基于matlab实现的源程序 从作者那要过来的.rar
- 基于matlab实现的 非线性振动必备工具箱，里面有详细的步奏讲解,频谱分析，poincare截面，分岔图，李雅普洛夫图.rar
- 基于matlab实现的，计算了duffing振子（杜芬振子）和非线性加幂律振子的响应
- 基于matlab实现的newmark方法求解非线性振动duffing方程.rar
- 基于Opencv+Pyqt5+python实现人脸互换人脸融合人脸特效人脸生成多功能系统完整源码+项目说明.zip
- ChroPath.rar
- 2024年五月最新五一数学建模常用代码模板以及论文
- 基于matlab实现的非线性振动相关介绍，时域图、频率图、分叉图、轴心轨迹、
- 基于matlab实现的非线性振动教程，学习振动的学者们必须看的东西.rar
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
评论0