T3T4
F1F2F3F4
具体取值条件m0
6p5q0
m0
6p5q0
f实验时间：
实验地点：
实验学时：
条件组合覆盖：测试用例输入：m1
2p6q1输出：m5
4p3q0输入：m1
7p6q1输出：m1
7p7q2输入：m1
2p3q1输出：m1
2p3q0输入：m1
7p3q1输出：m1
7p3q0
覆盖条件T1T2T3T4
具体取值条件m0
6p5q0
T1F2T3F4
m0
6p5q0
F1T2F3T4
m0
6p5q0
F1F2F3F4
m0
6p5q0
f实验时间：
实验地点：
实验学时：
四．实验内容中遇到的问题、解决方法和体会。
答：遇到的问题：实验过程中，编写程序有点问题，总是输不出结果，不断进行检查和调试，以至于花费很多时间。
解决方法：通过自己检查和调试和向同学寻求帮助得以解决问题，最后运行得到结果。
体会：通过这次实验，我知道了只有自己动手去做，才会知道自己还有哪些不足，才能不断提高自己的实践能力。同时，我还知道了白盒覆盖的几种覆盖方
f实验时间：
实验地点：
实验学时：
法以及它们之间的区别。总之，我们要知道理论和实践相结合的重要性，通过不
断实践来提高自己的能力。
实验一：基于白盒测试的用例设计与验证
（二）
一实验目的
（1）熟悉二分查找算法，能正确实现程序
（2）掌握白盒测试的基本路径测试法，重点掌握如何根据程序控制流计算程序
的环路复杂度，并且确定程序基本路径。
二实验内容
（1）选择一门语言，完成二分查找的实现；。源代码：i
cludestdiohi
tfi
di
tarryi
tle
gi
tkeyi
tlow1i
tmidi
thighle
gwhilelowhighmidlowhigh2ifkeyarrymid1lowmidelseifkeyarrymid1highmid
f实验时间：
实验地点：
else
retur
mid

retur
0

i
tmai
i
ta10i
tim
fori0i10i
aii1do
pri
tf