• 软件测试技术
  • 软件测试视频
  • 开源软件测试技术
  • 软件测试沙龙
  • 软件测试资料下载
  • 软件测试杂志
  • 软件测试人才招聘

字号: | 推荐给好友 上一篇 | 下一篇

科学“证明”的本质与软件开发

发布: 2008-9-24 09:59 | 作者: 不详 | 来源: 领测软件测试网采编 | 查看: 12次 | 进入软件测试论坛讨论

领测软件测试网 软件测试技术门户4PwE2VRi

VYA&u.XA#g dx实验结果

{&sK(Knc;G%O

1BTfG!M5M3@d4P一个科学实验定义了它所进行的适用范围。被限制在适用范围中的实验得到符合或是不符合理论的结果。这些情况被总结在一个2x2的矩阵中,如图1所示。软件测试技术门户#?J @b8t&x

软件测试技术门户ew@q%bXZ#@2vb

图1:理论和实验

-gvz5fDj

@;K7jb1co,nr ?当然,在实际世界中,我们无法知道我们在矩阵的左边还是右边——我们不知道理论是否正确。我们通过做实验能知道的所有事情是,实验结果符合或是不符合提出的理论;也就是说,我们可以“看到”图表的上半部或是下半部。让我们分析这四种可能结果。

3L/zj D0i,[

$}:u guAs;[+Pzq^'b在实验符合理论的情况下(由图1的上半部示出),我们有两个可能相关也可能不相关的结果:软件测试技术门户A`y!V"c

A. 理论是不正确的,或受限的,但是还没有实验,包括我们刚刚完成的实验,推翻它(左上的情况)。软件测试技术门户e6x5Y _C;w,Hv

UY%a e0z Wa XB. 实验表明理论是正确的,理论在接受程度甚至适用范围上有所增长(右上的情况)。

R c0B*vc A7w在后面我将对这两种结果作进一步解释。软件测试技术门户)Uj!]%`\_P

软件测试技术门户"xo5?