用况模型中的用况和分析模型中的分析类之间存在确定的（）关系。

使用程序流程图作为工具来确定模块的划分，这样最容易引起的模块内聚类型是（）。

填空题使用程序流程图作为工具来确定模块的划分，这样最容易引起的模块内聚类型是（）。

在需求建模的过程中需要定义（）来表达系统中的数据结构。

填空题在需求建模的过程中需要定义（）来表达系统中的数据结构。

路径测试技术属于典型的白盒测试技术，它是基于（），对错误的假定使软件通过了与预想不同的路径。

填空题路径测试技术属于典型的白盒测试技术，它是基于（），对错误的假定使软件通过了与预想不同的路径。