以下不属于桌上检查的项目是

A．检查小组对程序进行模拟执行，以展示系统的不同构件如何相互作用，暴露程序被忽略的细节

B．检查变量的交叉引用表，重点是检查未说明的变量和违反了类型规定的变量

C．选择、激活路径，检查程序的语句代码

D．比较由程序员设计的控制流图和由实际程序生成的控制流图，寻找和解释每个差异，修改文档和校正错误

导致阴损及阳的主要机理是（）

A.阴虚不足，虚阳上亢

B.外感阴寒之邪，伤及阳气

C.阴液亏损，虚热内生

D.阴寒壅盛，阳气浮越于外

E.阴液亏损，累及阳气生化不足