女性，22岁，未婚，因外阴痛、白带多、尿频、尿痛3天就诊，既往身体健康：月经正常，已怀孕。1年来与男友同居，男友经常外出。妇科检查：外阴部充血， * * 内大量脓性白带有臭味，挤压 * * 口有脓性物溢出，宫颈充血水肿，子宫前位，2个月妊娠大小，双附件(-)。首选什么检查方法?你认为最可能的诊断是什么?经检查后，如诊断为淋菌感染，首选治疗方法是什么?

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

A．Ⅰ和Ⅱ

B．Ⅰ和Ⅲ

C．Ⅱ和Ⅲ

D．都是