瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。
需求分析、编码
暂无解析
下列软件测试技术中，依据软件行为描述的是（）
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。
结构化分析方法给出了一种能表达系统功能模型的图形化工具是____________。
在销售管理系统需求文档中出现下列描述，属于功能需求范畴的是（）