以下关于软件开发方法的叙述，错误的是（31）。

       A．对于较为复杂的应用问题，适合采用形式化方法进行需求分析

       B．形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现

       C．净室软件工程将正确性验证作为发现和排除错误的主要机制

       D．净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试

       软件开发环境应支持多种集成机制。根据功能不同，可以将集成机制分为三个部分：（32），用以存储与系统开发有关的信息，并支持信息的交流与共享；（33），是实现过程集成和控制集成的基础；（34），它的统一性和一致性是软件开发环境的重要特征。

       （32）A．算法模型库

       B．环境信息库

       C．信息模型库

       D．用户界面库

       （33）A．工作流与日志服务器

       B．进程通信与数据共享服务器

       C．过程控制与消息服务器

       D．同步控制与恢复服务器

       （34）A．底层数据结构

       B．数据处理方法

       C．业务过程模型

       D．环境用户界面

       对于违反里氏替换原则的两个类A和B，可以采用的候选解决方案中，正确的是（35）。

       A．尽量将一些需要扩展的类或者存在变化的类设计为抽象类或者接口，并将其作为基类，在程序中尽量使用基类对象进行编程

       B．创建一个新的抽象类C，作为两个具体类的超类，将A和B共同的行为移动到C中，从而解决A和B行为不完全一致的问题

       C．将B到A的继承关系改成组合关系

       D．区分是“Is-a”还是“Has-a”。如果是Is-a，可以使用继承关系，如果是Has-a，应该改成组合或聚合关系

       以下关于黑盒测试用例设计方法的叙述，错误的是（36）。

       A．边界值分析通过选择等价类边界作为测试用例，不仅重视输入条件边界，而且也必须考虑输出域边界

       B．因果图方法是从用自然语言书写的程序规格说明的描述中找出因（输入条件）和果（输出或程序状态的改变），可以通过因果图转换为判定表

       C．正交试验设计法，就是使用已经造好了的正交表格来安排试验并进行数据分析的一种方法，目的是用最少的测试用例达到较高的测试覆盖率

       D．等价类划分法根据软件的功能说明，对每一个输入条件确定若干个有效等价类和无效等价类，但只能为有效等价类设计测试用例

       以下关于软件测试工具的叙述，错误的是（37）。

       A．静态测试工具可用于对软件需求、结构设计、详细设计和代码进行评审、走查和审查

       B．静态测试工具可对软件的复杂度分析、数据流分析、控制流分析和接口分析提供支持

       C．动态测试工具可用于软件的覆盖分析和性能分析

       D．动态测试工具不支持软件的仿真测试和变异测试

       架构描述语言（Architecture Description Language，ADL）是一种为明确说明软件系统的概念架构和对这些概念架构建模提供功能的语言。ADL主要包括以下组成部分：组件、组件接口、（38）和架构配置。

       A．架构风格

       B．架构实现

       C．连接件

       D．组件实现

       ANSI/IEEE 1471-2000是对软件密集型系统的架构进行描述的标准。在该标准中，（39）这一概念主要用于描述软件架构模型。在此基础上，通常采用（40）描述某个利益相关人（Stakeholder）所关注架构模型的某一方面。（41）则是对所有利益相关人关注点的响应和回答。

       （39）A．上下文

       B．架构风格

       C．组件

       D．视图

       （40）A．环境

       B．资源

       C．视角

       D．场景

       （41）A．架构

       B．系统

       C．模型

       D．使命