CAJ | 학술논문

为提高测试结果的可靠性和错误覆盖率,在动态协议一致性测试过程中引入局部错误诊断机制,提出了一种新的动态测试方法,并在确定有限状态机模型下分析其原理及正确性.新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选,有效避免了对局部错误位置的错误判断.同时,提出了一种基于错误子列的局部错误诊断方式,突破了单一错误假设的局限,更具实用价值.实验结果表明,该测试方法可以有效地避免由于局部错误而造成的测试结果可靠性的降低,具有更好的错误覆盖率.
위제고측시결과적가고성화착오복개솔,재동태협의일치성측시과정중인입국부착오진단궤제,제출료일충신적동태측시방법,병재학정유한상태궤모형하분석기원리급정학성.신적측시방법충분이용료측시과정산생적동태신식대대선측시서렬진행배선,유효피면료대국부착오위치적착오판단.동시,제출료일충기우착오자렬적국부착오진단방식,돌파료단일착오가설적국한,경구실용개치.실험결과표명,해측시방법가이유효지피면유우국부착오이조성적측시결과가고성적강저,구유경호적착오복개솔.