静态测试技术:
(1)代码检查:代码审查和代码走查。
(2)编码规则检查。
(3)静态分析:控制流分析、数据流分析、接口分析和表达式分析。
动态测试技术:
(1)语句测试:选择足够多的测试数据,使程序中每条语句都要被经历到。语句覆盖对程序执行逻辑的覆盖很低。
(2)分支测试:使得程序中的每个分支都要被经历到,哪怕这个分支上没有语句。
(3)判定测试:使得程序中的每个判定语句的取值都要被经历到。
(4)分支条件测试:设计足够的测试用例,使得每个判定语句的取值,以及每个判定条件的取值都能被覆盖到。
(5)分支条件组合测试:要设计足够的测试用例,使得每个判定语句中的所有判定条件的各种可能组合都至少出现一次。
(6)修正条件判定测试(MCDC):要求足够的测试用例来确定各个条件能够影响到包含的判定结果。
(7)基本路径测测试。