参考答案：A

解析： 开发软件系统最为困难的部分就是准确说明开发什么。最为困难的概念性工作便是编写出详细的技术需求，这包括所有面向用户、面向机器和其他软件系统的接口。同时，这也是一旦出错，将最终会给系统带来极大困难的部分，并且以后再对它进行修改也极为困难。
软件需求可以分为几个层次，分别如下：
(1)业务需求(business requirement)。反映组织机构或客户对系统、产品高层次的目标要求，它们在项目视图与范围文档中予以说明。
(2)用户需求(user requirement)。描述用户使用产品必须完成的任务，在用例文档或方案场景(scenario)说明中予以说明。
(3)功能需求(functional requirement)。定义开发人员必须实现的软件功能，使得用户能完成他们的任务，从而满足业务需求。
(4)非功能需求(none-functional requirement)。描述系统展现给用户的行为和执行的操作等。包括产品必须遵循的标准、规范和合约；外部界面的具体细节；性能要求；设计或实现的约束条件；质量属性。
软件需求说明书(SRS)是需求分析阶段的成果，不仅是系统测试和用户文档的基础，也是所有子系列项目规划、设计和编码的基础。它应该尽可能完整地描述系统预期的外部行为和用户可视化行为。除了设计和实现上的限制，软件需求规格说明不应该包括设计、构造、测试或工程管理的细节。可以使用以下三种方法编写软件需求规格说明。
(1)用好的结构化和自然语言编写文本型文档。
(2)建立图形化模型，这些模型可以描绘转换过程、系统状态和它们之间的变化、数据关系、逻辑流或对象类和它们的关系。
(3)编写形式化规格说明，这可以通过使用数学上精确的形式化逻辑语言来定义。
由于形式化规格说明具有很强的严密性和精确度，因此，所使用的形式化语言只有极少数软件开发人员才熟悉，更不用说客户了。虽然结构化的自然语言具有许多缺点，但在大多数软件工程中，它仍是编写需求文档最现实的方法。包含了功能和非功能需求的基于文本的软件需求规格说明已经为大多数项目所接受。图形化分析模型通过提供另一种需求视图，增强了软件需求规格说明。
在本题中，“用户能有效地纠正文档中的拼写错误”是业务需求，因为该产品的包装盒封面上可能会标明这是个满足业务需求的拼写检查器。而对应的用户需求则是“找出文档中的拼写错误并通过一个提供的替换项列表来供选择替换拼错的词”。同时，该拼写检查器还有许多功能需求，如找到并高亮度提示错词的操作；显示提供替换词的对话框以及实现整个文档范围的替换。