• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Workshop on Search-Based Software Testing >SUSHI and TARDIS at the SBST2019 Tool Competition
【24h】

SUSHI and TARDIS at the SBST2019 Tool Competition

机译：SUSHI和TARDIS参加SBST2019工具竞赛

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

SUSHI and TARDIS are two automatic test generators for Java programs. They generate test suites, aiming to satisfy the branch coverage adequacy criterion. Both tools exploit symbolic execution to analyze the control flow paths of the program under test and generate path conditions, i.e., constraints on the program inputs that determine the execution of a path, focusing in particular on control flow paths that lead to uncovered branches. Then, SUSHI and TARDIS exploit these path conditions with a search-based algorithm to generate unit tests (in JUnit) that execute those program paths. In this paper we report the results of SUSHI and TARDIS at the seventh edition of the unit testing tool competition at the 2019 edition of the International Workshop on Search-Based Software testing.
机译：SUSHI和TARDIS是Java程序的两个自动测试生成器。他们生成测试套件，旨在满足分支机构覆盖范围的适当标准。两种工具都利用符号执行来分析被测程序的控制流路径并生成路径条件，即对确定路径执行的程序输入的约束，特别是着眼于导致未发现分支的控制流路径。然后，SUSHI和TARDIS通过基于搜索的算法来利用这些路径条件，以生成执行那些程序路径的单元测试（在JUnit中）。在本文中，我们在2019年国际基于搜索的软件测试研讨会的第七次单元测试工具竞赛中报告了SUSHI和TARDIS的结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号