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

动脉瘤最用见的治疗方法是()

A．观察和药物治疗

B．动脉瘤栓塞术

C．人造补片动脉瘤包裹术

D．切线切除及动脉修补术

E．动脉瘤切除及血管重建术