学号 20083562 20083552 20083556 20083557 姓名 周宇英 杨顺波 赵子健 朱益力 班级_软件0810班_ 时间__2011年4月19日星期二_
一 测试结果
1.白盒路径测试用例
| User | Point | Driver Age | Result |
| UC1 | 2 | 13 | 吊销 |
| UC2 | 2 | -1 | 点数错误 |
| UC3 | 20 | 1 | 1350.0 |
| UC4 | 30 | 3 | 850.0 |
| UC5 | 40 | 4 | 400.0 |
| UC6 | 50 | 6 | 250.0 |
| UC7 | 75 | 4 | 550.0 |
| UC8 | 110 | 年龄超限 | 年龄超限 |
| UC9 | 20 | 2 | 1400.0 |
| UC10 | 30 | 4 | 900.0 |
| UC11 | 40 | 6 | 500.0 |
| UC12 | 50 | 8 | 400.0 |
| UC13 | 75 | 6 | 750.0 |
| User | Point | Driver Age | Result |
| UC1 | 2 | 13 | 吊销 |
| UC2 | 2 | -1 | 点数错误 |
| UC3 | 20 | 1 | 1350.0 |
| UC4 | 30 | 3 | 850.0 |
| UC5 | 40 | 4 | 400.0 |
| UC6 | 50 | 6 | 250.0 |
| UC7 | 75 | 4 | 550.0 |
| UC8 | 110 | 2 | 年龄超限 |
| UC9 | 40 | 6 | 500.0 |
| UC10 | 50 | 8 | 400.0 |
| User | Point | Driver Age | Result |
| UC1 | 2 | 13 | 吊销 |
| UC2 | 2 | -1 | 点数错误 |
| UC3 | 20 | 1 | 1350.0 |
| UC4 | 30 | 3 | 850.0 |
| UC5 | 40 | 4 | 400.0 |
| UC6 | 50 | 6 | 250.0 |
| UC7 | 75 | 4 | 550.0 |
| UC8 | 110 | 2 | 年龄超限 |
| UC9 | 40 | 6 | 500.0 |
| UC10 | 50 | 8 | 400.0 |
| UC11 | 12 | 1 | 年龄超限 |
| UC12 | 30 | 1 | 850.0 |
| UC13 | 空 | 1 | 无处理结果 |
| UC14 | 50 | 3 | 250.0 |
| UC15 | 120 | 3 | 年龄超限 |
| User | Point | Driver Age | Result |
| UC1 | 2 | 13 | 吊销 |
| UC2 | 2 | -1 | 点数错误 |
| UC3 | 20 | 1 | 1350.0 |
| UC4 | 30 | 3 | 850.0 |
| UC5 | 40 | 4 | 400.0 |
| UC6 | 50 | 6 | 250.0 |
| UC7 | 75 | 4 | 550.0 |
| UC8 | 110 | 2 | 年龄超限 |
| UC9 | 40 | 6 | 500.0 |
| UC10 | 50 | 8 | 400.0 |
| UC11 | 12 | 1 | 年龄超限 |
| UC12 | 30 | 1 | 850.0 |
| UC13 | 空 | 1 | 无处理结果 |
| UC14 | 50 | 3 | 250.0 |
| UC15 | 120 | 3 | 年龄超限 |
| UC16 | 20 | 2 | 1400 |
| UC17 | 30 | 4 | 900 |
| UC18 | 75 | 6 | 750 |
| UC19 | 40 | 6 | 500 |
| User | Point | Driver Age | Result |
| UC1 | 2 | 13 | 吊销 |
| UC2 | 2 | -1 | 点数错误 |
| UC3 | 20 | 1 | 1350.0 |
| UC4 | 30 | 3 | 850.0 |
| UC5 | 40 | 4 | 400.0 |
| UC6 | 50 | 6 | 250.0 |
| UC7 | 75 | 4 | 550.0 |
| UC8 | 110 | 2 | 年龄超限 |
| UC9 | 40 | 6 | 500.0 |
| UC10 | 50 | 8 | 400.0 |
| UC11 | 12 | 1 | 年龄超限 |
| UC12 | 30 | 1 | 850.0 |
| UC13 | 空 | 1 | 无处理结果 |
| UC14 | 空 | 4 | 无处理结果 |
| UC15 | 空 | 6 | 无处理结果 |
| UC16 | 空 | 8 | 无处理结果 |
| UC17 | 50 | 3 | 250.0 |
| UC18 | 120 | 3 | 年龄超限 |
| UC19 | 20 | 2 | 1400 |
| UC20 | 30 | 4 | 900 |
| UC21 | 75 | 6 | 750 |
| UC22 | 40 | 6 | 500 |
| User | Point | Driver Age | Result |
| UC1 | 2 | 13 | 吊销 |
| UC2 | 2 | -1 | 点数错误 |
| UC3 | 20 | 1 | 1350.0 |
| UC4 | 30 | 3 | 850.0 |
| UC5 | 40 | 4 | 400.0 |
| UC6 | 50 | 6 | 250.0 |
| UC7 | 75 | 4 | 550.0 |
| UC8 | 110 | 2 | 年龄超限 |
二 实验总结
几种测试覆盖生成用例的异同点：
从覆盖源程序语句的详尽程度分析，逻辑覆盖标准包括以下不同的覆盖标准：语句覆盖、判定覆盖、条件覆盖、条件判定组合覆盖、条件组合覆盖和路径覆盖。
语句覆盖 为了暴露程序中的错误，程序中的每条语句至少应该执行一次。因此语句覆盖的含义是：选择足够多的测试数据，使被测程序中每条语句至少执行一次。语句覆盖是很弱的逻辑覆盖。
判定覆盖 比语句覆盖稍强的覆盖标准是判定覆盖。判定覆盖的含义是：设计足够的测试用例，使得程序中的每个判定至少都获得一次“真值”或“假值”，或者说使得程序中的每一个取“真”分支和取“假”分支至少经历一次，因此判定覆盖又称为分支覆盖。
条件覆盖 在设计程序中，一个判定语句是由多个条件组合而成的复合判定。为了更彻底地实现逻辑覆盖，可以采用条件覆盖的标准。条件覆盖的含义是：构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。
条件判定覆盖 不但使得组成判定的每一个变量经历真假值的变化，同时保证它们所处的判定经历真假的变化。
条件组合覆盖，它的含义是：设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。显然满足多条件覆盖的测试用例是一定满足判定覆盖、条件覆盖和条件判定组合覆盖的。
路径覆盖 设计一组测试用例，使得程序从入口到出口可能经历的所有不同路径均被经历一遍。
一般来讲，语句覆盖和路径覆盖着重从程序的执行语句入手，注重程序的执行过程。而判定覆盖，条件覆盖，条件判定覆盖，条件组合覆盖着重从程序的判定出入手，条件覆盖是判定覆盖的细化，条件判定覆盖是条件覆盖和判定覆盖的综合，条件组合覆盖又同时是判定覆盖，条件覆盖，条件判定覆盖的加强。
结果分析：对于绝大多数的测试用例，程序均给出了正确的结果，未出现明显的Bug。通过上述多种覆盖测试的结果研究，可以看出源程序在对于某些不合理的输入（如18，#）这样的时候缺乏灵活性。
