2024年8月26日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
高凤
作品数:
1
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张