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] White-Box Transformers via Sparse Rate Reduction
    Yu, Yaodong
    Buchanan, Sam
    Pai, Druv
    Chu, Tianzhe
    Wu, Ziyang
    Tong, Shengbang
    Haeffele, Benjamin D.
    Ma, Yi
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [32] Approximation of Grammar-Based Compression via Recompression
    Jez, Artur
    [J]. COMBINATORIAL PATTERN MATCHING, 2013, 7922 : 165 - 176
  • [33] SAGPAR: Structural Grammar-based automated pathway reconstruction
    Somnath Tagore
    Rajat K. De
    [J]. Interdisciplinary Sciences: Computational Life Sciences, 2012, 4 : 116 - 127
  • [34] A 2 layer model for the white-box testing of web applications
    Tonella, P
    Ricca, F
    [J]. WSE 2004: SIXTH IEEE INTERNATIONAL WORKSHOP ON WEB SITE EVOLUTION, PROCEEDINGS, 2004, : 11 - 19
  • [35] Constraint Grammar-Based Swedish-Danish Machine Translation
    Bick, Eckhard
    [J]. ADVANCES IN NATURAL LANGUAGE PROCESSING, 2014, 8686 : 216 - 227
  • [36] Efficient White-Box Fairness Testing through Gradient Search
    Zhang, Lingfeng
    Zhang, Yueling
    Zhang, Min
    [J]. ISSTA '21: PROCEEDINGS OF THE 30TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2021, : 103 - 114
  • [37] Boundary Value Analysis in Automatic White-box Test Generation
    Zhang, Zhiqiang
    Wu, Tianyong
    Zhang, Jian
    [J]. 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015, : 239 - 249
  • [38] Approximation of grammar-based compression via recompression
    Jez, Artur
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 592 : 115 - 134
  • [39] TETRABox - A Generic White-Box Testing Framework for Model Transformations
    Schoenboeck, J.
    Kappel, G.
    Wimmer, M.
    Kusel, A.
    Retschitzegger, W.
    Schwinger, W.
    [J]. 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 75 - 82
  • [40] Witter: A Library for White-Box Testing of Introductory Programming Algorithms
    Canico, Afonso B.
    Santos, Andre L.
    [J]. PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON SPLASH-E, SPLASH-E 2023, 2023, : 69 - 74
12345