需求验证是指以需求规格说明为输入，通过符号执行、模拟或快速原型等途径，分析需求规格的正确性和可行性，包含有效性检查、一致性检查、可行性检查和可验证性确认等。如果需求能够表达成形式化的方式，就可以通过一些符号的执行、逻辑的判断来验证需求规格的正确性。有些时候可以通过模拟或仿真来判断。需求验证过程中需要进行（）。
需求验证是指以需求规格说明为输入，通过符号执行、模拟或快速原型等途径，分析需求规格的正确性和可行性，包含有效性检查、一致性检查、可行性检查和可验证性确认等。如果需求能够表达成形式化的方式，就可以通过一些符号的执行、逻辑的判断来验证需求规格的正确性。有些时候可以通过模拟或仿真来判断。需求验证过程中需要进行（）。
A.需求评审
B.原型法确认
C.模型验证
D.其它各项都包括
正确答案：其它各项都包括