张某，男，36岁。通宵不能入睡已3年，午后仅睡片刻，舌干，面目淡白，脉细数而涩。

其辨证为（）

A.阴虚血少，神志不安证

B.心肾两虚证

C.脾肾亏虚，冲脉不固证

D.肝血不足，虚热内扰证

E.心火亢盛，阴血不足证

软件测试是保证软件质量的重要手段，而软件测试的主要和重要的测试方法是通过测试数据和 的设计来实现。