邹检验ppt课件

程序员在完成某个模块的编程之后，一般总是要先对该模块 进行私下的测试，此时，可以先用白盒法选择(xuǎnzé)一些例子检 验程序的内部逻辑，再用黑盒法补充一些例子。程序员本人经私 下测试后认为程序根本可行，才会将程序交付出来。程序交付出 来之后，由其他人员以黑盒法为主再次对该模块进行测试。
联合测试又称集成测试或联调，其目的是根据模块结构图将 各个模块连接起来进行，以便发现问题。联合测试可以发现概要 设计时犯的错误，如模块界面上的问题等。与后面的系统测试一 样，联合测试的主要目标已不是发现模块内部的错误，所以通常 只采用黑盒法。
评审条款随系统的不同(bù tónɡ)可有所不同(bù tónɡ)，可根据软 件系统的性质和复查专家的经验来设定。
第九页，共14页。
第5章 软件检验
5.3 正 确 性 证 明
动态检验和静态检验的根本问题在于不可能说明软件中不存在错误， 人们所能做到的最好的结果是发现错误，因此自然希望(xīwàng)能找到 某种方法能确切地证明程序是没有错误的，这就出现了程序正确性证明 的研究领域。
第5章 软件检验
X Y
Z
模块X
图5.1 程序的输入(shūrù)变量与输出变量
第三页，共14页。
第5章 软件检验
白盒法是指测试人员必须了解程序的内部结构，此时，测 试用例是根据程序的内部逻辑结构来设计的。如果想用白盒法 发现程序中的所有错误，那么至少必须使程序中每种可能的执 行路径都执行一次。
例如，图5.1是一个很简单的程序，它有两个输入(shūrù)变 量x、y，一个输出变量z。假定程序是在字长为32位的计算机上 运行，且x、y都是整数，那么输入(shūrù)数据的可能值有 232×232＝264种。
程序走查(Code Walkthrough)是另一种有效的评审活动。走查的 关键在于：以人工运行作为媒介，通过这种方式启发与会者向程序 员提出种种问题，从而发现程序中的错是 将软件中常见的各类错误列成清单作为评审条款。评审过程中按评 审条款有针对性地进行检查，就可到达多、快、好、省的目的。

186 179.3
25
40 42.7
264 21.9来自2796 59.928
12 36.5
29
36
35
30
21 84.8
31
33 45.7
32
5 41.3
33
22 33.2
34
50 94.6
35
5 41.5
36
13 34.3
37
8
32
38
206 206.4
39
9 21.6
40
19 60.1
41
93 89.1
(
xki
Sk
xk )
(xli Sl
xl
)
rkL
n
(xki xli )
i 1
1 n
n i 1
xki
n i 1
xli
n
i 1
xli 2
1 n
n i 1
xli
2
n
i 1
xki 2
1 n
n i 1
xki
2
▪ 第1式：计算均值->计算标准差->计算离均差；计算离
均差乘积；计算相关系数。
▪ 变量之间存在错综复杂的关系，偏相关系数与简单相关 系数在数值上可能相差很大，甚至符号都可能相反，偏 相关系数更能反映现象之间的真实关系。
▪ 例：商品的需求同时受收入水平和价格的影响，在一定 的收入水平下，商品的价格越高，商品的需求量应该越 小。可是实际生活中，收入和价格常常都有不断提高的 趋势，如果不考虑收入对需求影响，仅利用需求和价格 的数据去计算简单相关系数，可能得出价格越高需求越 大的错误结论。
偏相关系数计算

3
假设检验的基本原理
• 已知健康成年男子的脉搏均数为72次/分。某医生在某山区随机调查25 名健康男子，求得脉搏均数为74.2次/分，标准差6.5次/分。能否认为该 山区的成年男子的脉搏均数高于一般成年男子的脉搏均数？
• 样本均数和总体均数的差异有两种可能： • 抽样误差所致, • 有本质差异
0 72
2
假设检验的原因
由于个体差异的存在，即使从同一总体中严格的随机抽样，X1、X2、X3、 X4、、、，不同。 因此，X1、X2 不同有两种（而且只有两种）可能： （1）分别所代表的总体均数相同，由于抽样误差造成了样本均数的差别。差别 无统计学意义 。 （2）分别所代表的总体均数不同。差别有统计学意义。
• (2)备择假设：拒绝双H侧0时检而验被H接0:受的假设0 ，与H0对立。有三种情况：
单侧检验 单侧检验
2．单、双侧的H选1 :择：由0专业知。通常取0.05。
H1:0
6
▲选定检验方法，计算检验统计量
• 根据资料类型和推断目的选用不同的检验方法。不同的检验方法有相应 不同的检验统计量及计算公式。
2.两大样本的u检验
u X 0 sn
u X 0 n
u x1 x2 s12 s2 2 n1 n2
11
例题7－1 • 根据1983年大量调查结果，已知某地成年男子的脉搏均数为72次/分，某医
生2003年在该地随机调查了75名成年男子，求其脉搏均数为74.2次/分，标 准差为6.5次/分，能否据此认为该地成年男子的脉搏不同于1983年？
• 所大有小检，验并统且计服量从都已是知在的分H0布成。立的条件下计算出来的，反映了抽样误差的
• 例：
成立条件下 ，
则
用s代替σ，检验统计量为

·单击“OK”按钮,生成表格。
表中列出了紧张时选择打结方法的类别(Category)、频数(N)、 频数所占比例(Observed Prop.)、给定的前一项的概率(Test Prop.)和双尾精确显著性概率(Exact sig.)。由于显著性概率小于 5%,故否定数据服从均匀分布的假设,即认为紧张时受试者采用 不同打结方法的概率是有显著差异的。
1.基本数学原理 卡方检验属于拟合优度型检验,适用于具有明显分类特征的
某种数据,用来检验属于某一类别的对象或反应的个案数与根据 零假设所得期望数目之间是否有显著差异。
2.SPSS实现
1)对话框介绍
在"Nonparametric Tests"子菜单中单击"Chi-Square"选 项,打开"Chi-square Test"对话框。对话框中各选项的意义 为:
·单击“OK”按钮,生成表1。
One-Sample Kolmogorov-Smirnov Test
N Norm al Parameters a,b
Mean
Std. Dev iation
》Use specified range单选钮 选择此项,下面的 "Lower"文本框和"Upper"文本框变为可用,在其中输入数 值,确定自定义数据范围的下限和上限。
·Expected Values方框 在该方框中确定变量中各组数据期望值的 设置方式。
》All categories equal单选钮 为默认选项。选择此项,假设变量 中各组数据的期望值相等。检验样本数据是否服从均匀分布时选 择此项。
按照以下步骤进行分析:
·在数据编辑器中打开数据文件"Life.sav":