基于事件消息驱动的Petri网的类族测试用例生成技术的研究

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。