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

由于软件错误的复杂性，在软件工程测试中，应综合运用测试技术，并且应实施合理的测试序列：单元测试、___________、有效性测试和系统测试。

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

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

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