单项选择题
A.前者不更新,后者可更新 B.前者面向分析驱动,后者面向事务驱动 C.前者是综合的,后者是细节的 D.前者一次操作数据量小,后者一次操作数据量大
A.证明错误存在 B.证明错误不存在 C.发现程序的错误 D.提供诊断信息
A.截获 B.窃听 C.篡改 D.伪造