在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有______才有可能证明程序的正确性。
参考答案：程序正确性证明
关于颏舌肌的描述正确的是（）
A.是成对的舌内肌
B.起于下颌骨的颏结节
C.止于舌的两侧
D.两侧收缩时可拉舌向前下
E.单侧收缩时，使舌尖伸向同侧
本案应如何判决理由是什么
