被认为是构件复用者可以信赖的安全的途径是 ______。
A: 第三方验证
B: 接口探查
C: 基于形式化的构件测试
D: 基于合约变异的构件测试
A: 第三方验证
B: 接口探查
C: 基于形式化的构件测试
D: 基于合约变异的构件测试
举一反三
- 下列哪一个测试过程是测试构件之间的接口以保证构件能够交互，它将构件本身抽象为单元，并关注与构件间的消息传递，构件的交互行为可以通过形式化规约得到，可以提前进行（）。 A: 单元测试 B: 模块测试 C: 集成测试 D: 系统测试
- 构件方法序列是一种通过消息序列来发现构件错误的方法，该方法的第二阶段是 ______。 A: 对构件的测试 B: 对构件化软件的测试 C: 对消息序列的测试 D: 对构件的功能和接口的测试
- 基于BIM技术的施工场地布置是基于BIM技术提供内置的（）进行管理，用户可以进行用料统计。 A: 模板构件 B: 脚手架构件 C: 构件库 D: 钢筋构件
- 构件模型中构件的外部接口是指构件向其重用者提供基本信息,包括:() A: 构件名称 B: 功能描述,对外功能接口 C: 所需构件,参数化属性 D: 各项都是
- 下列关于楼梯转换，表述正确的是（）。 A: 将基于草图的构件转换为楼梯常见构件后，将无法进行逆转换 B: 将基于草图的构件转换为楼梯常见构件后，可以进行逆转换 C: 将楼梯常见构件转换为基于草图的构件后，将无法进行逆转换 D: 将楼梯常见构件转换为基于草图的构件后，可以进行逆转换