净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。A．产生式归约B．移进归约C．盒结构归约D．规范归约
净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
A．产生式归约
B．移进归约
C．盒结构归约
D．规范归约
相关考题：
●在编译程序中，语法分析的方法有自底向上分析和自顶向下分析。自底向上分析方法自左向右扫描输入符号串，通过 (46) 分析其语法是否正确。例如， (47) 就是一种自底向上的分析方法，与其他自底向上分析方法不同，它是根据 (48) 来进行归约的。自顶向下分析方法从文法的开始符号出发，判断其能否 (49) 出输入符号串。采用自顶向下分析方法时，要求文法不含有 (50) 。(46) A．归约-移进B．归约-归约C．移进-归约D．移进-移进(47) A．算符优先分析法B．LL (1) 分析法C．递归子程序分析法D．预测分析法(48) A．短语B．素短语C．句柄D．直发短语(49) A．归约B．移进C．推理D．推导(50) A．右递归B．左递归C．直接左递归D．直接右递归
以下关于软件开发方法的叙述，错误的是（ ）。A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试
● 净室软件工程是软件开发的一种（24）方法，可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模，并将 （25） 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A.形式化B.迭代式C.瀑布式D.交互式（25）A.测试B.仿真C.实验D.正确性验证
在编译程序中，语法分析的方法有自底向上分析和自顶向下分析。自底向上分析方法自左向右扫描输入符号串，通过(46)分析其语法是否正确。例如，(47)就是一种自底向上的分析方法，与其他自底向上分析方法不同，它是根据(48)来进行归约的。自顶向下分析方法从文法的开始符号出发，判断其能否(49)出输入符号串。采用自顶向下分析方法时，要求文法不含有(50)。A．归约-移进B．归约-归约C．移进-归约D．移进-移进
净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A．形式化B．迭代式C．瀑布式D．交互式
在编译程序中，语法分析的方法有自底向上分析和自顶向下分析。自底向上分析方法自左向右扫描输入符号串，通过__（1）__分析其语法是否正确。例如，__（2）__就是一种自底向上的分析方法。与其他自底向上分析方法不同，它是根据__（3）__来进行归约的。自顶向下分析方法从文法的开始符号出发，判断其能否__（4）__出输入符号串。采用自顶向下分析方法时，要求文法不含有__（5）__。空白（1）处应选择（）A、归约一移进B、移进-移进C、移进-归约D、归约-归约
关于软件开发技术的描述，错误的是（）。A、开发大型软件应当使用软件工程学的方法B、软件开发最主要的工作就是编写程序C、软件测试的主要任务是发现错误和排除错误D、软件开发首先要进行需求分析，主要任务是理解和表达用户的要求，进行可行性分析
判断题同心集的合并有可能产生“归约/归约”冲突。A对B错