https://wenku.baidu.com/view/46c13311e009581b6ad9eb87.html
完成指定任务是“做什么”，而程序/算法是“如何做”.
“如何做”是一组程序代码，是由一系列语句组成。假设把程序看做一个“大系统”，把语句按照嵌套和复合，分成“小系统”。
一般正确性是看程序是否达到预期目的。程序测试只能证明程序有错，不能证明程序正确，除非穷尽测试。
