如果一个模块的各个成分和同一个功能密切相关，而且一个成分的输出作为另一个成分的输入，则该模块的内聚是__________。

单元测试期间，通常考虑模块的（）

一组模块共同引用一个全局数据项，则该组模块间的耦合类型是（）

在软件开发中，软件系统模型大体上可分为两类：概念模型和（）

以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。