软件测试

白盒测试：

一、定义：结构测试（逻辑测试）通过测试检验产品内部逻辑结构是否按照规格说明书的规定正常进行。

二、原则：

1、保证一个模块中的所有路径至少被测试一次；

2、所有逻辑值均需要测试真和假俩种情况；

3、检查程序的内部数据结构是否有效；

4、在上、下边界及操作范围内运行所有循环；

三、方法：

1、逻辑覆盖

a、语句覆盖：

选择足够多的测试数据，使得程序中的每个可执行语句至少执行一次。缺点：覆盖率低

b、判定覆盖：

设计足够多的测试用例，使得程序中的每个判定至少获得一次真值或假值。缺点：忽略了表达式取值