男性，17岁。四肢阵发性抽搐2月就诊。抽搐时意识丧失，每次持续5min左右，有时伴小便失禁，于间歇期神经系统体检无阳性发现。

经药物治疗1年后患者抽搐发作次数明显减少，每年发作3～4次，此时最适宜的措施是（）

A.停药观察，并随访脑电图

B.在一星期内减药至停药

C.按原剂量继续服用2～3年

D.加用另一种同作用韵药物

E.停药，改用药效低，不良反应更小的药物

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【4】 才能证明程序的正确性。