下列软件测试技术中，依据软件行为描述的是（）
C
暂无解析
单元测试期间，通常考虑模块的（）
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
下列术语可用于表达客观世界中各种各样事物之间的关系的是（）
一组模块共同引用一个全局数据项，则该组模块间的耦合类型是（）