摘要
面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试,该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁”和路径爆炸等问题。论文将事件驱动的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.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第3期37-39,共3页
Computer Engineering and Applications
基金
国家863高技术研究发展计划项目(编号:2002AA411510)
中科院软件所计算机科学重点实验室课题(编号:SYSKF0307)资助
