从测不准原理看软件测试的不充分性.docVIP

《自动化技术与应用》2008年第27卷第8期 仪器仪表与检测技术 Instrumentation and Measurment 从测不准原理看软件测试的不充分性 吉向东 (襄樊学院物理系,湖北　襄樊　441053 摘　　要:从测不准原理的哥本哈根解释出发,讨论了导致软件测试不充分性的根本原因。通过对软件测试过程各阶段的逐一分析,将 软件测试视为一种特殊的测量过程,应用测不准原理的哥本哈根解释,给出了导致软件测试不充分性的根本原因。由于单元测试和集成测试中编写的测试代码对原有代码的干扰,以及在整个测试过程中发现缺陷后对系统所做的更改,使软件测试的对象随着测试过程的进行不断的发生变化,软件测试的系统是一个随着软件测试过程的进行而不断改变的系统,根据测不准原理,如果测试系统对被测系统的影响不可以忽略,待测系统是不可能得到充分测试的。 关键词:测不准原理;软件测试;不充分性 中图分类号:TP311.5　　　　文献标识码:A　　　　文章编号:1003-7241(200808-0018-03 Discussions on Insufficiency of Software T esting According to the Uncertainty Principle JI Xiang-dong (Department of Physics, Xiangfan University, Xiangfan 441053, China Abstract: Insufficiency of software testing is discussed from the view of the Copenhagen School on the Heisenberg uncertainty principle. The fundamental cause of insufficiency of software testing is analysed at each phase of software testing. The original code is disturbed from the testing code for unit testing and integrity testing. So according to uncertainty principle, sufficiency testing to software system is impossible if the effect from test system can not be ignored. Keywords: uncertainty principle; software testing; insufficiency 收稿日期:2008-03-18 1　　引言 虽然不同研究人员给出了不同的判断软件测试充分性的准 则[1-4]。但是在实际的软件测试工作中,一般都认为,软件测试是 不可能充分的,即:任何软件都不可能做到零缺陷发布。这主要是从软件工程的角度来考虑,一方面,软件测试的投入时间要受项目工期的限制,另一方面,每一个软件项目的资金都是有限的,不可能对其进行无限制的投入。而且,软件测试实践表明,越到软件测试的后期,发现一个软件缺陷的代价就越大。那么,从理论上看,到底是什么原因导致了软件测试的不充分性呢? 软件测试,归根到底是一种测量。在测量过程中,测量设备和被测物体之间不可避免的会发生相互作用,测量也正是通过这种相互作用来获取被测物体的待测属性的。在一般的测量过程中,这种相互作用对被测物体的待测属性影响很小,可以忽略不计,比如温度的测量。然而,在软件测试中,测试代码对被测代码的影响是不可能被忽略的。在软件测试过程中发现缺陷,需要对原有代 码做出更改,这也使待测代码伴随着测试过程的进行而不断变化。本文尝试从量子力学中著名的测不准原理的哥本哈根解释出发,通过对软件测试过程和被测代码之间的相互作用进行分析,给出导致软件测试不充分性的原因。 2　　测不准原理 测不准原理即海森堡不确定关系。1927　年海森堡在研究微观粒子波粒二象性的基础上,　提出了这一原理: △A　△B ≥h/4π 上式中A、B　表示两个不对易的物理量。 测不准原理表明:　在一次测量中,对微观客体的两个不对易的物理量,　一个测量得越精确,另一个必然测得越不精确。如果对粒子的位置测量得越精确,　那么对它的动量(或者速度　的测量就越不精确,　即,它们是不可能同时被准确地测量的。对能量和时间等不对易的物理量也是如此。 关于测不准原理,作为“哥本哈根学派”之父的玻尔认为,对微观客体的观测必然给它带来不可控制的动量和能量干扰。玻 《自动化技术与应用》2008年第27卷第8期仪器仪表与检测技术 Instrument