Kex在2021年SBST工具竞赛

2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST) Pub Date : 2021-05-01 DOI:10.1109/SBST52555.2021.00014

A. Abdullin, M. Akhin, Mikhail Beliaev

{"title":"Kex在2021年SBST工具竞赛","authors":"A. Abdullin, M. Akhin, Mikhail Beliaev","doi":"10.1109/SBST52555.2021.00014","DOIUrl":null,"url":null,"abstract":"Kex is an automatic white-box test generation tool for Java programs, which is able to generate executable test suites (as JUnit test suites) aiming to satisfy the branch coverage criterion. It uses symbolic execution to analyze control flow graphs of the program under test (PUT) and produces interesting symbolic inputs for each basic block of PUT. Kex then feeds these symbolic inputs to an original backward-search based algorithm called Reanimator, which generates executable JUnit test cases satisfying the symbolic inputs. This paper summarizes the results and experiences of Kex participation in the ninth edition of the Java unit testing tool competition at the International Workshop on Search-Based Software Testing (SBST) 2021.","PeriodicalId":199085,"journal":{"name":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Kex at the 2021 SBST Tool Competition\",\"authors\":\"A. Abdullin, M. Akhin, Mikhail Beliaev\",\"doi\":\"10.1109/SBST52555.2021.00014\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Kex is an automatic white-box test generation tool for Java programs, which is able to generate executable test suites (as JUnit test suites) aiming to satisfy the branch coverage criterion. It uses symbolic execution to analyze control flow graphs of the program under test (PUT) and produces interesting symbolic inputs for each basic block of PUT. Kex then feeds these symbolic inputs to an original backward-search based algorithm called Reanimator, which generates executable JUnit test cases satisfying the symbolic inputs. This paper summarizes the results and experiences of Kex participation in the ninth edition of the Java unit testing tool competition at the International Workshop on Search-Based Software Testing (SBST) 2021.\",\"PeriodicalId\":199085,\"journal\":{\"name\":\"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)\",\"volume\":\"69 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SBST52555.2021.00014\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SBST52555.2021.00014","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

Kex是用于Java程序的自动白盒测试生成工具，它能够生成旨在满足分支覆盖标准的可执行测试套件(如JUnit测试套件)。它使用符号执行来分析被测程序(PUT)的控制流程图，并为PUT的每个基本块生成有趣的符号输入。然后，Kex将这些符号输入提供给称为Reanimator的原始向后搜索算法，该算法生成满足符号输入的可执行JUnit测试用例。本文总结了Kex参加2021年基于搜索的软件测试国际研讨会(SBST)第九届Java单元测试工具竞赛的结果和经验。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Kex at the 2021 SBST Tool Competition

Kex is an automatic white-box test generation tool for Java programs, which is able to generate executable test suites (as JUnit test suites) aiming to satisfy the branch coverage criterion. It uses symbolic execution to analyze control flow graphs of the program under test (PUT) and produces interesting symbolic inputs for each basic block of PUT. Kex then feeds these symbolic inputs to an original backward-search based algorithm called Reanimator, which generates executable JUnit test cases satisfying the symbolic inputs. This paper summarizes the results and experiences of Kex participation in the ninth edition of the Java unit testing tool competition at the International Workshop on Search-Based Software Testing (SBST) 2021.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST)

自引率

0.00%

发文量