参考答案：D

解析： 形式化方法提供了规格说明环境的基础，它使得所生成的分析模型比用传统的或面向对象的方法生成的模型更完整、一致和无岐义。集合论和逻辑符号的描述工具使得软件工程师能创建清晰的关于事实(需求)的陈述。
支配形式化方法的基本概念是：①数据不变式，即一个条件表达式，它在包含一组数据的系统的执行过程中总保持为真；②状态，即从系统的外部能够观察到的行为模式的一种表示，或者系统访问和修改的存储数据；③操作，即系统中发生的动作，以及对状态数据的读或写。每一个操作是和两个条件相关联的，即前置条件和后置条件。
本试题中，该软件的数据不变式有两个组成部分：①内存块列表，其中包含块的起始地址、结束地址，以及是否使用的标记及其他相关转让信息；②任何给定块在某一时刻只能分配给一个程序。该软件的状态是内存块列表本身。该软件可能的操作有添加、删除、转让和查找等。