问答题简述需求规约的概念及其基本性质。
问答题简述泛化的概念及其约束。
填空题CMMl模型基于过程途径思想，通过过程把软件质量3个支撑点：受训的人员、________、工具和设备进行集成，以开发所期望的系统/产品。
填空题关联一端的类目对另一端的类目的一种呈现，称为____________。
填空题如果一个模块的各个成分和同一个功能密切相关，而且一个成分的输出作为另一个成分的输入，则该模块的内聚是__________。
填空题软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。
填空题RUP采用_________技术来获取需求。
填空题CMMl模型提供了两种过程改善路径，一是称为能力等级的过程改善路径，二是称为_________的过程改善路径。
填空题软件测试是一个有程序的过程，包括_________、测试执行以及测试结果比较等。
填空题对于一个项目而言，________是项目管理计划的主体，一般还可能存在一些支持生存周期过程具有重要作用的其他计划，包括软件工程管理计划、软件配置管理计划、软件质量保证计划、___________和软件度量计划。
填空题对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。
填空题瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。
填空题在一个软件结构中，同一个层次上模块总数的最大值是该结构的____________。
填空题结构化分析方法给出了一种能表达系统功能模型的图形化工具是____________。
填空题由于软件错误的复杂性，在软件工程测试中，应综合运用测试技术，并且应实施合理的测试序列：单元测试、___________、有效性测试和系统测试。
填空题针对开发的CMMl是一个有关产品和服务的过程改善的成熟度模型，集成了3个源模型：____________、系统工程CMM和___________。
填空题典型的详细设计工具有程序流程图、盒图、问题分析图和____________。
填空题以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。