软件调试的基本目标是寻找软件错误的原因并改正。在软件调试中，______先根据自己的工作经验假设一个可能的问题源，然后用数据来证明或否定该假设，利用二分法直到找到问题源。

单项选择题项目组A的任务是开发一个内存倍速软件，该软件为PC提供比物理内存更大的可见内存。这个功能是通过标识、收集和重分配已经被分配给现有应用但未被使用的内存块而实现的。未用块被重分配给需要追加内存的应用进程。使用形式化方法描述这一规格说明，以下说法错误的是______。

单项选择题需求分析是发现、求精、建模和规约的过程。包括详细地精化由系统工程师建立，并在软件项目计划中精化的软件范围，创建所需数据、信息和______ ，以及操作行为的模型，此外还有分析可选择的解决方案，并将它们分配到各软件元素中去。