在常用的可用性测试和评估的方法中，通过用数学模型来模拟人机交互的过程的方法是（）