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

Research on test cases generation technology of classes based on EMDPN

作　　者：龚红仿[1] 李军义[1] 邹北骥[1] 

机构地区：[1]湖南大学计算机与通信学院

出　　处：《计算机应用》2005年第1期65-68,共4页journal of Computer Applications

基　　金：国家863计划资助项目(2002AA411510);中科院软件所计算机科学重点实验室课题支持(SYSKF0307)

摘　　要：在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。The method of generating test cases of classes interaction was proposed by McGregor, in which existed blindness combination statement, and resulted in some problems such as test cases explosion, and being not able to be extended because of standard orthogonal array. Aiming at those problems, an interaction paths generation method named Marked Associate Recursive was proposed based-on EMDPN, so as to discuss the approach of solving these questions. At the same time, a test-case generation method of classes interactions with Extended Orthogonal Array Testing System(EOATS) was proposed based on EMDPN so that OATS could be optimized. Testing coverage criterion of EOATS on class interactions testing technology was also discussed, and a classes interactions testing criteria of Synchronization Message Sequences Testing Criteria(SMSC) was proposed. The testing sufficiency of generating orthogonal array was validated.

关 键 词：类族交互测试 测试用例生成 事件消息驱动Petri网 扩展的正交阵列测试系统 标记关 联递推法 同步消息序列 测试覆盖标准 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]