Grammar-Based White-Box Testing via Automated Constraint Path Generation

被引：1
|
作者：
Arif, Bijoy Rahman [1 ]
机构：
[1] Independent Univ, Dhaka 1229, Bangladesh
来源：
EMERGING TECHNOLOGIES IN DATA MINING AND INFORMATION SECURITY, IEMIS 2018, VOL 1 | 2019年 / 755卷
关键词：
D O I：
10.1007/978-981-13-1951-8_7
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Software testing is an indispensable procedure for assuring software quality and test case generation is one of the major stages of software testing odyssey. In this paper, the author presents a grammar-based white-box testing which integrates some source code analysis, grammar-based test generation, and constraint solving as a whole. A preliminary implementation of grammar-based white-box testing, Java White-box Unit Tester (JWBUT), has been developed. JWBUT can generate well-distributed authentic test cases using the grammar-based white-box testing scheme, which starts from static analysis of Java source code, transforms control flow into context-free grammar (CFG), applies to grammar-based test generator to produce a set of constraint paths, and finally, generates test cases by solving the constraint paths. The author has experimented JWBUT on a set of Java methods to demonstrate the effectiveness of grammar-based white-box testing.
引用
收藏
页码：65 / 77
页数：13
相关论文
共 50 条
  • [31] Damage Reduction via White-Box Failure Shaping
    Jones, Thomas B.
    Ackley, David H.
    SEARCH-BASED SOFTWARE ENGINEERING, SSBSE 2018, 2018, 11036 : 213 - 228
  • [32] Approximation of Grammar-Based Compression via Recompression
    Jez, Artur
    COMBINATORIAL PATTERN MATCHING, 2013, 7922 : 165 - 176
  • [33] White-Box Transformers via Sparse Rate Reduction
    Yu, Yaodong
    Buchanan, Sam
    Pai, Druv
    Chu, Tianzhe
    Wu, Ziyang
    Tong, Shengbang
    Haeffele, Benjamin D.
    Ma, Yi
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [34] Constraint grammar-based Swedish-Danish machine translation
    Bick, Eckhard
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8686 : 216 - 227
  • [35] SAGPAR: Structural Grammar-based automated pathway reconstruction
    Somnath Tagore
    Rajat K. De
    Interdisciplinary Sciences: Computational Life Sciences, 2012, 4 : 116 - 127
  • [36] A 2 layer model for the white-box testing of web applications
    Tonella, P
    Ricca, F
    WSE 2004: SIXTH IEEE INTERNATIONAL WORKSHOP ON WEB SITE EVOLUTION, PROCEEDINGS, 2004, : 11 - 19
  • [37] Constraint Grammar-Based Swedish-Danish Machine Translation
    Bick, Eckhard
    ADVANCES IN NATURAL LANGUAGE PROCESSING, 2014, 8686 : 216 - 227
  • [38] Efficient White-Box Fairness Testing through Gradient Search
    Zhang, Lingfeng
    Zhang, Yueling
    Zhang, Min
    ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 103 - 114
  • [39] Boundary Value Analysis in Automatic White-box Test Generation
    Zhang, Zhiqiang
    Wu, Tianyong
    Zhang, Jian
    2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 239 - 249
  • [40] Approximation of grammar-based compression via recompression
    Jez, Artur
    THEORETICAL COMPUTER SCIENCE, 2015, 592 : 115 - 134
12345