图 4.1 Non-execution based Verification Not execute the program, tester could use some tools to review and analyze the specification and program code. walk through Inspection >校长办公室 >Office of the President¾校长办公室 ¾Office of the President 4.1 Non-execution based Verification Not execute the program, tester could use some tools to review and analyze the specification and program code. walk through Inspection