Genetic symbiosis algorithm generating test data for constraint automata

被引:0
|
作者
Rezaee, Alireza [1 ,2 ]
机构
[1] Buin Zahra Islamic Azad Univ, Tehran, Iran
[2] Amirkabir Univ Technol, Dept Elect Engn, Tehran, Iran
关键词
constraint automata; automata testing; automatic test data generation; symbiotic evolutionary algorithms; genetic algorithms;
D O I
暂无
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Constraint automata are a semantic model for XML modeling language. Testing correctness of mapping black-box components in XML to constraint automata is an important problem in analyzing the semantic model of XML and requires a collection of test data that cover different scenarios. In this paper, Genetic Algorithm (GA) is employed to generate such set of test cases. This test data generation is improved by Genetic Symbiosis Algorithms (GSA). The results show that GSA approach brings us a set of test data with full coverage of automata edges and states and also diversity of examined paths.
引用
收藏
页码:126 / 137
页数:12
相关论文
共 50 条
  • [1] Generating test cases for constraint automata by genetic symbiosis algorithm
    Tasharofi, Samira
    Ansari, Sepand
    Sirjani, Marjan
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 478 - 493
  • [2] Generating test cases for constraint automata by genetic symbiosis algorithm
    Department of Electrical and Computer Engineering, University of Tehran, Tehran, Iran
    不详
    Lect. Notes Comput. Sci., 2006, (478-493):
  • [3] A Technique for Generating Test Data using Genetic Algorithm
    Thi, Dinh Ngoc
    Hieu, Vo Dinh
    Ha, Nguyen Viet
    2016 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND APPLICATIONS (ACOMP), 2016, : 67 - 73
  • [4] Generation of Test Data Using Genetic Algorithm and Constraint Solver
    Ngoc-Thi Dinh
    Hieu-Dinh Vo
    Thi-Dao Vu
    Viet-Ha Nguyen
    ADVANCED TOPICS IN INTELLIGENT INFORMATION AND DATABASE SYSTEMS, 2017, 710 : 499 - 513
  • [5] Generating Test Data for Path Coverage Based on Genetic Algorithm
    Fan, Shuping
    Ma, Baoying
    Yao, Nianmin
    Zhang, Yan
    Xia, Chunyan
    Zhang, Dan
    3RD ANNUAL INTERNATIONAL CONFERENCE ON CLOUD TECHNOLOGY AND COMMUNICATION ENGINEERING, 2020, 719
  • [6] Practical Constraint Solving for Generating System Test Data
    Soltana, Ghanem
    Sabetzadeh, Mehrdad
    Briand, Lionel C.
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2020, 29 (02)
  • [7] Generating Loop Patterns with a Genetic Algorithm and a Probabilistic Cellular Automata Rule
    Hoffmann, Rolf
    ALGORITHMS, 2023, 16 (07)
  • [8] Genetic Symbiosis Algorithm
    Hirasawa, K
    Ishikawa, Y
    Hu, J
    Murata, J
    Mao, J
    PROCEEDINGS OF THE 2000 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, 2000, : 1377 - 1384
  • [9] A genetic algorithm to attribute reduction with test cost constraint
    Liu, Jiabin
    Min, Fan
    Liao, Shujiao
    Zhu, William
    2011 6TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY (ICCIT), 2012, : 751 - 754
  • [10] A symbiosis between cellular automata and genetic algorithms
    Cerruti, Umberto
    Dutto, Simone
    Murru, Nadir
    CHAOS SOLITONS & FRACTALS, 2020, 134