选择题：（）是类型理论的一个概念，一个名字可以表示多个不同类的实例，只要它们具有某个共同的超类而且相关。

（）是整理知识的一种手段。这是一个关于手段 软件构造 中国大学MOOC软件构造的相关问题，下面我们来看答案是什么，（）是整理知识的一种手段。A.模块化B.封装C.分类D.抽象正确答案：分类

Meyer认为程序设计本质上是（）：一个较大问题的功能通过把它们分包到不同元素的设计，而分解成若干较小的问题。这是一个关于契约 软件构造 中国大学MOOC软件构造的相关问题，下面我们来看答案是什么，Meyer认为程序设计本质上是（）：一个较大问题的功能通过把它们分包到不同元素的设计，而分解成若干较小的问题。A.编码B.抽象C.分解D.契约正确答案：契约

抽样检验中出现的合格品错判将给（）带来损失。 A.监理方 B.检验者 C.业主 D.生产者

关于工程网络计划中关键线路的说法，正确的是（　　）。A.工程网络计划中至少有一条关键线路 B.关键线路指总持续时间最短的线路 C.关键线路在网络计划执行过程中不会转移 D.关键线路上工作的总时差必然为零

某土石方工程，施工承包采用固定总价合同形式，根据地质资料、设计文件估算的工程量为17000m3，在机械施工过程中，由于局部超挖、边坡垮塌等原因，实际工程量为18000 m3；基础施工前，业主对基础设计方案进行了变更，需要扩大开挖范围，增加土石方工程量2000 m3。则结算时应对合同总价进行调整的工程量为( )m3。A.0 B.1000 C.2000 D.3000