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

admin2009-05-15 55

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

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

答案C

解析

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

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

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

软考高级

相关试题推荐

在windows中，若要安装或删除某个应用程序，必须先打开()窗口，然后在该窗口内操作。
在Word97的编辑状态，要想检查当前文档中的文字拼写，应当使用()。A．编辑菜单中的命令B．格式菜单中的命令C．工具菜单中的命令D．视图菜单中的命令
常说的计算机是486.586.686等指的是()。A．cpu的型号B．计算机中cpu的价格C．内存储器的容量D．cpu的执行速度
设有变量string=“四川省职称计算机应用能力考试”，能够显示“四川省计算机应用能力考试”的命令是()。A．string-“职称”1B．？SUBSTR(string，1，6)+SUBSTR(string，11，28)C．？SUBSTR(stri
在Excel中，公式SUM(C2:C6)的作用是()。A．求C2到C6这五个单元格数据之和B．求C2和C6这两个单元格数据之和C．求C2和C6两单元格的比值D．以上说法都不对
通过“开始”菜单打开”帮助和支持中心“，利用“索引”获得“更改时间设置”方面的帮助信息。
利用“开始”菜单打开“计算器”应用程序，并将十进制321转换成二进制数(利用键盘输入数字)。
工作表某列存放沈阳各月的销售情况，请利用“自动筛选”功能，筛选出沈阳的销售数量最多时的记录，用以与其他城市进行比较。
步骤1单击[fx]按钮，在打开的[插入函数]对话框中单击[SUM]选项→单击[确定]按钮，如图3—13所示。[*]步骤2打开[函数参数]对话框，单击[确定]按钮，如图3—14所示。[*]步骤3单击编辑栏，输入“／”，在名称框中选
(1)2017年5月12日，新型“蠕虫”勒索病毒WannaCry在全球大规模爆发。这是一起利用NSA黑客武器库泄露的“永恒之蓝”发起的病毒攻击事件。国内连接校园网的电脑以及部分企业中了该病毒，造成许多高校毕业生的论文以及企业单位的文档被锁，需要支付高额赎金

随机试题

案例20世纪末，美国有一个营长下达了这样一个命令：“明晚8点，哈雷彗星将在这个地区出现，这种情况每隔76年才能看到一次，命令所有士兵，身穿野战服到操场集合，我要向他们解释一个罕见现象。如果下雨的话，就到礼堂集合，我为他们放一个关于彗星的电影。”值班官员向
A．传出神经为到骨骼肌的Aα纤维B．传出神经为到骨骼肌的Aγ纤维C．传入纤维为C类纤维D．传入纤维为B类纤维完整动物的内脏疼痛反射
A．有妊高征病史B．突然剧烈腹痛C．阴道出血与休克成反比D．呼吸困难、咳嗽、发绀等呼吸衰竭状态E．子宫呈板状，胎心消失与重型胎盘早剥症状不相符的是
关于透明牙本质不正确的是()
房地产价格评估是指以房地产为对象,由专业建筑人员,根据估价目的,遵循估价原则,按照估价程序,选用适宜的估价方法,并在综合分析影响房地产价格因素的基础上,对房地产在估价时点的主观价格或价值进行估算和判定的活动。()
权属界址线发生变化时，有关当事人应当及时进行()测绘。
董事会应对监事会及高级管理层在压力测试管理中的履职情况进行监督评价。()
在某托儿所调查。早餐有20名儿童进餐、午餐有30名儿童进餐、晚餐有25名儿童进餐。请计算人日数。
企业社会责任是指企业在创造利润、对股东承担法律责任的同时，还要承担对员工、消费者、社区和环境的责任。企业的社会责任要求企业必须超越把利润作为唯一目标的传统理念，强调对社会的贡献。根据上述定义，下列不属于履行企业社会责任的行为是()。
Psychologistssaytherearetwodifferentkindsofloneliness.

最新回复(0)

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

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

软考高级

在windows中，若要安装或删除某个应用程序，必须先打开()窗口，然后在该窗口内操作。

在Word97的编辑状态，要想检查当前文档中的文字拼写，应当使用()。A．编辑菜单中的命令B．格式菜单中的命令C．工具菜单中的命令D．视图菜单中的命令

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

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

在Excel中，公式SUM(C2:C6)的作用是()。A．求C2到C6这五个单元格数据之和B．求C2和C6这两个单元格数据之和C．求C2和C6两单元格的比值D．以上说法都不对

通过“开始”菜单打开”帮助和支持中心“，利用“索引”获得“更改时间设置”方面的帮助信息。

利用“开始”菜单打开“计算器”应用程序，并将十进制321转换成二进制数(利用键盘输入数字)。

工作表某列存放沈阳各月的销售情况，请利用“自动筛选”功能，筛选出沈阳的销售数量最多时的记录，用以与其他城市进行比较。

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

A．传出神经为到骨骼肌的Aα纤维B．传出神经为到骨骼肌的Aγ纤维C．传入纤维为C类纤维D．传入纤维为B类纤维完整动物的内脏疼痛反射

A．有妊高征病史B．突然剧烈腹痛C．阴道出血与休克成反比D．呼吸困难、咳嗽、发绀等呼吸衰竭状态E．子宫呈板状，胎心消失与重型胎盘早剥症状不相符的是

关于透明牙本质不正确的是()

权属界址线发生变化时，有关当事人应当及时进行()测绘。

董事会应对监事会及高级管理层在压力测试管理中的履职情况进行监督评价。()

在某托儿所调查。早餐有20名儿童进餐、午餐有30名儿童进餐、晚餐有25名儿童进餐。请计算人日数。

Psychologistssaytherearetwodifferentkindsofloneliness.

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