在UML 的动态建模机制中，（）描述了对象之间动态的交互关系，还描述了交互的对象之间的静态链接关系，即同时反映系统的动态和静态牲。

单项选择题黑盒测试方是根据软件产品的功能设计规格说明书，通过运行程序进行测试，证实每个已经实现的功能是否符合设计要求。如果某产品的文本编辑框允许输入 1~255 个字符，采用（）测试方法，其测试数据为：0 个字符、1 个字符、255 个字符和256 个字符。

A．等价类划分
B．边界值分析
C．比较测试
D．正交数组测试

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

A．关联
B．包含
C．扩展
D．泛化

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

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

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

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

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

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