当前的WSDL 信息包罗输入??输出的数量、每个输入和输出的变量范例、输入的顺序和输出返回的顺序和一个Web Service 该当如何挪用的信息。可是, 为了执行Web Services 的黑盒测试和回归测试, 以上信息是远远不足的。文献[ 56] 从输入和输出的依赖干系、挪用顺序、条理成果描写和并发顺序类型四个方面临WSDL 举办了扩展, 提高了Web Services 的易测试性。
可是在有些环境下, 某些措施的期望功效很可贵到, 即此时不能获得相应的测试预言。文献[ 33] 研究了不需借助测试预言来对措施举办测试的技能。操作该技能可以对无法得到测试预言的措施举办测试。其道理是按照被测措施的性质, 回收变形干系, 即被测措施须要但不充实的条件, 凭据多组测试数据执行被测措施, 查抄变形干系是否能被满意。若变形干系不能被满意, 则说明被测措施中必定存在缺陷。譬喻对付计较余弦函数值的措施, 可以操作变形干系cos( - x ) = cos( x ) 来举办测试。取2 个数值a, - a 别离作为措施的输入计较cos ( a ) 和cos( - a) , 假如两次计较所获得的功效不相等则说明措施有缺陷。
摘?? 要?? 从软件测试的技能与进程、一连的软件测试、软件测试的充实性准则等方面扼要先容软件测试的根基思想; 接头软件测试中的若干问题, 包罗面向路径的测试数据自动生成、测试预言、期望功效的自动生成、回归测试等; 而且探讨软件测试的成长趋势, 包罗构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services 测试等。
与传统的软件测试对比, 构件测试有着自身的固有特点[ 42] : ( 1) 不能对构件的执行情况和用户的利用模式举办完全精确的预测, 故构件开拓者不能完全、彻底地对构件举办测试, 而且很难确定何时竣事测试; ( 2) 构件复用者和第三方测试人员凡是无法获得构件的源代码及具体的设计常识, 凡是只能对构件举办黑盒测试, 即挪用构件的要领后只能通过调查执行的功效判定构件的行为是否正确, 无法查抄执行进程中的构件的内部状态, 使得构件执行进程中的一些妨碍被埋没。这些坚苦对构件测试提出了严峻的挑战。
完整的软件测试事情也应该贯串整个软件保留周期, 它有两方面的寄义: ( 1) 软件开拓差异阶段都有软件测试事情; ( 2) 软件测试事情的各个步调漫衍在整个软件保留周期中[ 2] 。
系统
软件的内建式测试要领是在措施中添加特另外测试机制, 使软件可以或许事情在测试模式下。
Goodenough 和Gerhart 于1975 年在研究软件测试可否担保软件的正确性时提出软件测试充实性的观念[ 18] 。软件测试的充实性是按照被测软件在有限多个测试数据上的行为判定在所有测试数据上的行为的逻辑基本[ 10] 。
软件测试是保障软件质量的重要手段, 但它不是万能的, 不能代替其他软件质量保障手段。完整的软件质量保障勾当应该贯串整个软件保留周期, 包罗评审、查抄、审查、设计要领学和开拓情况、文档体例、尺度、类型、约定及怀抱、培训、打点等。软件质量需要综合运用包罗软件测试在内的诸多手段才气获得最有力的保障。
软件测试是担保软件质量和靠得住性的重要手段。今朝很多项目标软件工程实践以布局化阐明和设计为焦点, 在开拓阶段的前期, 包罗需求阐明和设计都是以技能评审和工程打点作为质量担保的手段, 而技能评审和工程打点主观因素很大, 很大概又引入错误并扩展到后续开拓阶段[ 2] 。
软件的内建式自测试要领就是在此基本上再增加测试用例生成机制[ 38] 。
文献[ 8] 将各类求解Q 问题的要领分为随机法、静态法、动态法和试探法。静态法对措施举办静态阐明和转换, 不涉及措施的实际运行, 它包罗标记执行法[ 24] 和文献[ 25] 提出的要领等。动态要领例基于措施的实际运行, 其生成测试数据的进程是确定性的, 它包罗直线式措施法[ 26] 和文献[ 27, 28, 29] 别离提出的要领等。试探法包罗遗传算法[30] 和模仿退火算法[31] , 这些要领固然也需要实际运行措施, 可是其生成测试数据的进程不完全是确定性的, 而回收了概率论的思想。
构件测试一个重要的成长偏向是基于合约的构件易测试性设计。合约可以在运行时被查抄, 便于捕捉构件执行进程中的一些妨碍, 提高构件的易测试性。因此, 基于合约的构件易测试性设计不只为构件开拓者开拓高质量的构件提供辅佐, 并且在构件开拓者与复用者之间架起一座桥梁, 为构件复用者的测试提供支持, 也为构件开拓者捕捉错误提供便利, 便于区分构件开拓者与复用者的责任。假如浩瀚的构件开拓者都回收合约式设计要领出产构件, 那么失效时很容易定位到构件和个中的要领。为使基于合约的构件易测试性设计要领可以或许实用, 需要研究办理以下问题: 构件合约的描写、表达, 构件中合约的获取, 对构件合约的自动查抄, 以及针对构件合约的软件测试。
合约是打点工具之间的交互的一组法则[ 40] 。合约的来历是软件的规约, 它指明白软件?? 做什么??而不涉及?? 奈何做??。常见的合约范例包罗: 前置条件、后置条件、稳定式、轮回变式??
3. 1 ?? 软件的易测试性设计
测试预言是一种检讨待测系统在特定执行下是否正确运行的要领。期望功效用来确定测试用例执行的乐成与否, 它是措施按照输入应该获得的输出。因此, 期望功效是一种较量抱负的测试预言。自动生成期望功效不只能有效地减轻测试人员的承担, 并且能为不中断的一连测试提供有力的支持。可是现有的对自动生成期望功效的研究事情很少。文献[ 32] 先容了一种为自动化的黑盒测试生成期望功效的技能。该技能通过阐明措施的输入??输出干系确定影响输出变量的输入变量荟萃, 执行一个小局限的测试用例集并检讨它们的输出功效的正确性。
软件的单位测试中节制流测试中诸如语句包围、分支包围、条件包围、鉴定??条件包围、路径包围等问题和数据流测试中的全定值包围、全引用包围等问题[9, 10] , 以及组装测试中的挪用对包围和数据流测试等问题可以归结为Q 问题。面向断言的测试中的一些测试数据生成问题也可以归结为Q 问题[ 20, 21] 。文献[ 22] 将回归测试中的一些测试数据生成问题也归结为Q问题。
软件测试在整个软件开拓周期所占的比重很大。据统计, 在所有的软件测试的开销中, 约40% 耗费在设计测试用例上, 约50% 耗费在编写和编译测试剧本上, 别的约10% 耗费在测试剧本的执行和设置打点上[ 20] 。
图1 ?? 软件测试技能的分类
单位测试设计执行
1 ?? 软件测试的根基思想
自动求解Q 问题将有效地减轻测试人员的劳动强度, 提高测试的效率和质量, 节减软件开拓的本钱。按照估算, 对付一个典范的大型软件项目, 若能自动生成测试数据, 则能节减整个软件开拓用度的4%, 相当于数百万美元[ 20] 。
具体
3 ?? 软件测试的成长趋势
在软件测试中, 面向路径的测试数据生成问题( 在本文中简称为Q 问题) 描写为: 给定一个措施P 和P 中一条路径W, 设P 的输入空间为D, 求??x ?? D, 使得P 以??x 为输入运行, 所颠末的路径为W。
凭据生成测试数据所按照的信息来历, 动态测试分为基于规约的测试( 又称黑盒测试或成果测试) 、基于措施的测试( 又称白盒测试或布局测试) 以及措施与规约相团结的测试。基于规约的测试是指测试人员无须相识措施的内部布局, 直接按照措施输入和输出之间的干系或措施的需求规约来确定测试数据, 揣度测试功效的正确性。基于规约的测试包罗: 等价类分别、因果图、鉴定表、边值阐明、正交尝试设计、状态测试、事务流测试等。基于措施的测试是指测试人员按照措施的内部布局特性和与措施路径相关的数据特性设计测试数据。它包罗节制流测试和数据流测试两类主要技能以及域测试、标记执行、措施插装和变异测试等其他技能。措施与规约相团结的测试则综合思量软件的类型和措施的内部布局来生成测试数据[ 1, 2,9, 10] 。
软件开拓的各个阶段都需要人的参加。因为人的事情和通信都不行能完美无缺, 呈现错误是不免的。与此同时, 跟着计较机所节制的工具的庞洪水平不绝提高和软件成果的不绝加强, 软件的局限也在不绝增大。譬喻, Windows NT 操纵系统的代码约莫有3 200 万行[ 3] 。这使得错误更大概产生。人们在软件的设计阶段所犯的错误是导致软件失效的主要原因。软件巨大性是发生软件缺陷的极其重要的来源[4] 。
软件的失效有大概造成庞大的经济损失, 甚至危及人的生命安详。譬喻, 1996 年Ariane 5 运载火箭的发射失败等都是由软件妨碍引起的[ 1, 2] 。
1??1 ?? 软件测试的技能与进程
当前, Web Services 越来越受到人们的存眷, 它利用了包罗SOAP、WSDL 和UDDI 在内的尺度协议。这些尺度协议浮现了互操纵性, 并用于应用的开拓及运行时Web Services 的选择和挪用。Web Services 的测试和评估对处事提供者和处事利用者来说都是相当重要的。WebServices 的测试相当于黑盒测试, 可以得到规约, 却不能获得设计或源代码。Web Services 规约是用WSDL 写的, 而代码是用Java、C# 或其他编程语言写的。
回归测试的目标是确认修改后的软件, 以担保在以前测试过的代码中没有引入新的缺陷。据统计, 回归测试占整个软件系统开销的1??3[ 34] 。已有的测试用例集是回归测试的基本。回归测试还要按照需要设计新的测试用例。针对已有的测试用例集, 回归测试主要有选择性重测和全部重测两种计策。为淘汰回归测试的开销, 在担保回归测试的质量的前提下, 应只管淘汰回归测试时需求运行的测试用例数目。文献[ 35] 研究了如何简化测试用例集以满意沟通的测试方针。文献[ 36] 则从测试进程、开销阐明、条理性、支持东西等几个方面临家产情况中的回归测试举办了研究。固然该文所接头的是家产规模里的环境, 可是它同样合用于其他规模。
设计
跟着软件技能的不绝向前成长, 构件、Web Services 等新技能的应用为软件测试带来新的问题和挑战, 也为软件测试的成长带来新的机会。软件测试技能自身的不绝成长对软件开拓要领学将发生影响。跟着软件易测试性观念的提出和研究的不绝深入, 软件的易测试性将成为权衡软件质量的一项指标。软件易测试性阐明技能将为怀抱软件的易测试性, 进而为改造和提高软件测试的进程以致软件开拓的进程提供辅佐。软件测试今朝泛起向软件开拓的前期成长、与软件开拓的设计阶段和编码阶段相融合的趋势。软件易测试性设计技能将辅佐软件开拓者在软件中嵌入测试信息, 开拓具有自测试本领, 而且可以或许向外界提供相应测试信息的软件实体( 如构件) , 为办理基于构件、Web Services 等新技能的软件开拓要领所带来的新问题提供有前途的办理步伐。
文献[ 14] 阐明白面向工具措施设计语言的特点及其对软件测试的影响, 从基于规约的测试要领和基于措施的测试要领以及测试要领与软件开拓进程的集成途径等方面, 综述面向工具软件测试规模有代表性的研究事情。
3. 2 ?? 构件测试
下面探讨软件测试一些新的研究动向和成长趋势。
阐明
固然软件测试在软件质量担保中正发挥着越来越重要的浸染, 可是, 今朝在有些单元或部分软件测试仍然没有获得足够的重视, 主要有两个原因: ( 1) 任务或市场的压力大。软件产物一般都有一个最后的宣布期限。假如在软件开拓的前期由于各方面的原因造成了工期的耽搁( 这种现象在软件开拓中很普遍) , 而且软件产物的宣布期限不容变动( 即所谓的?? 后墙不倒??) ,那么只能缩短软件测试的时间, 其功效是牺牲了软件产物的质量。这其实是由于错误地估量了软件开拓的进度所造成的, 需要越发精确地估量软件开拓的进度; ( 2) 软件测试的实施结果不很抱负, 表示为投入大, 回报低。这主要是由于当前软件测试的自动化水平偏低, 现有的软件测试技能不能满意当前软件开拓的要求, 需要研究越发有效的软件测试技能, 而且加快把先进、有效的技能从尝试室转化为家产界实用的要领的历程, 开拓更多、更好的支持软件测试自动化的产物, 为测试人员提供辅佐。
[ 38, 45, 53] 、构件复用者和第三方的测试( 没有源代码) [ 42, 43, 52] 。从测试进程中所回收的技妙手段可分为: 基于变异测试的要领[ 38,53, 54] , 基于构件状态机的要领[ 50] , 对构件的回归测试[ 52] , 以及构件的易测试性设计[ 38,44, 48, 49] 等。
下面从软件测试的技能与进程、一连的软件测试、软件测试的充实性准则等方面扼要先容软件测试的根基思想。
系统测试打算设计执行
?? ?? 测试充实性准则是鉴定测试数据集对付被测措施是否充实的准则。假如测试数据集不充实, 就必需增加更多的测试数据, 不然可以竣事当前测试事情。在文献中, 有很多软件测试的充实性准则, 以及对充实性准则的研究[ 10] 。精采的软件测试充实性准则应该具有如下基天性质: 空集不充实性、有限性、单调性、非复合性、非解析性、非外延性、一般多重修改性、巨大性、回报递减律。
Voas 将软件的易测试性界说为必然测试计策迫使软件中存在的妨碍被袒露的概率[ 37] 。
2. 2 ?? 测试预言、期望功效的自动生成
表1 描写了软件测试各阶段事情在软件保留周期中的漫衍环境( 表中从左往右各列存在时间由前往后的顺序性) 。凭据软件测试流程, 将软件测试事情分别为打算( 指举办测试打算) 、设计( 指举办测试设计) 和执行( 含评价, 指执行测试并鉴别功效、评价测试结果和被测试软件) 几个阶段。表1 表白软件测试事情持续不绝地在软件开拓进程中举办。这浮现了软件测试的一个原则: 尽早开始软件测试事情, 不绝举办软件测试事情。
参考文献
软件易测试性设计的目标是在不增加可能少增加软件巨大性的基本上, 将易于测试的原则融合到设计和编码之中[39] 。软件易测试性设计切合软件测试的一个原则: 尽早开始软件测试事情, 不绝举办软件测试事情。软件易测试性设计浮现软件测试的如下概念: 软件产物的质量是出产( 包罗阐明、设计、编码、测试) 出来的, 而不是仅仅依靠软件测试来保障。软件易测试性设计也浮现了软件测试的一个成长趋势: 向软件开拓的前期成长, 与软件开拓的设计和编码阶段相融合。易于测试的软件自己所包括的缺陷也会淘汰[ 2] 。软件易测试性设计将有效地提高软件测试的效率和质量, 提高软件设计和编程的质量, 进而提高软件产物的质量。软件的易测试性设计要领包罗合约式设计( Design by Contract ) 、内, 建式测试和内建式自测试等几种要领。
求解Q 问题的实质在于约束系统的成立和求解。成立约束系统的坚苦是阐明、化简路径W 上的各类语句身分和各类数据范例, 成立尽大概简捷的约束系统; 求解约束系统的主要坚苦是处理惩罚大概存在的非线性约束。文献[ 23] 的研究表白, 不存在通用的有效的算法, 对付任意的P 和W, 能生成使W 被颠末的输入数据。可是实际应用的需要迫使人们举办研究, 并提出各类要领求解Q 问题。
设计
3??3 ?? Web Services 测试
另一方面, 软件测试确实可以或许发明软件中埋没的很多缺陷。譬喻, 在英国约克大学为英国水师开拓的SHOLIS 项目中, 尽量回收形式化要领描写和证明软件规约, 而且回收措施正确性证明要领解除了软件开拓前期的很多缺陷, 单位测试仍然发明白整个软件开拓进程15??75%的缺陷[ 5] 。
测试
1. 2 ?? 一连的软件测试
6 陈火旺, 罗朝晖, 马庆鸣. 措施设计要领学基本. 长沙: 湖南科学技能出书社, 19877 Clarke E M, Grumberg O, Peled D. Model Checking. Cambridge, Massachusetts, London, England: The MITPress, 1999
对用户而言, 凡是需要归并多个Web Services 来满意他们的需求, 所谓的处事聚合就是按照用户的要求归并现存的Web Services。这时需要一种尺度语言来描写差异的Web Services 是如何集成在一起的, 即描写Web Services 流的语言。当前有两种常见的Web Services 流描写语言WSFL 和XLANG。假如让用户本身来描写Web Services 流, 很大概会导致错误。在发明错误之前, 流中的很多Web Services 已经被挪用了, 其效果会导致事务回滚坚苦、引起网络拥塞, 从而造成资源挥霍。文献[ 58] 和[ 59] 对Web Services 流的测试举办了研究。
文献[ 57] 则提出了一个支持测试执行和测试剧本打点的测试框架。
元测试)
5 ?? 竣事语
要害词?? 软件测试; 软件质量; 软件的易测试性; 构件测试跟着社会的不绝进步和计较机科学技能的飞速成长, 计较机及软件在百姓经济和社会糊口等方面的应用越来越遍及和深入。作为计较机的魂灵, 软件在个中起着举足轻重的浸染。
测试
软件测试是一项费时、艰辛而且单调乏味的勾当, 测试人员需要设计、执行、阐明大量的测试用例。软件测试的自动化将有效地减轻测试人员的劳动强度, 提高测试的效率和质量, 从而节减软件开拓的本钱, 提高软件的质量。
如图1 所示, 现有的软件测试技能凡是分为静态测试和动态测试。静态测试是不执行措施代码而寻找措施代码中大概存在的缺陷或评估措施代码的进程。静态测试包罗主要由人工举办的代码审查、代码走查、桌面查抄以及主要由软件东西自动举办的静态阐明。假如广义地领略, 静态测试还包罗软件需求阐明和设计阶段的技能评审[ 2] 。
2 ?? 软件测试中的若干问题
跟着人们对软件测试重要性的认识越来越深刻, 软件测试阶段在整个软件开拓周期中所占的比重日益增大。此刻有些软件开拓机构将研制气力的40% 以上投入到软件测试之中; 对付某些性命攸关的软件, 其测试用度甚至高达所有其他软件工程阶段用度总和的3 到5 倍[ 1] 。
跟着软件财富模式从以产物为中心的制造业转变为以客户为中心的处事业, WWW 从2层体系转变为3 层体系, B2B 从巨大专用的毗连转变为简朴通用的毗连, 漫衍计较中间件从Intranet 扩展到Internet, CORBA、COM 及EJB 等中间件技能已不能适应这些成长需求, 因而导致了新型中间件技能Web Services 的发生[ 55] 。
构件的高靠得住性是构件能被乐成复用的前提。构件测试是保障和提高构件的靠得住性的重要手段。构件的开拓者和复用者必需对构件举办充实的测试, 以确保它在新的情况中事情正常。
当前社会的信息化进程对软件的开拓要领与出产本领提出了新的要求, 软件复用是提高软件产物质量与出产效率的要害技能。软件构件观念的提出为软件复用提供了技能基本[ 41] 。
提要
文献[ 61] 阐明和先容软件构件和构件化软件, 以及陪伴而来的对软件测试的挑战, 并接头构件的易测试性问题; 然后先容软件构件的验证要领和构件化软件的测试要领, 包罗组装测试、回归测试和机能怀抱; 最后探讨软件构件和构件化软件的质量担保要领。该文献也将构件的易测试性作为办理构件测试问题的一个重要方面。可是由于构件测试研究的时间较短, 今朝尚不成熟, 故该文献也只是将现有研究事情举办综述, 并举办相应探讨, 而无法给出彻底办理软件构件和构件化软件的测试问题的方案。
本节接头面向路径的测试数据的自动生成、测试预言( test oracle) 、期望功效的自动生成和回归测试等问题。
4 ?? 软件测试综述论文的较量
组装测试打算?? ?? ?? ?? 设计执行
对付选择性重测的测试计策, 在选择哪些测试用例需要从头运行时要举办大量的阐明, 价钱很大。假如阐明之后, 功效发明所有可能险些所有的测试用例都被选中, 那么就基础就没须要去举办阐明?? ?? ?? 简朴地从头运行整个测试用例集同样有效甚至更有效。为此, 文献[ 3] 提出了一种能高效运算的预告要领, 对付一个给定的措施, 它能预告利用某些范例的选择性回归测试技能的价钱??效力干系。其思想是如果能很快就鉴定很大概从头运行回归测试集里很大一部门, 那么, 简朴地从头运行整个测试用例集就很大概是价钱有效的, 从而节减了阐明的开销。
表1?? 软件测试各阶段事情的漫衍
文献[ 8] 改造文献[ 29] 提出的要领中结构和求解线性约束系统的要领。与原要领对比, 改造后的要领不只成立线性约束系统的效率更高, 并且生成测试数据的本领更强, 可以或许用于黑盒测试数据的自动生成。文献[ 8] 以改造后的要领为焦点算法, 开拓了一个面向路径的测试数据生成原型东西, 并用实际的措施路径对该东西举办尝试。劈头的尝试功效表白改造后的要领是较量有效的, 不只可以或许用于白盒、黑盒测试数据的自动生成, 并且可以或许用于面向断言的测试数据自动生成和回归测试数据的自动生成。
2. 1 ?? 面向路径的测试数据自动生成
测试
假如这个测试用例集执行功效正确, 就可以自动生成更大的输入数据荟萃的期望功效。作者对这种技能举办了尝试, 按照检讨384 个测试用例的输出功效来自动生成约莫600, 000 个测试用例的期望功效。功效表白该技能是较量有效的。
Table. 1 ?? Activity distribution in the phases of software testing需求
软件的易测试性包罗可调查、可节制、可领略等几个方面[38] 。软件易测试性设计等于在软件的设计和编码中思量测试问题, 它警惕了硬件易测试性设计的思想。为了淘汰测试集成电路的测试开销, 提高产物的质量, 工程师回收易测试性设计技能, 即在集成电路上增加特另外引脚, 通过这些引脚可以或许在测试时探测集成电路的内部, 提高了可节制性和可调查性。内建式测试( Bulit??In Testing) 要领是一种易测试性设计技能, 它在集成电路上引入测试电路或引脚, 使得集成电路可以或许事情在测试模式下, 而且传输测试输入, 捕捉输出。这种要领的进一步扩展就是再增加测试输入生成电路, 从而制止外界的输入。这就是内建式自测试观念[ 38] 。
软件测试的进程分为单位测试、组装测试、确认测试、系统测试等几个阶段[ 1,2, 9] 。单位测试可以运用白盒测试( 节制流、数据流测试) 、黑盒测试( 等价类分别、因果图、边值阐明) 等多种测试技能。组装测试主要回收黑盒测试中的等价类分别、边值阐明, 白盒测试中的数据流测试, 域测试, 挪用对包围等测试技能。组装测试的计策是指举办单位组装的要领和步调。组装测试的计策有渐增式组装和非渐增式组装两类, 而前者又分为自底向上和自顶向下两种方法[ 1,2] 。确认测试主要回收黑盒测试中的状态测试、事务流测试等测试技能[2] 。
2. 3 ?? 回归测试
确认测试打算?? ?? ?? ?? ?? ?? 设计执行
尽量人们在软件开拓进程中也回收形式化要领描写和证明软件规约[ 5] , 并回收措施正确性证明[ 6] 、模子检讨[ 7] 等要领担保软件质量, 可是这些要领都存在必然的范围性[ 8] , 尚未到达遍及实用阶段。因此, 措施代码最终浮现了软件的质量, 无论是从软件开拓要领学照旧软件测试自身的效益看, 软件测试在此后较长时间内仍将是担保软件质量的重要手段。
20 世纪80 年月中期, 提出了充实性准则满意的11 条正义。今朝, 凡是用测试包围准则怀抱测试充实性。到今朝为止, 已经提出很多针对措施内部布局的测试包围准则, 主要包罗节制流测试包围准则和数据流测试包围准则。节制流测试包围准则包罗语句包围、分支包围、条件包围、鉴定??条件包围、路径包围等。数据流测试包围准则包罗定值包围、引用包围、定值??引用包围等准则。这些准则不只可以定量地划定软件测试需求, 指导测试数据的选择, 并且可以怀抱测试数据集展现软件特定特征的本领, 对测试功效和软件靠得住性评估具有重要影响[ 9,10, 19] 。
编程( 单
组装
今朝, 面向工具的软件开拓要领已被人们遍及接管, 而且被基于UML( Unified ModelingLanguage) 的建模东西以及C ++ 、Java 等措施设计语言所支持。与传统的软件开拓要领对比,面向工具引入了类、工具、担任等新特征。面向工具中的担任、多态、动态绑定等机制劈面向工具软件的测试发生了影响。以传统的软件开拓要领为配景成长起来的测试技能, 并不能完全合用于面向工具软件的测试[ 1, 11 ?? 14] 。从面向工具软件布局的角度出发, 面向工具软件测试可分为类测试、类簇测试和系统测试[ 12,14 ?? 16] 。个中类测试可分为3 个部门: 要领测试、基于状态的测试和基于状态响应的测试[12, 17] 。要领测试和系统测试别离与传统的单位测试和确认测试相对应。
稳定式和轨迹等。合约表白了进程挪用方( 客户方) 与实现方彼此的职责和洽处: 客户方只有在满意前置条件的条件下才气挪用对应的进程; 实现方理睬当进程竣事时, 后置条件指明的事情将被完成, 而且稳定式仍然满意。合约可用于区分软件失效时的责任: 假如前置条件被违反, 则应该在客户方寻找错误; 假如后置条件或稳定式被违反, 责任在实现方。合约有助于淘汰冗余的查抄代码, 提高软件设计的效率和运行的机能; 操作自动查抄合约的东西, 可以或许减轻用户的承担, 减罕用户出错误的时机; 而且合约被违反时激发异常, 便于就近定位妨碍。常见的合约式设计要领是在措施代码的注释中提供软件的合约。此刻有一些对合约举办自动查抄的东西, 如针对Java 语言的iContract, Jass, JMSAssert 等东西。
本文从软件测试的技能与进程、一连的软件测试、软件测试的充实性准则等方面扼要先容软件测试的根基思想; 接头软件测试中面向路径的测试数据自动生成、测试预言、期望功效的自动生成、回归测试等要害问题; 而且探讨当前软件测试一些新的研究动向和成长趋势, 包罗构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services 测试等。
颠末多年的成长, 一些根基的软件测试技能已经渐趋成熟。在此进程中, 人们不绝举办总结。文献[ 60] 从软件测试的充实性角度较量全面地综述了已有文献中的各类软件测试技能,包罗布局测试技能、基于妨碍的测试技能以及基于错误的测试技能, 并接头了较量软件测试充实性准则的要领, 以及软件测试充实性准则的正义化研究和评估要领。可是该文献主要会合在模块单位级, 而且由于受其时软件开拓要领等因素的限制, 该文献没有涉及面向工具软件的测试和基于构件的软件测试技能。
确认
国际上于20 世纪90 年月后期对构件测试开展了研究[ 43, 44] 。连年来, 呈现了大量的文献报道[ 38,42, 45 ?? 54] 。构件测试成为当前软件工程学术界和家产界的热点问题之一。概略上, 对构件的测试可以从以下几个方面来举办分类。从构件测试的内容可分为: 构件内部实现细节的测试[ 38] , 构件接口的测试[ 43 ?? 48, 53, 54] , 构件组装( 构架) 的测试[46, 51] 。从测试者与构件的干系可分为: 构件开拓者的测试( 拥有构件的源代码)
1 齐治昌, 谭庆平, 宁洪. 软件工程. 北京: 高档教诲出书社, 20012 周涛. 航天型号软件测试. 北京: 宇航出书社, 19993 Weyuker E J. Evaluation Techniques for Improving the Quality of Very Large Software Systems in a Cost??EffectiveWay. The Journal of Systems and Software, 1999, 47: 97??1034 蔡开元. 软件靠得住性工程基本. 北京: 清华大学出书社, 19955 King S, Hammond J, Chapman R, et al. Is Proof More Cost??Effective Than Testing? IEEE Transactions on SoftwareEngineering, 2000, 26( 8) : 675??686
Fig. 1 ?? Classification of the software testing technologies动态测试通过在抽样测试数据上运行措施来检讨措施的动态行为和运行功效以发明缺陷。动态测试包罗生成测试用例、运行措施和验证措施的运行功效3 部门焦点内容, 以及文档体例、数据打点、操纵规程及东西应用等帮助性事情。动态测试最重要的问题是生成测试用例的计策。它是动态测试有效、高效的要害。测试用例包罗输入数据和期望功效。一般说到测试用例生成时, 由于期望功效结构的坚苦性, 都偏重或仅生成输入数据, 并称之为测试数据, 下面的接头即按此约定。
1??3 ?? 软件测试的充实性准则
