以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
简述需求规约的概念及其基本性质。
由于软件错误的复杂性，在软件工程测试中，应综合运用测试技术，并且应实施合理的测试序列：单元测试、___________、有效性测试和系统测试。
在软件开发中，软件系统模型大体上可分为两类：概念模型和（）
UML的图形化工具分为两类：行为图和（）
RUP采用_________技术来获取需求。