计算机外文翻译测试多态的关系的准则.docVIP

测试多态关系的准则 Roger T. Alexander and A. Jefferson Offutt George Mason University Department of Information and Software Engineering Software Engineering Research Laboratory Fairfax, Virginia 22030-4444 ralexand,ofut @ 11th International Symposium on Software Reliability Engineering (ISSRE ’00), pages 15–23, San Jose CA, October 2000. 摘 要 面向对象的程序的重点在于定义同时具有状态和行为的抽象。这种重视会导致软件单元的软件组件的连接方式的重心。因此，我们发现，我们需要较少强调单元测试和更多的集成测试。继承的组成关系和聚集，特别是当与多态相结合，引进新品种集成故障。本文从一个正在进行的研究项目提出结果，具有提高面向对象软件的质量目标。新的测试标准介绍，采取继承和多态性的影响考虑在内。这些标准是基于类似程序之间数据流分析的新分析技术。这些测试标准可以通过确保集成测试是高品质的提高面向对象软件的质量。 介 绍 在面向对象的语言强调的是定义抽象（如抽象数据类型）该模型的各个方面 的问题[18]。这些抽象的实现为同时具有状态和行为的用户自定义类型。虽然抽象数据类型可以帮助实现更高质量的设计，但是它们的使用也可能会影响软件测试。一个主要因素是，从面向过程到面向对象的软件转移经常变化的复杂性。复杂性是在程序如何和部件相连接，而不是那些复杂的控制结构的程序，面向对象的软件往往有简单的程序。因此，测试人员发现，单元测试和更多的集成测试需要较少的强调。 在面向对象的语言[7]中发现的关系固有的复杂性也影响测试。继承和聚合的组成关系，结合多态性的力量，可以使它更难被侦测到故障元件集成的方式。这是因为组件的集成是不同的面向对象的语言[6]。 其中在本文所讨论的语言类型的主要区别是在用于抽象的机制。面向过程的语言使用过程和函数作为其主要的抽象机制，而面向对象的语言使用数据抽象。此外，面向对象的语言使用的继承和多态（动态绑定）的整合机制，这两者都可以强烈地影响组件的集成。继承不同于聚合，一个新的类型都可以访问的祖先类型的内部表示。当一个呼叫是由一个多态的方法形成，它执行的版本取决于物体的类型[18]。因此，继承和多态提供两种形式的整合是当测试对象必须处理时，这两者有一个面向过程的对应。 本文提出了一个正在进行中的具有改善面向对象软件的质量目标的研究项目的结果。先前的文献[ 1 ]提出了技术分析的面向对象软件的继承和多态的关系。本文提出了一种解决方案，在集成组件之间的多态关系发现错误的问题。该解决方案的总体策略是定义新的覆盖准则，这将允许测试在集成度程序方面加以形式化。测试充分性准则是重要的，原因有几个。通常情况下，当面对测试程序，开发人员不知道要测试什么或在哪里开始。首先，正规的标准有助于这种情况下通过提供用于指定测试要求的基础。反过来，测试要求通过提供一个清晰的要检验什么的描述来指导测试过程。这提供了一种机制，用于决定何时停止测试和可重复性的测试工作的基础。其次，正规的标准给测试人员提供一些方式来决定在测试过程中使用何种测试输入，使测试仪更容易发现故障的程序，并提供更可靠的保证软件的高品质和可靠性。 1.1 测试面向对象软件 程序单元是一个过程，函数或方法。一个模块是相关单位的集合，例如，一个C文件，一个Ada包，或Java class.Unit。模块测试（或只是单元测试）是程序单元和独立于其余软件测试的模块。集成测试是指测试接口单元和模块之间，以确保他们有一致的假设和正确的沟通[4]。这相对于系统的测试，其中的目的是测试整个系统集成为一个整体。因为强调测试接口，集成测试通常需要源代码的可用性白盒测试活动。与此相反，系统测试通常需要假定的情况下的源代码，因此通常是黑盒。请注意，虽然本文中遵循标准IEEE定义[15]，这两种术语在实践中通常可以互换使用。 测试要求是必须满足或覆盖的特定的事情，例如，达到语句是语句覆盖的要求。测试标准是强加在一组测试用例要求的规则或规则的集合。测试工程师测量的程度的标准是满足要求的百分比的覆盖率。测试实际上是包括数块。一个测试用例值直接满足一个或一个以上的测试要求。如果软件正确执行，预期输出是测试的结果。测试的其余部分包括任何其他的对于软件是必要的获得由测试用例值所需的状态，并导致显示或打印的实际输出的投入。 本文介绍了用于测试面向对象软件的新标准。首先，给出了一些背景的定义，并引入了一些新的术语。