12.3 程序设计分析