The sign reading "No Photos" means that no one ____ take any photos in the Palace Museum.

A．need

B．may

C．must

D．shall

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