王某为某县劳动与社会保障局的一名科长，因违纪受到降级处分。下列何种说法符合《公务员法》的规定？()

若第i号过程产生第k号数据类，则材Mik=C；若第j号过程使用第k号数据类，则材Mjk=U。矩阵M按照一定的规则进行调整后，可以给出划分系统的子系统方案，并可确定每个子系统相关的(28)和(29)；同时也可了解子系统之间的(30)。

A．关系数据库

B．层次数据库

C．网状数据库

D．共享数据库

编号为0、1、2、3、…、7的8个处理器，当采用PM2+1单级网络互连时，与6号处理器相连的处理器号是______。

A．0

B．4

C．6

D．8

常用的软件冗余方法有多种，在关于软件冗余的描述中，正确的是______。

A．多版本程序设计可以检查软件故障，但不能检查硬件故障

B．用一组数据检查运算逻辑部件的功能属于能力检查

C．一致性检查时要把计算机的计算结果与手工计算结果进行比较

D．软件冗余是一种动态冗余技术

用单台处理机顺序计算表达式：f=a+be+ce2+de3，需(1)级。若用3台处理机并行计算此表达式，则只需(2)级。

(1)

A．4

B．5

C．6

D．7

软件测试是保证软件可靠性的主要手段之一。测试阶段的根本任务是(28)，设计测试用例的基本目标是(29)。测试大型软件系统时通常由模块测试、集成测试、系统测试、(30)和并行运行等步骤所组成。系统测试通常采 用黑盒法，常用的黑盒测试法有边值分析、等价类划分、错误推测和(31)。系统测试的工作应该由(32)来承担。

A．证明经测试后的程序是正确的

B．确认编码阶段的结束

C．发现并改正软件中的错误

D．利用计算机调试程序和改进程序

A．恢复

B．强度

C．安装

D．回归

A．软件评审

B．结构程序设计

C．快速原型方法

D．面向对象设计

A．软件评审

B．结构程序设计

C．第四代语言

D．PERT图方法

软件方法学是以软件方法为研究对象的学科。从开发风范上看，可分为(99)。从性质上看，可分为(100)。从适应范围来看，可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有四种：过程途径、归纳途径、(103)。

A．面向对象开发方法与自底向上的开发方法

B．自顶向下的开发方法与结构化开发方法

C．面向对象开发方法与结构化开发方法

D．自顶向下的开发方法与自底向上的开发方法

配置管理系统通常由(7)组成。

A．动态库、静态库和产品库

B．开发库、备份库和产品库

C．动态库、主库和产品库

D．主库、受控库和产品库