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 条
  • [41] Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution
    Farzan, Azadeh
    Holzer, Andreas
    Veith, Helmut
    [J]. 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [42] Investigation into the effectiveness of white-box T-way testing
    Dutta, Arpita
    Patel, Anwesha
    Mall, Rajib
    [J]. IET SOFTWARE, 2019, 13 (06) : 610 - 616
  • [43] White-Box Mutation Testing of Smart Contracts: A Quick Review
    Maalej, Afef Jmal
    Lahami, Mariam
    [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2023, 2024, 14368 : 135 - 148
  • [44] Grammar-Based Action Selection Rules for Scriptless Testing
    Hufkens, Lianne V.
    Pastor Ricos, Fernando
    Marin, Beatriz
    Vos, Tanja E. J.
    [J]. PROCEEDINGS OF THE 2024 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST 2024, 2024, : 56 - 65
  • [45] Grammar-based fuzz testing for microprocessor RTL design
    Luo, Dan
    Li, Tun
    Chen, Liqian
    Zou, Hongji
    Shi, Mingchuan
    [J]. INTEGRATION-THE VLSI JOURNAL, 2022, 86 : 64 - 73
  • [46] A Grammar-Based Structural CNN Decoder for Code Generation
    Sun, Zeyu
    Zhu, Qihao
    Mou, Lili
    Xiong, Yingfei
    Li, Ge
    Zhang, Lu
    [J]. THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 7055 - 7062
  • [47] Atlas: Grammar-based Procedural Generation of Data Visualizations
    Liu, Zhicheng
    Chen, Chen
    Morales, Francisco
    Zhao, Yishan
    [J]. 2021 IEEE VISUALIZATION CONFERENCE - SHORT PAPERS (VIS 2021), 2021, : 171 - 175
  • [48] Two case studies in grammar-based test generation
    Hoffman, Daniel
    Wang, Hong-Yi
    Chang, Mitch
    Ly-Gagnon, David
    Sobotkiewicz, Lewis
    Strooper, Paul
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (12) : 2369 - 2378
  • [49] White-Box Traceable Dynamic Attribute Based Encryption
    Liu, Zechao
    Wang, Xuan
    Cui, Lei
    Jiang, Zoe L.
    Zhang, Chunkai
    [J]. 2017 INTERNATIONAL CONFERENCE ON SECURITY, PATTERN ANALYSIS, AND CYBERNETICS (SPAC), 2017, : 526 - 530
  • [50] Cryptanalysis of ARX-based White-box Implementations
    Biryukov, Alex
    Lambin, Baptiste
    Udovenko, Aleksei
    [J]. IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023, 2023 (03): : 97 - 135
12345