7.2 仿真验证程序设计