河北省西门子V90授权总代理

浔之漫智控技术（上海）有限公司（xzm-wqy-shqw）

是中国西门子的佳合作伙伴，公司主要从事工业自动化产品的集成,销售和维修，是全国的自动化设备公司之一。

公司坐落于中国城市上海市，我们真诚的希望在器件的销售和工程项目承接、系统开发上能和贵司开展多方面合作。

以下是我司主要代理西门子产品，欢迎您来电来函咨询，我们将为您提供优惠的价格及快捷细致的服务！

测试目的，非常不利于测试人员发现软件的错误。于是他于1979年提出了他对软件测试的定义：“测试是为发现错误而执行的一个程序或者系统的过程。”这个定义，也被业界所认可，经常被引用。除此之外，Myers还给出了与测试相关的三个重要观点：

① 测试是为了证明程序有错，而不是证明程序无错误。

② 一个好的测试用例是在于它能发现至今未发现的错误。

③ 一个成功的测试是发现了至今未发现的错误的测试。

这就是软件测试的第二类方法，简单地说，就是验证软件是“不工作的”，或者说是有错误的。Myers认为，一个成功的测试必须是发现Bug的测试，不然就没有价值。这就如同一个病人（假定此人确有病），到医院做一项医疗检查，结果各项指标都正常，那说明该项医疗检查对于诊断该患者的病情是没有价值的，是失败的。Myers提出的“测试的目的是为了证伪”这一概念，推翻了过去“为表明软件正

河北省西门子V90授权总代理

试的发展指出了方向，软件测试的理论、方法在之后得到了长足的发展。第二类软件测试方法在业界也很流行，受到很多学术界专家的支持。发的准则，如果没有遵守这些准则，极有可能导致质量不高。

③ 通常，有一组没有显示描述的隐含需求（如期望软件是容易维护的）。如果软件满足明确描述的需求，但却不满足隐含的需求，那么软件的验证了合适的值，但是没有发现矛盾之处），需要像丙那样，用小工作量找出合适的反例。

IEEE把软件测试定义为：从通常是无限大的执行域中恰当地选取一组有限测试用例，对照程序已经定义的预期行为，动态地检验程序的行为。

从这个定义可以看出软件测试的4个特点：首先是“动态”，软件测试总要通过一组输入执行程序。但是，单靠输入值并不总能充分地确定一个测试，因为对于复杂、非确定的系统，由于系统会处于不同的状态，因此对于同样的输入可能产生不同的响应。所以，特定的输入通常还要指定系统的特定状态。其次是“有限”，在测试中实际能够观察的执行数量是有限的。测试永远都意味着有限资源和计划进度