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

对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。

软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。

CMMl能力等级中的4级是（）

在常见的软件开发模型中，能体现软件创建所固有的迭代和无间隙特征的是（）

软件基本过程是指那些与软件生产直接相关的活动集，可分为获取过程、供应过程、运行过程、维护过程和（）

下列软件测试技术中，依据软件行为描述的是（）

根据RUP实现活动，输入为设计类和接口，活动为实现类，则输出为（）