您的位置： 专家智库 > >

高凤

作品数：1 被引量：0H指数：0
供职机构：安徽文达信息工程学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇合取范式
  • 1篇测试用例
  • 1篇测试用例集

机构

  • 1篇安徽文达信息...

作者

  • 1篇龚蓬
  • 1篇丁怀宝
  • 1篇周飞
  • 1篇高凤

传媒

  • 1篇电脑知识与技...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于约束条件的组合测试用例集构建方法分析
2015年
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。
丁怀宝龚蓬高凤周飞
关键词：合取范式
全选 清除 导出
共1页<1>
聚类工具0