简述需求规约的概念及其基本性质。

对于单一一个需求，必须具有的基本性质：_______、无歧义的、可测试的、_______以及可测量的。

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

针对单一需求基本性质的验证，可采用不同的活动和技术。其中，验证需求是不是歧义的，一般可采用______。

创建产品验收测试计划和用户操作指南的基础是______。

一种基于自然语言来编制需求规约，则称为______的需求规约。

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

题5图为一个飞机票预定系统的数据流图，图中4表示的基本术语是（）。题5图为一个飞机票预定系统的数据流图，图中4表示的基本术语是（）。

在结构化分析方法中，数据流的归宿地是（）。

可用以描述加工的是（）。