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

admin2009-05-15 72

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

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

答案C

解析

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

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

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

软考高级

相关试题推荐

在Word的编辑状态，执行编辑菜单中的“复制”命令后()。A．选择的内容被复制到插入点处B．选择的内容被复制到剪贴板C．插入点所在的段落内容被复制到剪贴板D．光标所在的段落内容被复制到剪贴板
一个应用程序窗口被最小化后，该应用程序将()。A．被终止执行B．暂停执行C．在前台执行D．被转入后台执行
如果要将页面上的某个图形设计成页面下载后显示在页面上，当鼠标放在它的上面时，该图形变为另一图形，那么可以通过______方法来设置。A．使用时间线B．“RolloverImage”命令C．将图形插入到表格中D．使用层与行为
已经为演示文稿设置了动画效果，现希望保留动画效果设置参数，但在播放时没有动画效果，则可通过选择()菜单项来完成这项工作。A．动画预览B．预设动画C．设置放映方式D．动作设置
计算机存储器容量的基本单位()。
计算机不能正常工作的原因与()无关。A．硬件配置达不到要求B．软件中含有错误C．使用者操作不当D．周围环境噪声大
请利用“开始”菜单打开“录音机”并录制一段音乐，要求格式为“MPEGLayer-3”属性为“256kBit／s，23．000Hz，Sterero，并将该格式以‘mp3”为名进行保存，然后将声音文件保存到E盘根目录下，文件名为“001．wav”。
数据的基本单位是
数据的基本单位是()。
WindowsXP在默认的情况下会安装一些常用的组件，根据安全的原则，应该是()。

随机试题

位于目内眦旁0．1寸的腧穴是
A．细胞呼吸酶活性B．血红素合成酶活性C．细胞色素氧化酶活性D．胆碱酯酶活性E．过氧化氢酶活性硫化氢中毒主要抑制
根据《柴油车排放污染防治技术政策》，柴油车主要排放一氧化碳(CO)、碳氢化合物(HC)、氮氧化物(NOx)和颗粒污染物等，控制的重点是()。
《全国主体功能区规划》提出，对()国家重点生态功能区实行禁牧休牧，推行舍饲圈养，以草定畜，严格控制载畜量。
水利水电工程施工中，按岩石坚固系数的大小将岩石分为()级。
下列各项中，关于人民法院执行管辖的原则，说法正确的有()。
与客户维护好关系需要做到:()。
银行个人理财业务人员可以()。
在社会各个领域迅速发展的今天，全球却面临着气候方面的危机—“温室效应”，这种“温室效应”的最终原因是(　)。
进程是操作系统中的重要概念之一。在下列有关Window98的进程的叙述中，正确的是______。

最新回复(0)

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

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

软考高级

在Word的编辑状态，执行编辑菜单中的“复制”命令后()。A．选择的内容被复制到插入点处B．选择的内容被复制到剪贴板C．插入点所在的段落内容被复制到剪贴板D．光标所在的段落内容被复制到剪贴板

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

如果要将页面上的某个图形设计成页面下载后显示在页面上，当鼠标放在它的上面时，该图形变为另一图形，那么可以通过______方法来设置。A．使用时间线B．“RolloverImage”命令C．将图形插入到表格中D．使用层与行为

已经为演示文稿设置了动画效果，现希望保留动画效果设置参数，但在播放时没有动画效果，则可通过选择()菜单项来完成这项工作。A．动画预览B．预设动画C．设置放映方式D．动作设置

计算机存储器容量的基本单位()。

计算机不能正常工作的原因与()无关。A．硬件配置达不到要求B．软件中含有错误C．使用者操作不当D．周围环境噪声大

请利用“开始”菜单打开“录音机”并录制一段音乐，要求格式为“MPEGLayer-3”属性为“256kBit／s，23．000Hz，Sterero，并将该格式以‘mp3”为名进行保存，然后将声音文件保存到E盘根目录下，文件名为“001．wav”。

数据的基本单位是

数据的基本单位是()。

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

位于目内眦旁0．1寸的腧穴是

A．细胞呼吸酶活性B．血红素合成酶活性C．细胞色素氧化酶活性D．胆碱酯酶活性E．过氧化氢酶活性硫化氢中毒主要抑制

根据《柴油车排放污染防治技术政策》，柴油车主要排放一氧化碳(CO)、碳氢化合物(HC)、氮氧化物(NOx)和颗粒污染物等，控制的重点是()。

《全国主体功能区规划》提出，对()国家重点生态功能区实行禁牧休牧，推行舍饲圈养，以草定畜，严格控制载畜量。

水利水电工程施工中，按岩石坚固系数的大小将岩石分为()级。

下列各项中，关于人民法院执行管辖的原则，说法正确的有()。

与客户维护好关系需要做到:()。

银行个人理财业务人员可以()。

在社会各个领域迅速发展的今天，全球却面临着气候方面的危机—“温室效应”，这种“温室效应”的最终原因是( )。

进程是操作系统中的重要概念之一。在下列有关Window98的进程的叙述中，正确的是______。

在社会各个领域迅速发展的今天，全球却面临着气候方面的危机—“温室效应”，这种“温室效应”的最终原因是(　)。