针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问 题,提出了一种逐步定位系统实现错误的层次递进的方法.先利用测试序列的输入输出信息并结合 错误模型生成初始诊断错误集合,再依据测试套上下文使用错误检测算法对该集合进行筛选,最后 经连续观察或结合主动测试进行错误区分.实例验证结果表明,所提方法能够对绝大多数有单个实 现错误的有限状态机模型进行错误定位.
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
