4.4 原理

程序的开发需要遵循验证思想

工具：断言

顺序/选择控制结构、函数、迭代控制结构：初始化、保持(不变式)、终止