一.粗放式分析
1.存储过程的运行是否正常：编译成功，能运行，且有结果。
2.存储过程的参数调用正确:能运行成功。
3.存储过程的返回结果正确：查询，更新或删除的结果是否正确，且返回正常。
4.存储过程的性能是否达到要求：在可接受的时间内能运行完成并成功。
二.抽离式分析
1. 外模式：基于业务场景的分析
多种业务场景可以映射到一个程序中的等价类逻辑上（即内模式）。
所以，挑选比较特殊的业务场景，从结果表和程序逻辑层面去印证。
2. 概念模式：基于结果表的分析
结果表是对业务场景的概念化和集合化。从结果表数据的类型分析可以延伸出各种业务场景（即外模式）。
所以，从结果表数据的分类可以反推出对业务场景的覆盖率。
3. 内模式：基于程序实现的分析
程序内部实现的逻辑是各种业务场景的抽象，最终形成结果表（即概念模式）。
所以，对程序逻辑分支的分析可以评估对业务场景的抽象覆盖程度。