第9章 基于模型的测试学习 文档 参考.pptx

;朱少民 Kerryzhu@tongji.edu.cn 同济大学软件学院;第9章 基于模型的软件测试;这样描述协议是不是更直观？;什么是MBT？;;MBT基本原理（实施过程）;MBT 示例;MBT 工具;第9章 基于模型的软件测试;目前有哪些有效的MBT方法？;示例：符号执行;目前有哪些有效的MBT方法？;MBT方法分类;第9章 基于模型的软件测试;9.3 基于业务建模的MBT方法;9.3.1 基于业务流程建模;画出业务流程图;转换为业务流程状态树;20;基于用户场景的测试;也称作基于用户场景测试(user scenario testing) 分析用户会是怎样与系统打交道的，以及用户典型行为分析 根据不同的特性区分不同的用户群体、用户角色 用例描述了参与者（包括用户与系统）之间的相互作用，并从这些交互产生一个从用户的角度所期望和能观察到的结果。 每个用例都有测试前置条件(precondition)和后置条件(postcondition)： 为使应用情况能够顺利运行，必须满足前置条件。 后置条件是在用例执行完成后能观察到的结果和系统的结束状态。 ; ;9.3.3 因果图法;恒等-关系：原因C出现，则必然有结果E;限制那些不可能出现的条件组合，生成测试用例时这些组合不被考虑;回到自动贩卖机;最终因果图法转化为判定表;小结：因果图法;第9章 基于模型的软件测试;基于UML场的MBT方法;各种UML图;示例：序列图、活动图;基于UML的MBT原理;第9章 基于模型的软件测试;9.5 扩展有限状态机方法;EFSM示例-1;EFSM示例-2;来源: nach Spillner, Linz: Basiswissen Softwaretest, 2005;;;EFSM工具 - FSME;第9章 基于模型的软件测试;9.6 定理证明;公理系统的三大基本特性;Hoare triple ;示例;定理证明工具;第9章 基于模型的软件测试;9.7 符号执行;符号执行示例;SAT求解器;SMT求解器;SMT 示例;SMT LIB;SMT 工具;第9章 基于模型的软件测试;9.8 模型检验 ;9.8.1 建模方法;时序逻辑的其它描述;9.8.2 检测算法;OBDD示例;9.8.3 工具;第9章 基于模型的软件测试;9.9 模糊测试方法;变异测试;MuClipse：mutation testing plug-in for Eclipse;生成测试;模糊测试工具;Thank you