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

admin2009-05-15 39

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

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

答案C

解析

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

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

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

软考高级

相关试题推荐

被编辑的文档在屏幕上的显示方式与打印方式相同的称为()。
pc机的标准输入设备是()。
windows应用程序窗口中的某一菜单中的某条命令被选中后，则出现一对话框，则该命令有()特点。A．后跟“…”B．前有“√”C．呈灰色D．后跟三角形符号
设有变量string=“四川省职称计算机应用能力考试”，能够显示“四川省计算机应用能力考试”的命令是()。A．string-“职称”1B．？SUBSTR(string，1，6)+SUBSTR(string，11，28)C．？SUBSTR(stri
在PPoint97中，若要统计幻灯片的张数及字数等信息，则应执行()菜单中的“属性”命令。A．视图B．工具C．文件D．数据
利用“记录单”在工作表中增加六月份的销售情况，分别是北京330，上海357，沈阳326，成都318，长春341。
请使用“复制”与“粘贴”方法，向销售情况图表中添加各地区四月份销售情况。
步骤1选中单元格B6，在[公式]选项卡[函数库]组中单击[其他函数]→[统计]→[COUNT]函数。步骤2单击[Valuel]参数文本框中的图标按钮，在工作表中用鼠标对准B2拖动填充柄至单元格B5，单击图标按钮，如图3—16所示。[*]步骤3
步骤1单击[fx]按钮，在打开的[插入函数]对话框中单击[SUM]选项→单击[确定]按钮，如图3—13所示。[*]步骤2打开[函数参数]对话框，单击[确定]按钮，如图3—14所示。[*]步骤3单击编辑栏，输入“／”，在名称框中选
判断题：部署一个WWAN相对来说不是很贵，所以通常隋况下是企业用户自己部署。A、正确B、错误

随机试题

氧自由基
一创伤患者，伴恶心、呕吐、腹痛入院。查体：面色苍白，脉搏微弱，左下胸可见皮肤瘀斑，胸廓挤压征(+)，左肺呼吸音减弱，移动性浊音(+)，无明显腹膜炎体征。首先考虑的诊断是
下列属于大气污染中的主要污染气体的是()。
某企业总资产为2000万元，其中流动资产500万元，存货100万元，负债200万元，流动负债100万元，则其流动比率为()。
该酒店的装饰装修工程合同采用固定总价是否妥当?为什么?建设工程合同按照承包工程计价方式可划分为哪几类?
下列选项中，项目监理机构可设置总监理工程师代表的情形有()。
“如果较高层次的需要不能得到满足的话，对低层次需要的欲望就会加强”，这一说法代表的观点属于()。
下列不属于批发交易市场类型的是()。
《国家中长期教育改革和发展规划纲要(2010—2020)》指出，到2020年，基本实现教育现代化，基本形成()。
WorldEnvironmentDaywasestablishedbytheUnitedNationsGeneralAssemblyin1972tomarktheopeningoftheStockholmConfer

最新回复(0)

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

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

软考高级

被编辑的文档在屏幕上的显示方式与打印方式相同的称为()。

pc机的标准输入设备是()。

windows应用程序窗口中的某一菜单中的某条命令被选中后，则出现一对话框，则该命令有()特点。A．后跟“…”B．前有“√”C．呈灰色D．后跟三角形符号

设有变量string=“四川省职称计算机应用能力考试”，能够显示“四川省计算机应用能力考试”的命令是()。A．string-“职称”1B．？SUBSTR(string，1，6)+SUBSTR(string，11，28)C．？SUBSTR(stri

在PPoint97中，若要统计幻灯片的张数及字数等信息，则应执行()菜单中的“属性”命令。A．视图B．工具C．文件D．数据

利用“记录单”在工作表中增加六月份的销售情况，分别是北京330，上海357，沈阳326，成都318，长春341。

请使用“复制”与“粘贴”方法，向销售情况图表中添加各地区四月份销售情况。

步骤1选中单元格B6，在[公式]选项卡[函数库]组中单击[其他函数]→[统计]→[COUNT]函数。步骤2单击[Valuel]参数文本框中的图标按钮，在工作表中用鼠标对准B2拖动填充柄至单元格B5，单击图标按钮，如图3—16所示。[*]步骤3

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

判断题：部署一个WWAN相对来说不是很贵，所以通常隋况下是企业用户自己部署。A、正确B、错误

氧自由基

一创伤患者，伴恶心、呕吐、腹痛入院。查体：面色苍白，脉搏微弱，左下胸可见皮肤瘀斑，胸廓挤压征(+)，左肺呼吸音减弱，移动性浊音(+)，无明显腹膜炎体征。首先考虑的诊断是

下列属于大气污染中的主要污染气体的是()。

某企业总资产为2000万元，其中流动资产500万元，存货100万元，负债200万元，流动负债100万元，则其流动比率为()。

该酒店的装饰装修工程合同采用固定总价是否妥当?为什么?建设工程合同按照承包工程计价方式可划分为哪几类?

下列选项中，项目监理机构可设置总监理工程师代表的情形有()。

“如果较高层次的需要不能得到满足的话，对低层次需要的欲望就会加强”，这一说法代表的观点属于()。

下列不属于批发交易市场类型的是()。

《国家中长期教育改革和发展规划纲要(2010—2020)》指出，到2020年，基本实现教育现代化，基本形成()。

WorldEnvironmentDaywasestablishedbytheUnitedNationsGeneralAssemblyin1972tomarktheopeningoftheStockholmConfer

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