第5题: [单项选择]项目组A的任务是开发一个内存倍速软件,该软件为PC提供比物理内存更大的可见内存。这个功能是通过标识、收集和重分配已经被分配给现有应用但未被使用的内存块而实现的。未用块被重分配给需要追加内存的应用进程。使用形式化方法描述这一规格说明,以下说法错误的是______。 A. 该软件的数据不变式是:内存块的起始地址、结束地址,以及是否使用的标记等信息 B. 该软件的数据不变式是:任何给定块在某一时刻只能分配给一个程序 C. 该软件可能的操作是:添加、删除、转让和查找等 D. 该软件的状态是:已用和未用的标记 参考答案:D 答案解析:[解析] 形式化方法提供了规格说明环境的基础,它使得所生成的分析模型比用传统的或面向对象的方法生成的模型更完整、一致和无岐义。集合论和逻辑符号的描述工具使得软件工程师能创建清晰的关于事实(需求)的陈述