本题考察的是黑盒测试方法中的边界值分析法。
边界值分析（Boundary Value Analysis） 是黑盒测试中最常用的一种方法，它关注的是输入或输出的边界情况，认为程序最容易在边界处出错，因此设计测试用例时特别关注边界本身及其相邻值。
本题中条件为 -1 ≤ a ≤ 1，所设计的测试数据：

• 1.001：略小于下边界
• 1：正好等于下边界
• 1：正好等于上边界
• 1.001：略大于上边界
  这些测试用例恰好覆盖了边界值及边界附近值，完全符合边界值分析法的特征。
  B选项 等价类划分：强调将输入划分为有效等价类和无效等价类，从每类中挑一个典型值进行测试，本题选取的数据分布明显聚焦于边界，而非代表性分类值。
  C选项 因果图：是将输入条件和输出之间的关系图示化，适合分析多条件组合的测试用例设计，不适用于本题。
  D选项 错误推测：基于经验和直觉来预测可能的错误位置并设计测试数据，本题的数据来源有明确的边界逻辑，并非基于推测。
  因此，选项 A 正确。