填空题 程序设计有两种抽象，分别是（）和数据抽象。

填空题 程序中的每个功能可以由（）来验证操作的正确性，它也是软件构造的一项重要活动。

填空题 依据模块化理论，（）是一个模块与系统内其他模块及外部世界的关联程度的度量。