一种基于合约的构件易测试性设计方式论文.doc

第页共NUMPAGES7页
一种基于合约的构件易测试性设计方式论文

认识到应该把质量做到软产品中或至少预防软“产品质量问题。因此，软测试呈现向软开发的前软复用是提高软产品质量与生产效率的关期发展、与软开发的设计和编程阶段相融合的趋键技术。软构概念的提出为软复用提供了技势，软的易测试性设计正在成为新的研究热点。构术基础。构的高质量是构能被成功复用的前提。测试一个重要的发展方向是基于合约的构易测构测试是保证构质量的重要手段之一。构的试性设计。开发者和复用者必须对构进行充分的测试，以确本文提出一种基于合约的构易测试性设计方保它在新的环境中正常工作。
例如1996年Ariane5法，在构的设计和编码阶段由设计人员和编程人运载火箭的飞行失败表明，复用的构在新的环境员在构的接口和内部根据构的规约增加构的中未经过充分测试会引起灾难性的后果。合约，然后由工具自动检查合约语法、语义的正确与传统的软测试相比，构测试有其自身的性，插装合约检查代码，以便在软运行时自动对固有特点：⑴不能?对构的执行环境和用户的使用合约进行检查，当发生合约违反时自动抛出异常。模式进行完全准确的预测，故构开发者不能完全、本文还开发相应的支持工具，并且进行实验。彻底地对构进行测试，并且很难确定何时结束测_试;(2)构复用者和第二方测试人员通常无法翻构的源代码及详细的设计知识，故通常只能对构软的易测试性是一个系统或构有利于建立进行黑盒测试，即调用构的方法后只能通过观测试准则和执行测试以便确定该测试准则是否被满察执行的结果判断构的行为是否正确，无法检查足的难易程度Pl。
直观上我们也可以将软的易测试执行过程中的构的内部状态，使得构执行过程性理解为对软进行测试以保证其无缺陷和满足其中的一些故障被隐藏。这些困难对构测试提出了规约的难易程度。软的易测试性包括可控制性、可严峻的挑战。传统的软测试技术不能完全适用于观察性、可操作性、可分解性、简单性、稳定性等几个构测试。方面，其中可控制性是通过软的输入来控制它的长期以来，虽然人们将软测试作为一种重要输出，而可观察性是通过输出能更好地分析测试的的软质量保证手段，但是通常都是在软开发的结果。
后期，即编码阶段结束之后才开始对软进行测试。软的易测试性是衡量软质量的一项重要指此时已为时太晚，软已经开发成型。近年来，人们标。对软的易测试性的研究可以分为软的易测试性分析和易测试性设计两个方面。常，便于就近定位故障。软的易测试性分析研究对软的易测试DBC方法不仅能够让用户按一定的格式书写合性进行度量，其目的为：(1)为软的易测试性度约，而且提供相应的机制自动对合约进行处理和检量提供有效手段;(2)为软的测试提供指导;查，并且当程序在运行过程中违反合约时及时给出(3)为软的易测试性设计，进而为软的设计提出错信息。软的内建式测试方法是在程序中添加供帮助。额外的测试机制，使软能够工作在测试模式下。软软易测试性设计即是在软的设计和编码的内建式自测试方法就是在此基础上再增加测试中考虑测试问题，它借鉴了硬易测试性设计的用例生成机制。思想。软易测试性设计的目的是在不增加或者2.软合约的定义方法少增加软复杂性的基础上，将易于测试的原则现在主要有二种定义软合约的方法，第一种融合到设计和编码之中。软易测试性设计符合方法利用面向对象程序设计语言的继承机制专门设软测试的一个原则：尽早开始软测试工作，计一个负责测试的超类、第二种方法在程序代码不断进行软测试工作。软易测试性设计体现的注释中嵌入合约，并且使用预处理器在编译之前软测试的如下观点：软产品的质量是生产对程序进行插装;第〒种方法设计一种独立的语言(包括分析、设计、编码、测试)出来的，而不是框架，它所描述的合约与目标程序设计语言相分仅仅依靠软测试来保证。软易测试性设计也离。体现了软测试的一个发展趋势：向软开发的嵌入式合约语言的原型是C语言中的assert。目前期发展，与软开发的设计和编码阶段相融合。前比较有代表性的嵌入式合约语言包括ANNA(AN-易于测试的软本身所包含的缺陷也会减少。软Notated燗da)141、APP(Annotation燩re-Processor)爘51、易测试性设计将有效地提高软测试的效率和Nan#以及Eiffel等。质量，提高软设计和编程的质量，进而提高软ADL(Assertion燚efinition燣anguage)171是一种独立产品的质量。的语言框架，它是一组可以翻译成不同编程语言语软的易测试性设计方法包^合约式设计法的通用概念。AD1VC是专为C语言接口设计的(Design燘y燙ontract，简称DBC)、内建式测试ADL框架。ADL/Java扩展了燗DL方法，使之适应面(Built-in燭esting，简称BIT)和内建式自测试等几向对象的概念，如继承、多态、重载等。
种方法。