净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。

admin2009-05-15 45

问题净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。

选项 A、产生式归约
B、移进归约
C、盒结构归约
D、规范归约

答案C

解析

转载请注明原文地址:https://kaotiyun.com/show/fLLZ777K

本试题收录于：系统分析师上午综合知识考试题库软考高级分类

系统分析师上午综合知识考试

软考高级

相关试题推荐

PPoint中，设置幻灯片切换方式将弹出“幻灯片切换”对话框，对该对话框描述错误的是()。A．“全部应用”按钮表示每张幻灯片的切换都使用设置的切换方式B．“应用”按钮表示仅在当前幻灯片切换时，使用设置的切换方式C．效果区中的下拉列表框中提供了多种
一个应用程序窗口被最小化后，该应用程序将()。A．被终止执行B．暂停执行C．在前台执行D．被转入后台执行
在PPoint中，幻灯片配色方案是用于演示文稿的()种协调色的集合。A．5B．6C．7D．8
Excel工作表的一个单元格含有多个特性，如格式、内容、批注等等，复制数据时，常常只需复制其部分特性，这可通过()来实现。A．部分粘贴B．部分复制C．选择性粘贴D．选择性复制
程序必须被调入()，才能运行。A．内存B．硬盘　　　　C．软盘　　　　D．网络
在PPoint97中，若要更改系统自动保存时间，可在()菜单中实现。A．文件B．视图C．格式D．工具
下列关于我国信息产业结构化分的说法中，错误的是()。A．我国是按照一定规模、较大独立性和一定战略意义这三个基本要求划分信息产业结构的B．我国信息产业结构划分为5部分C．计算机生产属于信息设备制造业，咨询业属于信息开发业D．我国对信息产业结构
请通过带有图表的幻灯片版式插入图表，幻灯片版式为“标题和图表”，图表标题为“销售记录”。
步骤1单元格B7中输入“=MAx(B2：B5)”，单击[√]确认输入，如图3—17所示。[*]步骤2拖动单元格B7右下角的填充柄至D7，在[开始]选项卡中选择对齐方式为[居中]。本题主要考核“常用函数”考点中的“最大值函数MAX”。
步骤1单击[fx]按钮，在打开的[插入函数]对话框中单击[SUM]选项→单击[确定]按钮，如图3—13所示。[*]步骤2打开[函数参数]对话框，单击[确定]按钮，如图3—14所示。[*]步骤3单击编辑栏，输入“／”，在名称框中选

随机试题

在高空作业处理事故时，下面必须有人保护。()
下列情况不属于刑法规定的立功表现的是()
ICC(A)险的除外责任是()。
期权交易具有独特的非线性损益结构。()
甲公司2016年3月份A商品有关收、发、存情况如下：(1)3月1日结存300件，单位成本为2万元。(2)3月8日购入200件，单位成本为2．2万元。(3)3月10日发出400件。(4)3月20日购入300件，单位成本
教学中“拔苗助长”“陵节而施”违背了()。
在刑事赔偿程序中赔偿义务机关对故意伪造有罪证据的人错误拘留不承担赔偿责任。()
初伏：中伏：末伏()
下列城市中，冬天温差最大的一组是：
WhydidPeterJuddjointhearmy?PeterJuddatlast______.

最新回复(0)

净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。

系统分析师上午综合知识考试

软考高级

一个应用程序窗口被最小化后，该应用程序将()。A．被终止执行B．暂停执行C．在前台执行D．被转入后台执行

在PPoint中，幻灯片配色方案是用于演示文稿的()种协调色的集合。A．5B．6C．7D．8

Excel工作表的一个单元格含有多个特性，如格式、内容、批注等等，复制数据时，常常只需复制其部分特性，这可通过()来实现。A．部分粘贴B．部分复制C．选择性粘贴D．选择性复制

程序必须被调入()，才能运行。A．内存B．硬盘 C．软盘 D．网络

在PPoint97中，若要更改系统自动保存时间，可在()菜单中实现。A．文件B．视图C．格式D．工具

请通过带有图表的幻灯片版式插入图表，幻灯片版式为“标题和图表”，图表标题为“销售记录”。

步骤1单元格B7中输入“=MAx(B2：B5)”，单击[√]确认输入，如图3—17所示。[*]步骤2拖动单元格B7右下角的填充柄至D7，在[开始]选项卡中选择对齐方式为[居中]。本题主要考核“常用函数”考点中的“最大值函数MAX”。

步骤1单击[fx]按钮，在打开的[插入函数]对话框中单击[SUM]选项→单击[确定]按钮，如图3—13所示。[*]步骤2打开[函数参数]对话框，单击[确定]按钮，如图3—14所示。[*]步骤3单击编辑栏，输入“／”，在名称框中选

在高空作业处理事故时，下面必须有人保护。()

下列情况不属于刑法规定的立功表现的是()

ICC(A)险的除外责任是()。

期权交易具有独特的非线性损益结构。()

甲公司2016年3月份A商品有关收、发、存情况如下：(1)3月1日结存300件，单位成本为2万元。(2)3月8日购入200件，单位成本为2．2万元。(3)3月10日发出400件。(4)3月20日购入300件，单位成本

教学中“拔苗助长”“陵节而施”违背了()。

在刑事赔偿程序中赔偿义务机关对故意伪造有罪证据的人错误拘留不承担赔偿责任。()

初伏：中伏：末伏()

下列城市中，冬天温差最大的一组是：

WhydidPeterJuddjointhearmy?PeterJuddatlast______.

程序必须被调入()，才能运行。A．内存B．硬盘　　　　C．软盘　　　　D．网络

步骤1单击[fx]按钮，在打开的[插入函数]对话框中单击[SUM]选项→单击[确定]按钮，如图3—13所示。[]步骤2打开[函数参数]对话框，单击[确定]按钮，如图3—14所示。[]步骤3单击编辑栏，输入“／”，在名称框中选