【24h】

Towards Constraint Logic Programming over Strings for Test Data Generation

机译:针对字符串进行约束逻辑编程以生成测试数据

获取原文

摘要

In order to properly test software, test data of a certain quality is needed. However, useful test data is often unavailable because existing or hand-crafted data might not be diverse enough to enable desired test cases. Furthermore, using production data might be prohibited due to security or privacy concerns or other regulations. At the same time, existing tools for test data generation are often limited. In this paper, we evaluate to what extent constraint logic programming can be used to generate test data, focusing on strings in particular. To do so, we introduce a prototypical CLP solver over string constraints. As case studies, we use it to generate valid IBAN numbers, calendar dates and specific data in JSON.
机译:为了正确地测试软件,需要一定质量的测试数据。但是,有用的测试数据通常不可用,因为现有或手工制作的数据可能不够多样化,无法启用所需的测试用例。此外,由于安全或隐私问题或其他规定,可能会禁止使用生产数据。同时,用于测试数据生成的现有工具通常受到限制。在本文中,我们评估了约束逻辑程序可以在多大程度上用于生成测试数据,尤其是字符串。为此,我们针对字符串约束引入了原型CLP求解器。作为案例研究,我们使用它来生成有效的IBAN数字,日历日期和JSON中的特定数据。

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号