用例从用户角度描述系统的行为。用例之间可以存在一定的关系。在“某图书馆管理系统”用例模型中，所有用户使用系统之前必须通过“身份验证”，“身份验证”可以有“密码验证”和“智能卡验证”两种方式，则“身份验证”与“密码验证”和“智能卡验证”之间是（）关系。

单项选择题PROLOG 语言属于（）程序设计范型，该范型将程序设计归结为列举事实，定义逻辑关系等。

A．过程式
B．函数式
C．面向逻辑
D．面向对象

单项选择题需求分析的任务是借助于当前系统的物理模型导出目标系统的逻辑模型，解决目标系统“做什么”的问题。（）并不是需求分析的实现步骤之一。

A．获得当前系统的物理模型
B．抽象出当前系统的逻辑模型
C．建正立目标系统的逻辑模型
D．确定目标实现的具体技术路线

单项选择题结构模板能够帮助分析员建立一个逐层细化的层次结构。结构环境图（ACD,Architecture Context Diagram）则位于层次结构的顶层。在从ACD 导出的 （） 中给出了各个专门子系统和重要（数据与控制）信息流。

A．系统语境图（SCD）
B．结构互连图（AID）
C．结构流程图（AFD）
D．结构图的规格说明（ADS）

单项选择题对OO系统的技术度量的识别特征，Berard定义了导致特殊度量的特征。其中（）抑制程序构件的操作细节，只有对访问构件必须的信息被提供给其他希望访问的构件。

A．局部化
B．封装
C．信息隐藏
D．继承

单项选择题实现容错计算的主要手段是冗余。（）中动态冗余的典型例子是热备系统和冷备系统。

A．结构冗余
B．信息冗余
C．时间冗余
D．冗余附加技术