在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 【2】 证明才有可能证明程序的正确性。
参考答案：程序正确性
视神经各段中最长的部分是（）。
A.视神经管内段
B.眼眶内段
C.颅内段
D.肌锥外段
E.视交叉区段
螺旋反折包扎用于（）
A.膝关节
B.大腿
C.肩关节
D.前臂，小腿
E.上臂
