Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference Engines

使用各种逻辑推理引擎自动生成组合测试的测试用例

• 批准号: 22700032
• 负责人: BANBARA Mutsunori
• 金额: $ 2.41万
• 依托单位: Kobe University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2012
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22700032/
• 关键词: 組合せテスト; SAT; 制約プログラミング; 解集合プログラミング; SAT技術; テストケース生成; 被覆配列; 制約充足問題; 論理プログラミング

We studied automatic test case generation of combinatorial testing by using several logical inference engines such as SAT solvers, constraint solvers, and ASP solvers. We carried out experiments on some benchmark sets in Handbook of Combinatorial Designs. Our proposed methods succeeded either in improving the bounds or producing the same bounds for many instances, compared with the previous best known bounds.

利用SAT求解器、约束求解器和ASP求解器等几种逻辑推理引擎，研究了组合测试测试用例的自动生成。我们在《组合设计手册》中的一些基准集上进行了实验。与以前最好的边界相比，我们提出的方法成功地改进了边界，或者为许多实例产生了相同的边界。

项目成果

Scarab: A Rapid Prototyping Tool for SAT-based Constraint Programming Systems

Scarab：基于 SAT 的约束编程系统的快速原型设计工具

• DOI: 10.1007/978-3-642-39071-5_34
• 发表时间: 2013
• 期刊: Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
• 作者: Takehide Soh;Naoyuki Tamura;and Mutsunori Banbara
• 通讯作者: and Mutsunori Banbara

整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化

有限整数域上约束满足问题的紧凑且高效的 SAT 编码

• 发表时间: 2011
• 作者: 丹生智也;田村直之;番原睦則
• 通讯作者: 番原睦則

SAT技術を用いた組合せテストケース生成

使用 SAT 技术生成组合测试用例

• 发表时间: 2010
• 作者: 番原睦則;松中春樹;田村直之;井上克巳
• 通讯作者: 井上克巳

SAT符号化を用いた釣合い型不完備ブロック計画の構成

使用 SAT 编码构建平衡不完全块计划

• 发表时间: 2011
• 作者: 松中春樹;丹生智也;番原睦則;田村直之
• 通讯作者: 田村直之

Sugar: SAT技術を用いた制約ソルバー

Sugar：使用 SAT 技术的约束求解器