Which of the following statements is correct

A．The definition phase results in the Software Requirements Specificatio

B．Testing is optional in software life cycl

C．CASE tools can only aid in the design phase of a software life cycl

D．A change during a later phase does not require the documentation of all earlier phases to be update

下肢红斑结节，皮损暗红，反复缠绵不愈，伴关节痛，遇寒加重，肤冷，舌淡，苔白腻，脉沉缓。诊断为瓜藤缠，辨证为( )

A．湿热瘀阻
B．寒湿入络
C．痰湿凝聚
D．脾虚湿困
E．热毒蕴结