软件测试与软件质量-朱蔚恒-2.pptVIP

软件测试与软件质量;Overview;集合定义;文氏图;集合关系和划分;函数，定义域，值域;函数类型;复合函数;Application Snapshot;关系;Relations among Sets;Participation of a Relation;Relations on a Single Set;命题逻辑;概率论;测试人员的图论;Example;关联矩阵;邻接矩阵;路径;Example Paths;连通性;图的压缩;图的复杂度;有向图;Example Directed Graph;有向图的性质;有向图的邻接矩阵;Paths and Semi-Paths;可达矩阵;N-连接性;Example;有向图的压缩图;Example Condensation DiGraph;Example Condensation Graph;程序图;结构化程序设计构造的子图;有限状态机;Example FSM (with events, actions and guards);Petri-网;Example