患者，女，28岁。妊娠49天，恶心呕吐，多为酸苦水，口干口苦，舌红，苔微黄，脉弦滑。其中医治法是（）。

A.清肝和胃，降逆止呕

B.健脾和胃，降逆止呕

C.行气健脾，降逆止呕

D.养阴清热，和胃止呕

E.以上均不是

______能发现程序中的错误并能证明程序中不存在错误。
Ⅰ．静态测试 Ⅱ．动态测试 Ⅲ．正确性证明

A．Ⅰ和Ⅱ
B．Ⅰ和Ⅲ
C．Ⅱ和Ⅲ
D．都是