1-3
课件介绍:
- test:test generation--->execution--->verfication
- debug:
测试用例选取:
Question:如何从t1,t2,t3(fail),t4,...,t100中找到能找到导致失败t3。
- test阶段最重要的是test case generation。而在entire input domain中,我们测试用到的只是small subset。所以test case generation的关键在于找failure causing input。
- 测试用例选取的初衷在于:such that(希望)if P runs successful on test case in T',then the chance for P to fail on test case in T-T' is small.
- the more effective testing,the better.
测试用例产生方式:
- random testing
- ECR:Equivalence Class for variable Range,分类每一个类中选取一个。基于“coverage”的思想
- BVA:Boundary Value Analysis,选取边界值
- mind mapping,需要从人的角度出发分析程序特点
测试用例产生步骤:
- Identity the input domain
- Equivalence classing
- Combine equivalence classes
- Identify infeasible equivalence classes