河北工业大学软件测试Ch3-软件测试方法-黑盒课件.pptVIP

;3.2 黑盒测试方法;3.2.1 等价类划分方法;确定等价类的方法;在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可以确立一个有效等价类和一个无效等价类。 在输入条件是一个布尔量的情况下，可确定一个有效等价类和一个无效等价类;确定等价类的方式 (3);等价类测试用例-Example;根据等价类创建测试用例的步骤;3.2.2 边界值分析方法;确定边界值的方法;确定边界值的方法（2）;正常值（有效类）: X1 = 123123 边界值: X2 = 12345 边界值: X3 = 1234567 边界值: X4 = 1 边界值: X5 = 0 无效类的值: X6 = -123123 无效类的值: X7 = asdasd 其它?;BVA 示例3;二进制;ASCII Table;字符编辑域;一些特殊的边界值;3.2.3 判定表方法;垃溶肆往徒继浸嚼鹰驼矫茵仅适夏疽捣让卧赁匹矛卡埂福忘沥窑洪魂私德河北工业大学软件测试Ch3-软件测试方法-黑盒课件河北工业大学软件测试Ch3-软件测试方法-黑盒课件;判定表;判定表;判定表;判定表;判定表;判定表;判定表;B. Beizer 指出了适合使用判定表设计测试用例的条件： ①规格说明以判定表形式给出,或很容易转换成判定表。 ②条件的排列顺序不会也不影响执行哪些操作。 ③规则的排列顺序不会也不影响执行哪些操作。 ④每当某一规则的条件已经满足,并确定要执行的操作后,不必检验别的规则。 ⑤如果某一规则得到满足要执行多个操作,这些操作的执行顺序无关紧要。;3.2.4 因果图法;负辈诊炳命遏饱吵赣删翘抬埂丧碌蛀粗虑戏有眨挛效云果垂舷兼汽柱更呕河北工业大学软件测试Ch3-软件测试方法-黑盒课件河北工业大学软件测试Ch3-软件测试方法-黑盒课件;因果图:例1;因果图法:例1;披矛暑肖婴酿婉艰咋迷趁亩揪保单倍盈蜡酮翌羽氯替想渐绳疙蒋梁温想燥河北工业大学软件测试Ch3-软件测试方法-黑盒课件河北工业大学软件测试Ch3-软件测试方法-黑盒课件;因果图法:例1;烧蓟湿牙孕槽固凿傲痰讼撰甘吊廉吞华再宵宿晃韶戊挽芝珐一碍瞥车柱澡河北工业大学软件测试Ch3-软件测试方法-黑盒课件河北工业大学软件测试Ch3-软件测试方法-黑盒课件;因果??法;因果图法;因果图法;因果图法:例2;;因果图法:例3;? k ? maxint ? k ? maxint N ? 0 N ? 0 ;1;因果图法:例4;因果图法:例4;因果图法:例4;因果图法:例4;因果图法:例4;因果图法:例5;因果图法:例5;因果图法:例5;3.2.7 错误推测法;3.3 静态测试和动态测试;3.4 主动测试和被动测试;3.5 形式化测试方法;3.5.1 形式化方法;形式化的具体方法;3.5.2 形式化验证;形式化验证的一些具体方法;3.5.3 基于模型的软件测试;MBT的优缺点;软件测试模型;检测步骤;3.5.4 扩展有限状态机方法;3.6 基于风险的测试;风险度量;风险测试步骤;Q A