lecture3(Blackbox)3.pptVIP

* 软件测试与质量保证Lecture 3: 黑盒测试方法 赵慧 基于状态图的测试 测试思想 将状态图转换为状态转换表，列出当前状态、当前状态允许的输入和对每个输入的下一个状态。 通过状态转换表导出有效测试用例： 从起始状态开始 选择一条到下一个状态的路径 如果在给定状态遇到无效输入，则产生一个无效条件测试用例 重复以上过程，直到达到最后状态 适用于 被测系统是语言处理器（编译器），语言的语法自动构成自动机 工作流建模：根据当前状态和合适的输入变量组合，执行具体的工作流，产生新的输出和新的状态 数据流建模：系统建模为一组数据流，从一个状态转换为另一个状态 基于状态图的测试（示例1） 某程序根据以下规则确认数字是否有效 数字可以由一个可选符号开始 该可选符号可以后接任何位数的数字 这些数字可以有选择地后接用英文句点表示的小数点 如果有一个小数点，则小数点后应该有两位数字 任何数字，不管是否有小数点，都应该以空格结束 1 3 4 5 6 2 ＋或－ 数字 小数点 数字 数字 数字 空格 空格 状态转换图对应的状态转换表 当前状态 输入 下一个状态 1 数字 2 1 ＋ 2 1 － 2 2 数字 2 2 空格 6 2 小数点 3 3 数字 4 4 数字 5 5 空格 6 1 3 4 5 6 2 ＋或－ 数字 小数点 数字 数字 数字 空格 空格 * 测试思想 依赖经验