And just to look ahead a little bit, you could easily imagine that I might want to not just put a statement in there, what the specs are, I might want to put some constraints. Some specific things to check for, to make sure that you're calling the code right.

这不仅是抽象的概念还有规范的概念，我们再往前看看,你可以简单的想象得到，我不仅仅是想在这里加一个声明,这些规范说明中我还想加一些约束，我们要注意一些特殊的事情。

麻省理工公开课 - 计算机科学及编程导论课程节选

So write the so called source code which is in a specific language.

用指定的编程语言,写出所谓的源代码。

哈佛公开课 - 计算机科学课程节选

First one, when I write a piece of code, especially code that has branches in it, when I design test cases for that piece of code, I should try and have a specific test case for each possible path through the code.

第一点，当我们写代码的时候，尤其是一些含有分支语句的代码的时候，当我为这些代码,设计测试用例的时候，我应该为每一个可能的程序路径,都设计一个特别的用例。

麻省理工公开课 - 计算机科学及编程导论课程节选