【作者】 李华； 叶新铭； 吴承勇； 王龙； 王玲玲；

【Author】 Li Hua Ye Xinming Wu Chengyong Wang Long Wang Lingling School of Computer Science,NeiMongol University,Huhhot 010021

【机构】 内蒙古大学计算机学院；

【摘要】 本文介绍了互操作性测试的内容,一致性测试与互操作性测试的关系。根据说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况。基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了本文方法的有效性。最后给出了文章的结论以及下一步的研究工作。更多还原

【Abstract】 The content of interoperability testing of protocol is introduced and the relation between interoperability testing and conformance testing is given.According to the nondeterministic finite state machine of specification and the current experience of interoperability testing, a probability nondeterministic finite state machine(PNFSM) is constructed.The achieved model efficiently describes the current situation of interoperability testing.Based on PNFSM and the certain policy,a binary tree which covers all states of PNFSM is generated.The algorithms which are used to select test sequence from that binary tree are presented.The algorithms’ validity is proved by an example.Finally the conclusion and the work in the future are introduced.更多还原