白盒测试:(结构性测试,逻辑驱动测试)
基于被测程序的源代码,而非基于定义
支持严格定义、数据分析、精确度量
方法:
控制流/路径测试数据流测试其他:程序插装、域测试法、符号测试、Z路径覆盖法、程序变异程序图
有向图
结点:语句片段边:控制流
DD-路径
DD-路径是程序图中的一条链,使得:
情况1:由一个节点组成,内度=0情况2:由一个节点组成,外度=0情况3:由一个节点组成,内度≥2或外度≥2情况4:由一个节点组成,内度=1并且外度=1情况5:长度≥1的最大链
测试覆盖指标
语句覆盖:每个可执行语句至少执行一次
分支覆盖(判定覆盖):每个判定至少都获得一次“真”值和“假”值.
条件覆盖:每个判定中每个条件的可能值至少满足一次.
条件判定覆盖:每个判定中的每个条件的所有可能(真/假)至少出现一次并且每个判定本身的结果(真/假)也至少出现一次.
条件组合覆盖:每个判定中条件的各种可能组合都至少出现一次,显然满足条件组合覆盖的测试用例一定满足“(判定)分支覆盖”、“分支条件覆盖”和“条件判定覆盖”.
路径覆盖:覆盖程序中所有可能的路径.
如果觉得《软件测试-白盒测试方法》对你有帮助,请点赞、收藏,并留下你的观点哦!