|
|
51CTO旗下网站
|
|
移动端

2.1 引言

《软件测试基础教程》第2章基于需求的测试生成,本章主要介绍从非形式化或形式化定义的软件需求生成测试集的技术。这些技术,有的可以自动地执行,而大部分则需测试人员付出艰辛的劳动,特别是在测试大型软件时。本章所介绍的大部分测试技术属于黑盒测试,因为生成测试集时不需参考被测软件的源代码。本节为引言部分。

作者:王峰/郭长国/陈振华 等译来源:机械工业出版社|2011-09-17 21:23

第二部分 测试生成
 
设计测试输入和相应的预期输出,是任何测试机构最基本的技术活动之一。测试输入数据和相应的预期输出都被写入测试用例当中。测试用例的集合就是测试集。

目前,已存在大量的指南、技术和支撑工具用于生成测试用例。一方面,这些指南、技术包括诸如如何使用等价类划分、边界值分析方法;另一方面,又包括诸如从Z规范当中生成测试集的方法。另外,还存在只依赖于被测软件的源代码生成测试集并能满足某些代码覆盖准则的技术。

本书这部分将向读者介绍大量用于测试集生成的指南和技术。其中某些技术,如等价类划分,已经广泛应用于测试的各领域;而另一些技术,如从有穷自动机生成测试集,则会在测试的某些特殊领域发挥作用。

第2章 基于需求的测试生成

本章主要介绍从非形式化或形式化定义的软件需求生成测试集的技术。这些技术,有的可以自动地执行,而大部分则需测试人员付出艰辛的劳动,特别是在测试大型软件时。本章所介绍的大部分测试技术属于黑盒测试,因为生成测试集时不需参考被测软件的源代码。

2.1 引言

软件需求是设计测试的基本出发点。在软件开发的初始阶段,软件需求(informal requirement)只在一个或几个人的大脑里。通过使用诸如UML用例图、顺序图、状态图等建模元素,可获得严格的需求(rigorous requirement)。更进一步,利用形式化需求规约语言如Z、S、RSML,可将严格的软件需求规范进一步转换为形式化的需求(formal requirement)。

虽然完整的形式化需求规范是个有用的文档,但常常还是通过运用适当的建模机制来获取软件需求。例如,用Petri网及其变体来定义分布式系统中的同步和并发特性,用时间自动机(timed input automata)来定义实时系统中的同步约束关系,用有穷状态机(FSM)来描述协议中的状态转换。UML作为一种高效的建模语言,将多种不同的建模元素集成在一个统一框架下,由这些建模元素来严密地、形式化地定义软件需求。

因而,需求规范可以是非正式的规范、严格的规范或形式化的规范,也可以是这三种形式的混合体。商用软件的需求规范通常是三者并存的方式。无论需求规范的形式化程度如何,对于测试人员或测试团队来说,其主要任务都是为整个应用软件设计完整、有效的测试。需求规范的形式化程度越高,则越有机会进行自动化测试。例如,可以将采用有穷状态机、时间自动机、Petri网描述的需求规范直接输入测试用例生成软件,进而自动生成相应的测试用例。当然,如果使用基于软件的用例图去生成测试用例,还需要做大量的手工工作。

高层次的设计(high level design)通常也是软件需求规范的重要组成部分。例如,UML中的高层顺序图、活动图可用来定义高层对象间的交互关系,也可以根据这些高层次的设计来生成测试用例。

本章将重点讨论根据非正式的需求规范和严格的需求规范来设计测试。这些需求规范是确定被测软件输入域的基本依据。

现在可用的多数测试生成方法,都是通过选取软件输入域的一个子集作为测试集来测试软件的。

图2-1本章重点介绍基于非正式、严格定义的需求的测试设计技术(图中的实线框)。基于用图模型(Graphical Models )、逻辑语言等形式化定义的需求的测试设计技术(图中的虚线框)将在其他章节讨论。

图2-1列举了本章将要介绍的软件测试技术。通过该图,我们可以看到需求规范有三种表示形式:非正式的、严格的、形式化的。软件输入域可以从非正式的和严格的需求规范中提取出来,同时,输入域也是测试设计的依据。图中所列的各种方法,都能从通常庞大的软件输入域中选取相当少数量的有效测试用例作为测试集。

本章的后续内容将详细介绍图中所列的软件测试技术,这些技术都属于黑盒测试范畴。其中的部分技术在有软件源代码时能得到增强,这种增强将在本书第三部分进行讨论。

 
图2-1本章重点介绍基于非正式、严格定义需求的测试设计技术
(图中的实线框)。
基于用图模型(Graphical Models )、逻辑语言等形
式化定义的需求的测试设
计技术(图中的虚线框)将在其他章节讨论
【责任编辑:云霞 TEL:(010)68476606】

回书目   上一节   下一节
点赞 0
分享:
大家都在看
猜你喜欢

读 书 +更多

网管员世界2007超值精华本

《网管员世界》是国内唯一一家专门面向网管员职业的刊物。本书是2006年《网管员世界》各期内容的汇集,内容权威、全面、时效性强,贴近应用...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊