关于基于规格说明的测试方法选择策略，下列哪项叙述是不正确的？

基于规格说明的测试方法包括多种策略，如语法测试、因果图法、状态转移测试等。对于形式化方式定义的规格说明，语法测试是一种比较适合的方式；如果程序的功能说明中含有输入条件的组合情况，可以使用因果图法；状态转移测试对于明确存在不同状态转移的软件设计测试用例效果很好。然而，关于等价类划分法，它并不是在任何情况下都必须使用的测试策略。因此，选项D是不正确的叙述。