参考答案：

总体上分为静态方法和动态方法两大类。

静态：关键功能是检查软件的表示和描述是否一致，没有冲突或者没有歧义；

动态：语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖、路径覆盖。