软件验证过程中，根据验证的侧重点不同，可以将验证分为5种类型，即需求验证、设计验证、代码验证、（）和文档验证。

基于系统工程的一般原理，软件是整个系统的一个组成部分，其执行系统中（）功能、（）功能以及软件本身提供的功能。

填空题基于系统工程的一般原理，软件是整个系统的一个组成部分，其执行系统中（）功能、（）功能以及软件本身提供的功能。

常有的静态评估技术有（）和（）形式化证明等。

填空题常有的静态评估技术有（）和（）形式化证明等。

若基本目标是确保有一个实在的产品发布给用户群，则处于RUP的（）阶段。

填空题若基本目标是确保有一个实在的产品发布给用户群，则处于RUP的（）阶段。