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

Test case generation method based on extended finite state machine

作　　者：王蒙蒙 罗杨[1] WANG Meng-meng;LUO Yang(Computer School,University of South China,Hengyang 421001,China)

机构地区：[1]南华大学计算机学院,湖南衡阳421001

出　　处：《电子设计工程》2020年第6期97-100,106,共5页Electronic Design Engineering

基　　金：湖南省教育厅科学研究重点项目(16A182)。

摘　　要：目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状态机模型生成测试用例效率的目的,采用了将扩展有限状态机模型状态迁移图转换为状态迁移树的方法,通过对扩展有限状态机状态迁移树的分析,获取基于该树的测试路径,再根据扩展有限状态机模型的迁移信息表以及迁移路径的可行性,分析且构造测试用例,最终得出该方法有效减少了测试用例生成的复杂性,提高了基于扩展有限状态机模型的测试效率。At present,the test problem of extended finite state machine is to obtain appropriate transition paths based on extended finite machine model,and then derive test data from these paths.In order to improve the efficiency of generating test cases based on extended finite state machine,the method of transforming the state transition graph of extended finite state machine model into a state transition tree is adopted.By analyzing the state transition tree of extended finite state machine,the test path based on the tree is obtained,and then the test path according to the extended finite state machine model is obtained.The transition information table and the feasibility of transition path of the extended finite state machine model is analyzed and the test case is constructed.Finally,the method effectively reduces the complexity of test case generation and improve the efficiency of testing based on extended finite state machine model.

关 键 词：状态迁移树 迁移路径 扩展有限状态机 测试路径 

分 类 号：TN0[电子电信—物理电子学]