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

admin2009-05-15 63

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

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

答案C

解析

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

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

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

软考高级

相关试题推荐

在Word的编辑中，若要在文档中选定较长的内容，可先将光标定位于起始位置，然后在单击结束位置时，必须同时按下的键是()。A．ShiftB．CtrlC．AltD．空格键
下列关于存储器读写速度的排列，正确的是()。A．ram＞cache＞硬盘＞软盘B．cache＞ram＞硬盘＞软盘C．cache＞硬盘＞ram＞软盘D．ram＞硬盘＞软盘＞cache
常说的计算机是486.586.686等指的是()。A．cpu的型号B．计算机中cpu的价格C．内存储器的容量D．cpu的执行速度
在幻灯片播放过程中，单击一次鼠标左键会()。A．切换到第一张幻灯片B．切换到最后一张幻灯片C．切换到上一张幻灯片D．切换到下一张幻灯片或本张幻灯片的下一个播放对象
关于PPoint97启动对话框的描述，()是错误的。A．使用“内容提示向导”，能在系统提示下创建新演示文稿B．使用“模板”可生成具有一定布局和色彩的幻灯片C．“打开已有的演示文稿”选项没有任何作用D．使用“空演示文稿”创建一张空白幻灯片
通过“控制面板”，将系统当前日期设置为“2009年10月1日”。
合并性别和年龄两列单元格。
筛选出当前工作表中姓“李”的学生的记录。
步骤1单击[fx]按钮，在打开的[插入函数]对话框中单击[SUM]选项→单击[确定]按钮，如图3—13所示。[*]步骤2打开[函数参数]对话框，单击[确定]按钮，如图3—14所示。[*]步骤3单击编辑栏，输入“／”，在名称框中选
WindowsXP在默认的情况下会安装一些常用的组件，根据安全的原则，应该是()。

随机试题

在GBK编码标准中，汉字机内码和西文字符ASCII码的区别是()。
为防止肾上腺素氧化变质和消旋化，肾上腺素注射液可用何种气体饱和的注射用水配制
患者发黄干枯，稀疏易落的临床意义是
A、kB、αC、βD、γE、Km消除速度常数表示为
框架—剪力墙结构在8度抗震设计中，剪力墙的间距不宜超过下列哪一组中的较小值?(B为楼面宽度)
对于一般工业与民用建筑工程的分部工程而言，下列不属于分部工程的是()。
甲公司在制定未来五年发展规划时，决定立足于现有的食品和饮料业务，同时开拓宠物食品业务，并根据企业的资源状况，决定了各项业务在战略谋划期间的资源分配和发展方向。根据以上信息，请判断该公司制定的是()。
在幼儿活动中，幼儿教师为幼儿提供的活动材料()。
某工程计划如图3-5所示，各个作业所需的天数如表3-3所列，设该工程从第0天开工，则作业I最迟应在第(35)天开工。
______是指能对计算机中所存放的大量数据进行管理和控制的一种系统软件。

最新回复(0)

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

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

软考高级

在Word的编辑中，若要在文档中选定较长的内容，可先将光标定位于起始位置，然后在单击结束位置时，必须同时按下的键是()。A．ShiftB．CtrlC．AltD．空格键

下列关于存储器读写速度的排列，正确的是()。A．ram＞cache＞硬盘＞软盘B．cache＞ram＞硬盘＞软盘C．cache＞硬盘＞ram＞软盘D．ram＞硬盘＞软盘＞cache

常说的计算机是486.586.686等指的是()。A．cpu的型号B．计算机中cpu的价格C．内存储器的容量D．cpu的执行速度

在幻灯片播放过程中，单击一次鼠标左键会()。A．切换到第一张幻灯片B．切换到最后一张幻灯片C．切换到上一张幻灯片D．切换到下一张幻灯片或本张幻灯片的下一个播放对象

通过“控制面板”，将系统当前日期设置为“2009年10月1日”。

合并性别和年龄两列单元格。

筛选出当前工作表中姓“李”的学生的记录。

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

WindowsXP在默认的情况下会安装一些常用的组件，根据安全的原则，应该是()。

在GBK编码标准中，汉字机内码和西文字符ASCII码的区别是()。

为防止肾上腺素氧化变质和消旋化，肾上腺素注射液可用何种气体饱和的注射用水配制

患者发黄干枯，稀疏易落的临床意义是

A、kB、αC、βD、γE、Km消除速度常数表示为

框架—剪力墙结构在8度抗震设计中，剪力墙的间距不宜超过下列哪一组中的较小值?(B为楼面宽度)

对于一般工业与民用建筑工程的分部工程而言，下列不属于分部工程的是()。

甲公司在制定未来五年发展规划时，决定立足于现有的食品和饮料业务，同时开拓宠物食品业务，并根据企业的资源状况，决定了各项业务在战略谋划期间的资源分配和发展方向。根据以上信息，请判断该公司制定的是()。

在幼儿活动中，幼儿教师为幼儿提供的活动材料()。

某工程计划如图3-5所示，各个作业所需的天数如表3-3所列，设该工程从第0天开工，则作业I最迟应在第(35)天开工。

______是指能对计算机中所存放的大量数据进行管理和控制的一种系统软件。

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