| Citation: | PAN Xiong, HAO Shuai, YUAN Zhengguo, et al. Evolutionary generation of test data for EFSM based on irrelevant variable separation[J]. Journal of Beijing University of Aeronautics and Astronautics, 2019, 45(5): 919-929. doi: 10.13700/j.bh.1001-5965.2018.0531(in Chinese)
|
Extended finite state machine (EFSM), a more accurate test model than finite state machine (FSM), has been widely used to describe dynamic behavior of system, and thus has been taken as the test model of various control flow and data flow systems. For EFSM model test, using search method to obtain test data to trigger a given test path has become a research hotspot in recent years. In order to improve the search efficiency, this paper proposed a method that originates from genetic algorithm (GA) and can automatically separate irrelevant input variables in a test path. By analyzing the relationship between variables and state transitions in EFSM and separating irrelevant input variables from the individual that does not affect the transition's guard in the sub-test path, the new method reduced the search space and enhanced the efficiency of test data generation. The experimental results on various complex benchmark EFSM models show that the success rate of the new method to generate effective test data is larger than 98.2%. Compared to the traditional genetic algorithm, the average number of iterations of the new method is reduced by 44.7%-85.9% and the average running time is reduced by 24.1%-85.5%.
| [1] |
苏宁, 郭俊霞, 李征, 等.基于EFSM不定型切片测试用例自动生成的研究[J].计算机研究与发展, 2017, 54(3):669-680. http://d.old.wanfangdata.com.cn/Periodical/jsjyjyfz201703018
SU N, GUO J X, LI Z, et al.EFSM amorphous slicing based test case generation[J].Journal of Computer Research & Development, 2017, 54(3):669-680(in Chinese). http://d.old.wanfangdata.com.cn/Periodical/jsjyjyfz201703018
|
| [2] |
SAEED A, HAMID S H A.Extended finite state machines-based testing using metaheuristic search-based techniques: Issues, and open challenges[C]//Software Engineering Conference.Piscataway, NJ: IEEE Press, 2016: 25-30.
|
| [3] |
ZHAO R, HARMAN M, LI Z.Empirical study on the efficiency of search based test generation for EFSM models[C]//International Conference on Software Testing.Washington, D.C.: IEEE Computer Society, 2010: 222-231.
|
| [4] |
KALAJI A S, HIERONS R M, SWIFT S.An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models[J].Information and Software Technology, 2011, 53(12):1297-1318. doi: 10.1016/j.infsof.2011.06.004
|
| [5] |
TURLEA A, IPATE F, LEFTICARU R.A hybrid test generation approach based on extended finite state machines[C]//International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016: 173-180.
|
| [6] |
LU G, MIAO H.An approach to generating test data for EFSM paths considering condition coverage[J].Electronic Notes in Theoretical Computer Science, 2014, 309(22):13-29. http://www.sciencedirect.com/science/article/pii/S1571066114000875
|
| [7] |
周艺斌, 殷永峰, 李骁丹, 等.基于程序变异的Simulink模型测试方法[J].北京航空航天大学学报, 2015, 41(3):391-397. http://bhxb.buaa.edu.cn/CN/abstract/abstract13178.shtml
ZHOU Y B, YIN Y F, LI X D, et al.Simulink model testing method based on program mutation[J].Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(3):391-397(in Chinese). http://bhxb.buaa.edu.cn/CN/abstract/abstract13178.shtml
|
| [8] |
ZHANG J, YANG R, CHEN Z, et al.Automated EFSM-based test case generation with scatter search[C]//International Workshop on Automation of Software Test.Piscataway, NJ: IEEE Press, 2012: 76-82.
|
| [9] |
KAMKIN A, LEBEDEV M, SMOLOV S.An EFSM-driven and model checking-based approach to functional test generation for hardware designs[C]//East-West Design & Test Symposium.Piscataway, NJ: IEEE Press, 2017: 1-4.
|
| [10] |
OFFUTT A J, JIN Z, PAN J.The dynamic domain reduction procedure for test data generation[J].Software Practice & Experience, 2015, 29(2):167-193. https://www.researchgate.net/publication/2608021_The_Dynamic_Domain_Reduction_Procedure_for_Test_Data_Generation
|
| [11] |
张涌, 钱乐秋, 王渊峰.基于扩展有限状态机测试中测试输入数据自动选取的研究[J].计算机学报, 2003, 26(10):1295-1303. doi: 10.3321/j.issn:0254-4164.2003.10.012
ZHANG Y, QIAN L Q, WANG Y F.Automatic testing data generation in the testing based on EFSM[J].Chinese Journal of Computers, 2003, 26(10):1295-1303(in Chinese). doi: 10.3321/j.issn:0254-4164.2003.10.012
|
| [12] |
KOREL B.Automated software test data generation[J].IEEE Transactions on Software Engineering, 1990, 16(8):870-879. doi: 10.1109/32.57624
|
| [13] |
MCMINN P, HARMAN M, LAKHOTIA K, et al.Input domain reduction through irrelevant variable removal and its effect on local, global, and hybrid search-based structural test data generation[J].IEEE Transactions on Software Engineering, 2012, 38(2):453-477. http://www.wanfangdata.com.cn/details/detail.do?_type=perio&id=130811e685a34b7596ebe2eee66499a6
|
| [14] |
张岩, 巩敦卫.基于搜索空间自动缩减的路径覆盖测试数据进化生成[J].电子学报, 2012, 40(5):1011-1016. http://d.old.wanfangdata.com.cn/Periodical/dianzixb201205024
ZHANG Y, GONG D W.Evolutionary generation of test data for path coverage based on automatic reduction of search space[J].Acta Electronica Sinica, 2012, 40(5):1011-1016(in Chinese). http://d.old.wanfangdata.com.cn/Periodical/dianzixb201205024
|
| [15] |
廖伟志.基于路径自动分割的测试数据生成方法[J].电子学报, 2016, 44(9):2254-2261. doi: 10.3969/j.issn.0372-2112.2016.09.034
LIAO W Z.Test data generation based on automatic division of path[J].Acta Electronica Sinica, 2016, 44(9):2254-2261(in Chinese). doi: 10.3969/j.issn.0372-2112.2016.09.034
|
| [16] |
巩敦卫, 任丽娜.回归测试数据进化生成[J].计算机学报, 2014, 37(3):489-499. http://d.old.wanfangdata.com.cn/Periodical/jsjxb201403001
GONG D W, REN L N.Evolutionary generation of regression test data[J].Chinese Journal of Computers, 2014, 37(3):489-499(in Chinese). http://d.old.wanfangdata.com.cn/Periodical/jsjxb201403001
|
| [17] |
VILKOMIR S, ALLURI A, KUHN D R, et al.Combinatorial and MC/DC coverage levels of random testing[C]//IEEE International Conference on Software Quality, Reliability and Security Companion.Piscataway, NJ: IEEE Press, 2017: 61-68.
|
| [18] |
WANG Y, LI Z, ZHAO R. Dependence based model-healing[C]//Computer Software & Applications Conference. Washington, D.C.: IEEE Computer Society, 2015: 556-561.
|
Figures(6) / Tables(4)
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
DownLoad:
