集我国16世纪以前药学大成的本草著作是（）。

A.《本草品汇精要》

B.《本草纲目》

C.《证类本草》

D.《图经本草》

E.《本草原始》

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