软件测试的目标(1)ppt课件

1、第 1部分 软件测试概述袁玉宇 yuanyycesi.ac yuyu_yuan4hotmail本部分课程目的软件缺陷的定义软件缺陷产生的缘由软件测试的目的软件测试的特征软件测试的数学根底软件的生命周期需求规格阐明概要设计详细设计系统测试集成测试单元测试编码“臭虫的由来 人们将软件错误称为“臭虫，这是由于第一个有记载的电脑缺点是由线路上的臭虫呵斥的。就是我们通常称的“BUG。软件失败的术语描画缺陷defect) 问题 (problem)错误 (fault) 矛盾(inconsistency) 失败(failure) 偏向(variance)缺陷 (incident) 特殊(feature)异常

2、(anomaly) 错误 (error)缺陷(bug)软件失败的几个定义错误：人类会犯错误。缺陷：缺陷是错误的结果。失效：当缺陷执行时会发生失效。事故：当出现失效时，能够会也能够不会呈现给用户。软件缺陷软件未到达产品描画阐明的功能。软件出现了产品描画指明不会出现的错误。软件功能超出产品描画指明范围。软件未到达产品描画虽未指出但应到达的目的。软件测试人员以为软件难以了解、不易运用、运转速度缓慢，或者最终用户以为不好。软件缺陷的分类以出现相应错误的开发阶段来划分；以相应失效产生的后果来划分；以处理难度来划分；以不处理睬产生的风险来划分；根据异常出现的频率来划分。软件缺陷产生的缘由软件缺陷产生的缘由

3、有很多，但最主要的缘由要归咎于产品描画常见导致错误的根源缺乏有效的沟通，或者没有进展沟通；软件复杂度不断变卦的需求时间的压力缺乏文档的代码软件开发工具软件测试员的目的发现软件缺陷测试的目的证明获取系统在可接受范围内可用的自信心；尝试在非正常情况和条件下的功能和特性；保证一个任务产品是完好的并且可用或可被集成。测试的目的检测发现缺陷、错误和系统缺乏；定义系统的才干和局限性；提供组件、任务产品和系统的质量信息。测试的目的预防廓清系统的规格和性能；提供预防或减少能够制造错误的信息；在过程中尽早检测错误；确定问题和风险，并且提早确认处理这些问题和风险的途径。软件测试的生命周期需求规格阐明设计缺陷分类缺

4、陷处理缺陷隔离测试编码错误错误错误错误修复事故缺陷缺陷缺陷软件测试的了解规格阐明预期的程序察看的SP软件测试用例的了解7规格阐明预期的程序察看的SPT8215643测试用例已检验黑盒测试技术功能规格阐明预期的程序察看的SP测试用例白盒测试技术构造规格阐明预期的程序察看的SP测试用例软件测试的特征软件测试具有一定的风险软件缺陷的寄生虫性软件测试的杀虫剂景象软件测试的不修复原那么Pareto原那么完全测试程序是不能够的缘由：输入量太大输出结果太多软件实现途径太多软件阐明书没有客观规范软件测试是有风险的行为 假设断定不去测试一切的情况，那就是选择了风险 。软件缺陷的寄生虫性找到的软件缺陷越多，就阐明

5、软件缺陷越多缘由：程序员的疲倦程序员往往犯同样的错误某些软件的缺陷其实是大灾难的征兆软件测试的杀虫剂景象软件测试越多，其免疫力越强的景象抑制方法：不断编写不同的新的测试程序对程序的不同部分进展测试软件测试的不修复原那么并非一切软件缺陷都能修复不需求修复软件缺陷的缘由：没有足够的时间不算真正的软件缺陷修复的风险太大不值得修复Pareto原那么 Pareto原那么暗示着测试发现的错误中的80%很能够来源于程序模块中的20%。软件测试中的误区调试和测试是一样的；测试组该当为保证质量担任；把测试作为新员工的一个过渡任务；关注测试的执行而忽略测试的设计；测试自动化是万能的；测试时枯燥乏味，缺乏发明力的任

6、务。测试人员的离散数学离散数学包括：集合论、函数、关系、命题逻辑和概率论。集合论集合定义集合有三种方式定义：简单列出集合的元素给出区分规那么经过其他集合构建集合论空集空集采用符号 表示，在集合中占有特殊位置。 空集不包含元素。空集是独一的，即不会有两个空集。假设集合被规那么定义为永远失败， 那么该集合就是空集。集合论集合关系定义： A是B的子集 A是B的真子集 A是B的相等集合。集合论子集划分定义：子集划分由于划分是一组子集， 因此可以把单个子集看做是划分的元素。 划分可以保证完备性和无冗余性。函数函数的定义函数的定义域与值域函数的类型函数的合成关系集合之间的关系集合之间的关系的定义关系的势的

7、定义关系的参与的定义关系单个集合上的关系关系的四个特殊属性排序关系的定义等价关系的定义命题逻辑命题的定义逻辑操作符逻辑表达式逻辑等价概率论事件的概率的定义概率论在测试中的运用测试人员的图论本课程主要引见：无向图和有向图。图图的定义定义：图G=V,E有节点的有限并且非空集合V和节点无需对偶集合E组成。 V=n1,n2 ,nm和 E=e1, e2,.,ep其中每条边ek=ni,nj ,ni 、njV。图根本概念节点的度图的关联距阵图的相邻距阵图途径途径的定义途径的衔接性紧缩图圈数有向图定义定义： 有向图或框图G=V,E包含:一个节点的有限集合V=n1,n2 ,nm，一个边的集合E=e1, e2,.

8、,ep，其中每条边ek=ni,nj是节点ni 、njV的一个有序对偶。 有向图根本概念内度与外度节点的类型有向图的相邻距阵有向图根本概念途径与半途径可到达性距阵n-衔接性强组件用于测试的图程序图定义 给定一个采用命令式程序设计言语编写的程序，其程序图是一种有向图，其中： 节点是程序语句，边表示控制流从节点I到节点j有一条边，当且仅当对应节点j的语句可以立刻在节点I对应的语句之后执行。用于测试的图程序图用于测试的图有限形状机定义 有限形状机是一种有向图，其中形状是节点，转移是边。源形状和吸收形状是初始节点和终止节点，途径被建模为通路。大多数有限形状机表示方法都要为边转移添加信息，已指示转移的缘由

9、协作为转移的结果要发生的行动。用于测试的图有限形状机用于测试的图Petri网定义 Petri网是一种双向有向图P,T,In,Out),其中，P和T是不相交的节点集合，In和Out是边集合，In c PXT,Out c TXP。用于测试的图Petri网用于测试的图Petri网用于测试的图Petri网用于测试的图Petri网用于测试的图事件驱动的Petri网定义 EDPN是一种多向图P,D,S,In,Out),包括三个节点集合P、D和S，以及两个映射集合In和Out。其中：P是端口事件的集合；D是数据地点的集合；S是转移的集合；In是PDXS的有序对偶集合；Out是SX P D的有序对偶集合。事件驱动的Petri网例如用于测试的图形状图形状图是将为维恩图描画层次构造的才干以