%0 Journal Article %A 龚红仿,李军义,邹北骥 %T 基于事件消息驱动的Petri网的类族测试用例生成技术的研究 %D 2005 %R 10.3724/SP.J.1087.2005.00065 %J 计算机应用 %P 65-68 %V 25 %N 01 %X 在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。 %U http://www.joca.cn/CN/10.3724/SP.J.1087.2005.00065