资源描述：
《05白盒测试方法综述》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、白盒测试方法代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、控制结构测试法等其屮最常用的是逻辑覆盖法，此方法又有其使用的原则及其设计具体测试用例的方法。1•逻辑覆盖法1.1逻辑覆盖法的原则保证在一个模块中的所有独立路径至少被使用一次；对多有逻辑值均需测试true和false；在上下边界及可操作范围内运行所有循环；检查内部数据结构以确保其有效性。1・2逻辑覆盖法的方法语句覆盖判定覆盖条件覆盖条件判定组合覆盖多条件覆盖修止条件判定覆盖示例程序：Intfunction(boola’boolb,boolc){in
2、tx;x=o；if(a&&(b
3、
4、c))x=l;returnx;}根据这段程序所画出的流程图如下：设计具体测试用例的方法如下：1.2.1语句覆盖含义：程序中的每条语句至少应该执行一次。即选择足够多的测试数据，使被测程序小每条语句至少执行一次。特点：语句覆盖是很弱的逻辑覆盖率上例屮所用的语句覆盖率测试用例：a=T,b=T,c=T1.2.2判定覆盖含义：设计足够的测试用例，使得程序屮的每个判定至少都获得一次“真值”或“假值”，或者说使得程序中的每一个取“真”分支和取“假”分支至少经丿力一次，因此判定覆盖又称为分支覆盖
5、；特点：比语句覆盖稍强的覆盖标准上例中所用的判定覆盖的测试用例，如下表：序号abca&&(b
6、
7、c)all(b
8、
9、c)判定覆盖％1TTTTT50%2FFFFF50%假如：该程序中判定的第一个运算符〃&&〃错写成运算符〃
10、
11、〃或第二个运算符〃11〃错写成运算符〃&&〃，这时使用上述的测试用例可以达到100%的判定覆盖/旦是仍然无法发现上述的逻辑错误。1.2.3条件覆盖含义：构造一组测试用例，使得每一判定语旬中每个逻辑条件的可能值至少满足一次；特点：满足条件覆盖的测试用例不一定能覆盖分支；上例中所用的条件覆盖的测试用
12、例，如下表:序号abca&&(b
13、
14、c)条件覆盖/%判定覆盖/%1FTTF100%50%2TFFF50%1.2.4条件判定组合覆盖含义：设计足够的测试用例，使得判定中每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）也至少出现一次；特丿工满足条件判定组合覆盖的测试用例不一定能覆盖判定和条件语句屮的逻辑错误；上例中所用的条件判定组合覆盖的测试用例，如卜•表:序号abca&&(b
15、
16、c)a&&(b&&c)条件判定组合覆盖率/%1TTTTT50%2FFFFF50%假如:该程序中判定的第一个运
17、算符〃&&〃错写成运算符〃Ir或第二个运算符〃11〃错写成运算符〃&&〃，这时使用上述的测试用例可以达到100%的判定覆盖,但是仍然无法发现上述的逻辑错误。1.2.5多条件覆盖含义：设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。特点：满足多条件覆盖的测试用例一定满足判定覆盖，条件覆盖和条件判定覆盖的•当一个程序中判定语句较多时，其条件取值的组合数目是非常大的；上例中所用的多条件覆盖的测试用例，如下表：序号abca&&(b
18、
19、c)1TTTT2TTFT3TFTT4TFFF5FTTF6FTFF7F
20、FTF8FFFF1・2・6修正条件判定覆盖含义：首先,每一个程序模块的入I」和出口点都要考虑至少耍被调用一次,每个程序的判定到所冇可能的结果值要至少转换一次;莫次,程序的判定被分解为通过逻辑操作符(and,or)连接的bool条件，毎个条件对于判定的结果值是独立的。上例中所用的修正条件判定覆盖的测试用例，如下农:序号abca&&(b
21、
22、c)abc1TTTT52TTFT643TFTT744TFFF235FTTF16FTFF27FFTF38FFFF以上为常用的白盒测试的测试方法编写测试用例的例子，当一•种测试方法不能
23、覆盖到整个程序时，可以多种方法混合使用来达到覆盖到整个程序的效果。白盒测试主要用在单元测试中使用，但是在集成、系统测试中也会用到。2•代码检查法主要检查代码与设计的一•致性，代码对标准的遵循，可读性，代码逻辑表达的正确性，代码结构的合理性等方面;发现违背程序编写标准的问题,程序中不安全，不明确和模糊的部分，找出程序中不可移植部分，违背程序编程风格的问题，包括变量检查，命名和类型审查,程序逻辑审查，程序语法检查和程序结构检查等内容。具体的有如下三种方法：桌面检查代码审查走查2・1桌面检查方式:出程序员检查自己编写的
24、程序EI的:是发现程序中的错误优点:由程序员检杳可以节省很多检杳时间缺点:由于自己写的程序很难发现自己的问题，同时检查时也会冇主观片而性.2.2代码审查方式:由若干程序员和测试员组成一个审杳小组，通过阅读，讨论和争议，对程序进行静态分析.方法:第一，小组负责人把设计说明书，控制流程图程序文本等相关资料分发给小组成员，作为审查的依据•第二，在会上先由程序员逐句讲解程序，在此
