正确答案: A

程序正确性证明

题目：软件测试的方法有三种：静态测试，动态测试和（ ）。

查看原题

举一反三的答案和解析：

[单选题]关系数据库中，下列说法不正确的是______。

每一个关系模式中，属性的个数是固定的。

解析：解析：关系模式中的属性相当于数据库中的字段，它的个数是不固定的。

[单选题]对包含n个元素的散列表进行检索，平均检索长度为

不直接依赖于n

解析：解析：由于散列表的一个重要特征是平均检索长度不直接依赖于元素个数n。平均检索长度不随表中元素增加而增加，而是随负载因子增大而增加。

[单选题]在因特网中，IP数据报从源节点到目的节点可能需要经过多个网络和路由器。在整个传输过程中，IP数据报报头中的

源地址和目的地址都不会发生变化

解析：解析：源地址为发送地址，目的地址为最终接收端地址。在传输过程中，两者都不会变化。

[单选题]微处理器的字长、主频、ALU结构以及下列哪一项功能是影响其处理速度的重要因素?( )。

有无Cache存储器

[单选题]BSP方法所使用的C/U矩阵不能刻画信息系统的( )。

模块结构

解析：解析：BSP的作用是提供一个信息系统的规划，用以支持企业短期和长期的信息重要。该方法所使用的C/U矩阵不能刻画信息系统的模块结构。

[单选题]事务有多个性质，其中不包括( )。

不可撤销

解析：解析：为了保证事务的正确执行，维护数据库的完整性，事务必须具有原子性、一致性、隔离性和持久性。