白盒测试有很多方法,
原则是:
1 保证被测程序中每一条独立的路径至少执行一次。
2 保证所有判断的每一分支至少执行一次。
3 保证每一循环都在边界条件和一般条件下至少各执行
一次。
4 验证所有各内部数据结构的有效性。
一 逻辑覆盖
主要用于测试选择结构。
• 语句覆盖:
每个语句至少执行一次。
(2)判定覆盖:每个判定的每个分支至少执行一次
(3)条件覆盖
使得每个判定的每个条件的
取值至少执行一次。
(4)判定/条件覆盖:
即判定覆盖条件覆盖
(5)条件组合覆盖:每个判定表达式中条件的各种可能组合都至少出现一次。
(6)路径覆盖
每条可能的路径都至少执行一次。
路径数目很大时,难以覆盖所有的路径。必须把覆盖路径数目压缩到一定限度。
二 循环覆盖
要覆盖含有循环结构的所有路径是不可能的,可通过限制循环次数来测试。给出以下设计原则:
单循环
设n为允许执行循环的最大次数,作以下测试:
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/