论文部分内容阅读
软件测试的目的是发现软件中潜在的错误。当软件测试达到充分的时候，测试工作就可以停止了，这就是软件测试充分性问题。它是从软件在有限多个测试数据上的行为判断软件在所有输入数据上的行为的逻辑基础，它使软件测试建立在客观的度量软件测试质量的基础上，在软件测试中有着许多重要作用。软件测试充分性准则是判定测试数据集对于被测程序是否充分的准则。如果测试数据集不充分，就必须增加更多的测试数据，否则可以结束当前测试工作。
随着面向对象技术的飞速发展，继承、封装和多态等机制在提高软件重用的同时也大大增加了软件测试和测试充分性度量的难度，因此面向对象软件测试充分性问题是值得探索的。本文在对现有的测试充分性准则进行研究的基础上，将UML应用与面向对象的软件测试，提出基于组合状态图的测试充分性准则，最后应用该准则指导面向对象集成测试用例的生成，对提出的测试充分性准则进行验证。主要研究内容及成果如下：
(1)研究现有的测试充分性准则；
(2)将UML的协作图和状态图应用于集成测试；
(3)建立组合状态图测试模型；
(4)提出基于组合状态图的测试充分性准则；
(5)应用准则指导测试用例生成，验证准则的有效性。