课题基金 / 基金详情

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

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技術テストケース生成被覆配列制約充足問題論理プログラミング

项目摘要

项目成果

BANBARA Mutsunori的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
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 编码
DOI： --
发表时间： 2011
期刊：
影响因子： --
作者： [丹生智也, 田村直之, 番原睦則]
通讯作者： 番原睦則
SAT符号化を用いた釣合い型不完備ブロック計画の構成
使用 SAT 编码构建平衡不完全块计划
DOI： --
发表时间： 2011
期刊：
影响因子： --
作者： [松中春樹, 丹生智也, 番原睦則, 田村直之]
通讯作者： 田村直之
SAT技術を用いた組合せテストケース生成
使用 SAT 技术生成组合测试用例
DOI： --
发表时间： 2010
期刊：
影响因子： --
作者： [番原睦則, 松中春樹, 田村直之, 井上克巳]
通讯作者： 井上克巳
共 33 条
    Research and Development on Constraint Answer Set Programming Using SAT Encoding
    • 批准号：
      15K00099
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2015
    • 负责人：
      BANBARA Mutsunori
    • 依托单位：
      Kobe University
    A Prolog-Based Parallel Execution System for Multiple SAT Solvers
    • 批准号：
      19700025
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.09万
    • 财政年份：
      2007
    • 负责人：
      BANBARA Mutsunori
    • 依托单位：
      Kobe University
    国内基金
    海外基金
    基于p53/SAT1/ALOX15信号通路探究纳米塑料暴露诱导肺癌化疗耐药的作用机制
    • 批准号：
      JCZRLH202501242
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
    • 依托单位：
      湖北科技学院
    难吸收药物小檗碱基于肠道菌群介导的GABA-SAT1-多胺代谢轴改善肿瘤免疫微环境抗结直肠癌的分子机制研究
    • 批准号：
      QN25H310016
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
      于航
    • 依托单位：
      杭州医学院
    基于P53/SAT1/ALOX15信号通路探讨头穴丛刺通过干预去泛素化酶ATXN3抑制AD模型小鼠铁死亡的机制研究
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2024
    • 负责人：
      高伟
    • 依托单位：
      江苏护理职业学院
    SAT1对系统性红斑狼疮患者体内的T淋巴细胞发育分化的调控机制
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2024
    • 负责人：
      徐凌霄
    • 依托单位：