软件工程ppt讲课教案.ppt

《软件工程ppt讲课教案.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、软件工程PPT[本章目标]理解并掌握白盒测试和黑盒测试，以及二者的优缺点和各自的应用范围；能够熟练使用几种常见测试用例设计技术；了解测试计划和测试文档的作用，以及应该包含的内容和制定方法；了解测试报告的基本内容，以及测试用例的基本内容和编制方法。2.1用于测试的离散数学和图论基础一般而言，在功能性测试中，通常要用到离散数学知识，而在结构性测试领域中，则要用到一些关于图论的知识。2.1.1集合论集合论可分为：自然和不言自明两种。自然的集合论把集合看作是基本术语，我们把集合看作一个单位，或一个整体引用多个事物。集合的表示法有以下两种：1、将集合所有元素一一列出的表示法叫做“枚举法”，

2、但有时也可以只列出一部分元素。M1={1月，2月，3月，4月‥‥‥}2、用一个集合所具有的共同性质来刻画这个集合。N={t:t是等边三角形}集合的划分：划分的含义就是将一个整体分成小块，使得所有事物都在某个小块中，不会遗漏。划分的定义：给定集合B，以及B的一组子集A1，A2，A3，‥‥，An,这些子集是B的一个划分,当且仅当A1∪A2∪‥‥∪An=B，且i≠j=>Ai∩Aj=Ф划分的概念对于测试人员非常重要，在测试中往往一方面要保证B的所有元素都在某个子集中，另一方面要保证任意一个元素都不会同时出现在两个子集中。有效的划分可以保证功能测试时的完备性与无冗余性。防止有些内容没有被测

3、试，而另一些内容被测试多遍的情况。功能性测试的主要困难之一，就是难以找到合适的划分。2.1.2函数在数学领域函数是一种关系，这种关系使集合里的每一个元素对应到另一个集合里的唯一元素。函数是软件测试的核心概念，所有功能性测试的基础都是函数。函数是将唯一的输出值赋予每一输入的“法则”。函数最重要的性质是其决定性，同一输入总对应同一输出（反之未必成立）。可以将函数理解成“机器”或者“黑盒”。2.1.3关系通俗的讲，关系就是客观世界一定范围的对象之间的某种特定联系。关系表示事物之间的某种联系，二元关系表示两个事物之间的关系，如果把这两个事物分别放在一边，如果某两个元素有关系，那么就在它们

4、之间画一条有向线，用这种方式表示关系，称作关系图。2.1.4命题逻辑凡是能分辨其真假的语句都叫做命题。命题逻辑有着和集合论相似的操作，表达式和标识。命题的真值只有两种，T代表真，而F代表假。2.1.5概率论概率是随机事件发生的可能性的数量指标。在独立随机事件中，如果某一事件在全部事件中出现的频率，在更大的范围内比较明显的稳定在某一固定常数附近。就可以认为这个事件发生的概率为这个常数。对于任何事件的概率值一定介于0和1之间。2.1.6用于测试的图图（又叫做线性图）是一种由两种集合定义的抽象数据结构，即一个节点集合和一个构成节点之间连接的集合。图中节点的度是以该节点作为端点的边的条数

5、。在本节中将介绍的两种图：程序图有限状态机1、程序图程序图定义：节点要么是整个语句，要么是语句的一部分，边表示控制流（从节点i到节点j有一条边，当且仅当对应节点j的语句或语句的一部分，可以立即在节点i对应的语句或语句的一部分之后执行）。程序的有向图公式化能够非常准确地描述基本结构化程序设计的构造，例如：串行、选择和循环等可以用有向图表示。图2-1结构化程序设计构造的有向图2、有限状态机有限状态机是需求规格说明的一种标准的表示方法。有限状态机是一种有向图，其中状态是节点，转移是边。图2-2是一个简单的自动柜员机(SATM)系统。该图描述了用于个人标识编号PIN尝试部分的有限状态机。

6、这种机器包含5个状态（空闲、等待第一次PIN尝试等等）和8个用边表示的转移。转移上的标签所遵循的规则是，“分子”是引起转移的事件，“分母”是与该转移关联的行为。图2-2用于PIN尝试的有限状态机车库门有限状态机假设由两个按钮来控制门：一个称为开钮而另一个称为关钮。当门是在关闭状态，按住开钮会使得门进入上升状态，于此期间在马达控制之下，门将逐渐的开启。在门完全打开之后，即进入打开状态。再按住关钮会使门进入下降状态，于此期间门将逐渐的关闭。从状态途中可以清楚的看出门不能立即地从打开状态至关闭状态，反过来亦如此。而且，也可能轮流的按开钮与关扭，使门在上升与下降状态之间转变，使得门的动作

7、像玩偶一样。最后，此模型说明当门是在关闭状态时按关钮或者门是在打开状态时按开钮，将不会引起任何状态的改变，所以什么事情都不会发生。下降关状态开状态上升按开钮上升按开钮上升按开钮上升按关钮下降按关钮下降按关钮下降按关钮无动作按开钮无动作有限状态机与流程图的转换应用程序有两大类：1.一种是数据处理的程序，我们常常用算法来描述它，程序对某些输入数据进行预定的处理，以便得到某些输出的数据，程序目前的状态可以用资料目前的状态来描述，例如：人事薪资系统、仓储物流系统等等；有限状态机与流程图的