A.同行评审的多次结构化走查
B.如果代码量大，可借助商用测试工具(如VectorCAST或C++TEST等)进行走读。
C.遵从同行的结构化正规审核，单人复审能充分发挥人的逻辑思维优势。
D.程序员本人的非正式走查
