基于扩展有限状态机的类测试用例生成方法  

Method of Class Test Case Generating Based on EFSM

作　　者：郭朝彬[1] 郭永红[1] 郭红涛[2] 

机构地区：[1]华北水利水电学院,河南郑州450011 [2]中兴通讯股份有限公司,江苏南京210012

出　　处：《华北水利水电学院学报》2006年第3期52-54,共3页North China Institute of Water Conservancy and Hydroelectric Power

摘　　要：为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息传递和类状态变化进行了分析和研究,提出了一种基于扩展有限状态机模型的类测试用例集的生成算法.此算法能自动生成满足All_use路径覆盖标准的测试用例集,并能保证测试用例的路径长度最短.Enhancing the efficiency of software development and quality of software products necessarily requires software test automation. Automating software test lies in the automatic generation of test cases. The module extending finite state machines and data flow analysis method are used to analyze class, message of class and object state transferring. As a result, based on extending finite state machines, generation algorithm of class test cases is given. The algorithm can automatically generate test cases set that can satisfy All-use path rule and make path length shortest.

关 键 词：类单元测试 扩展有限状态机 定义-使用路径 测试用例 

分 类 号：TP36[自动化与计算机技术—计算机系统结构] TN911.6[自动化与计算机技术—计算机科学与技术]