下述属于病理反射的是（）

A.膝反射

B.髌阵挛

C.Kernig征

D.跟腱反射

E.Brudzinski征

Bowen和Hinchley提出的“形式化方法的十条戒律”，可作为想应用这一重要的软件工程方法的人们的行动指南。以下关于形式化方法的描述中，错误的是______。

A．应该选择合适的表示法，并建立详尽的文档
B．不应该对质量标准作任何折中，应该测试，测试，再测试
C．应该放弃传统的开发方法，不应该教条化
D．应该复用，且有随时可以请教的形式化方法顾问