软件测试 4测试人员的离散数学.ppt

文档介绍：软件测试
第3章测试人员的离散数学
学习目标
集合论(掌握)
函数(了解)
关系(了解)
命题逻辑(掌握)

集合:作为一个单位,或一个整体引用多个事物。
集合成员关系
集合中的项叫做集合的元素或成员,这种关系采用符号∈表示。
集合定义
简单列出集合的元素
给出辨别规则
通过其他集合构建
无歧义定义清晰
很难列举
空集
空集采用符号Φ表示。空集不包含元素。
空集Φ是惟一的,即不会有两个空集Φ。
如果集合被决策规则定义为永远失败,则该集合是空集。
维恩图
在维恩图中,集合被表示为一个圆圈,圆圈中的点表示集合元素
维恩图以直观方式表示各种集合关系,但存在一些问题:无限集合、空集等
4月
11月
9月
6月
U
集合操作 集合基本操作:并、交和补
定义
给定集合A和B,
其并是集合A∪B={ x:x ∈A∨x ∈ B }。
其交是集合A∩B={ x:x ∈ A∧x ∈ B }。
A的补是集合A’={ x:x 不属于A }。
B针对A的相对补是集合A-B={ x:x ∈ A∧x不属于B }
A和B的对称差是集合A ⊕ B={ x:x ∈ A ⊕x ∈ B }
A∪B
A
B
A
B
A∩B
A
A’
A
B
A-B
A
B
A⊕B
A ⊕ B=(A∪B)-(A∩B)
举例
给定两个集合:
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 >
这种差别对于图论很重要。