基于EDPN的面向对象的系统测试用例生成技术的研究  

Research Generation Technology of System Test Cases of Object-oriented Software Based on EDPN

作　　者：龚红仿[1] 李军义[1] 仝青山[2] 

机构地区：[1]湖南大学计算机与通信学院,长沙410082 [2]长沙理工大学数学与计算科学学院,长沙410077

出　　处：《计算机工程与应用》2005年第3期37-39,共3页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划项目(编号:2002AA411510);中科院软件所计算机科学重点实验室课题(编号:SYSKF0307)资助

摘　　要：面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的Petri网(Event-DrivenPetriNetwork,简称EDPN)模型直观可靠的特点和较好的耦合性运用到系统测试技术中,探讨了解决问题的途径,提出了一种基于EDPN的唯一输入输出(UIO)测试用例的生成方法,并设计了基于深度优先搜索方法的自动生成测试用例的算法。The testing technology based on specification is one of the fields of software testing for OOP.When the technology is used to the system testing process,it will bring some question such as oracle,event quiescence and path explosion.The paper discusses the approach of solving the questions with the better intuitionistic and coupling characteristic of EDPN model.It puts forward a testing cases generation method of EDPN-based UIO and designs the algorithm of automatic test case generation based on DFS.

关 键 词：面向对象 系统测试 测试用例生成 事件驱动Petri网 唯一输入输出 

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