软件工程—白盒测试习题答案

一、问题描述

为以下程序设计满足指定覆盖准则的测试用例，测试用例数量应尽可能少。

其中，
判定1（(x>3)&&(z<10)）的真分支为b，假分支为c；
判定2（(x==4)||( y>5)）的真分支为d，假分支为e；
条件1（x>3）的两种取值由T1、F1表示；
条件2（z<10）的两种取值由T2、F2表示；
条件3（x==4）的两种取值由T3、F3表示；
条件4（y>5）的两种取值由T4、F4表示。
（1）语句覆盖（使用格式：[输入(x,y,z)，预期输出(x,y,z)]）
（2）判定覆盖（使用真值表格式）
（3）条件覆盖（使用真值表格式）
（4）判定/条件覆盖（使用真值表格式）
（5）条件组合覆盖（使用真值表格式）
（6）完成基本路径测试（画流图，算环形复杂度，写出独立路径集合，测试用例）

二、问题回答

基本路径测试：

写在最后

欢迎大家与我探讨上述问题或者更复杂问题的题目答案，也欢迎指正。另外，例题答案不是唯一，也会有其他解。