计算机模型测试与验证原理方法及应用戴维·穆拉伊史密斯 计算机与网络主要研究模型质量相关问题 系统的模型测试校核与验证的过程