测试人员的离散数学讲述.ppt

软件测试 第3章 测试人员的离散数学 学习目标 集合论（掌握） 函数（了解） 关系（了解） 命题逻辑（掌握） 3.1集合论 集合：作为一个单位，或一个整体引用多个事物。 集合成员关系 集合中的项叫做集合的元素或成员，这种关系采用符号∈表示。 集合定义 简单列出集合的元素 给出辨别规则 通过其他集合构建 空集 空集采用符号Φ表示 。空集不包含元素。 空集Φ是惟一的，即不会有两个空集Φ。 如果集合被决策规则定义为永远失败，则该集合是空集。 维恩图 在维恩图中，集合被表示为一个圆圈，圆圈中的点表示集合元素 维恩图以直观方式表示各种集合关系，但存在一些问题：无限集合、空集等 集合操作 集合基本操作：并、交和补 举例 给定两个集合： A= {1，3，4，7，8，10，11} B= {2，3，5，6，8，9，11}； 求A∪B， A∩B， A－B， A ⊕ B。 无序和有序对偶 无序和有序对偶的表示法一般是： 无序对偶：（a，b） 有序对偶： a，b 两者的差别是，对于a≠b， （a，b）＝（ b，a），但是 a，b ≠ b，a 这种差别对于图论很重要。 两个集合的笛卡儿集 定义 两个集合A和B的笛卡儿积（又叫叉积），是集合A×B＝{ x，y ：x ∈ A∧y ∈ B } 笛卡儿积与运算有直观的联系。集合A的势是A中元素数，用|A|表示，对于集合A和B , |A×B|=|A|×|B|。 维恩图不能显示笛卡儿积 集合关系 定义 A是B的子集，记做A B， 当且仅当a ∈A→a ∈B A是B的真子集，记做A B， 当且仅当A B∧B－A≠Φ A和B是相等集合，记做A＝B， 当且仅当A B∧B A 集合恒等式 名称 表达式 等同律 A∪Φ＝A A∩U＝A 支配律 A∪U＝U A∩Φ＝Φ 幂等律 A∪A＝A A∩A＝A 求反律 （A ）＝A 交换律 A∪B＝B∪A A∩B＝B∩A 结合律 A∪(B∪C)＝(A∪B)∪C A∩(B∩C)＝(A∩B)∩C 分配律 A∪(B∩C)＝(A∪B)∩( A∪C) A∩(B∪C)＝(A∩B)∪( A∩C) 迪摩根定律 （A∪B）＝A ∩B （A∩B）＝A ∪B 3.2 函数 函数是软件开发和测试的核心概念 函数定义 给定集合A和B，函数f是A×B的一个子集，使得对于ai、aj∈A，bi、bj∈B，f(ai)＝bi，f(aj)＝ bj，bi≠bj →ai≠aj。 记为：f：A→B 函数映射：给出函数f：A→B，并且定义集合： f(A)＝ { bi∈B：bi＝f(ai)对于某个ai∈A }，这个集合有时记做A在f下的映象。 函数类型 类型定义： f是从A到B的上函数，当且仅当f（A）＝B f是从A到B的中函数，当且仅当f（A） B f是从A到B的一对一函数，当且仅当对于所有ai、aj∈A，ai≠aj →f（ai）≠ f（aj）。 f是从A到B的多对一函数，当且仅当存在ai、aj ∈A，ai≠aj使得f（ai）＝ f（aj）。 函数合成 设引用集合定义域和值域的特定元素a ∈A、b∈B、c∈C、d∈D，并假设f(a)＝ b、g(b)＝c和h(c)＝ d，则函数g和f的合成为： h ·g · f（a）＝ h（g（f（a））） ＝h（g（b）） ＝h（c） ＝d 函数合成 3.3关系 单个集合上的关系 定义 关系R A×A是： 自反的， 当且仅当所有a ∈ A， a,a ∈ R 对称的， 当且仅当 a,b ∈ R → b,a ∈ R 反对称的， 当且仅当 a,b 、 b,a ∈ R → a＝b 传递的 当且仅当 a,b 、 b,c ∈ R → a,c∈R 续…… 定义 关系R A×A是排序关系，如果R是自反、反对称和传递的 定义 关系R A×A是等价关系，如果R是自反、对称和传递的 3.4命题逻辑 逻辑操作符 两个值：T（代表真）和F（代表假） 三种基本逻辑操作符：与(合取)”∧”、或(析取)” ∨”和非”~” 非是惟一一个一元（一个操作数）逻辑操作符，其他都是二元操作符。 逻辑操作