在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有______才有可能证明程序的正确性。
参考答案：程序正确性证明
某班派5名同学参加数学竞赛，他们的成绩（单位：分）分别为：80，92，125，60，97．则这5名同学成绩的中位数是______分．
抗铜绿假单胞菌作用最强的头孢菌素是（）。
A．头孢西丁
B．头孢他定
C．头孢孟多
D．头孢噻肟
E．头孢呋辛
