欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
为提高测试结果的可靠性和错误覆盖率，在动态协议一致性测试过程中引入局部错误诊断机制，提出了一种新的动态测试方法，并在确定有限状态机模型下分析其原理及正确性．新的测试方法充分利用了测试过程产生的动态信息对待选测试序列进行排选，有效避免了对局部错误位置的错误判断．同时，提出了一种基于错误子列的局部错误诊断方式，突破了单一错误假设的局限，更具实用价值．实验结果表明，该测试方法可以有效地避免由于局部错误而造成的测试结果可靠性的降低，具有更好的错误覆盖率．
英文摘要：
To enhance the reliability and the fault coverage of the test results, a local error diagnostic mechanism was introduced into dynamic protocol conformance test, a new dynamic test method was proposed, whose principle and correctness was analyzed on determinate finite state machine model. The new method took full advantage of the dynamic information generated during test to avoid the incorrect locating of local error. Also a local error diagnostic method was presented on error sub-sequence, which was not restricted to single error assumption and more practical. The experimental resuits showed that the method can effectively avoid the descending of the test reliability and give better fault coverage.
同期刊论文项目
同项目期刊论文
期刊信息
位置：