登录    注册    忘记密码

中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心 收藏

导出分析报告

研究主题:软件测试    粒子群优化    布尔函数    遗传算法    测试数据生成    

研究学科:自动化类    电子信息类    矿业类    

被引量:32H指数:4EI: 2 北大核心: 8 CSCD: 8

-

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
排序方式:

8 条 记 录,以下是 1-8

基于智能优化算法的测试数据生成综述
1
《计算机工程与应用》中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心 薛猛 姜淑娟 王荣存  出版年:2018
国家自然科学基金(No.61673384;No.61502497);中国博士后科学基金(No.2015M581887);徐州市科技计划项目(No.KC15SM051)
软件测试是一种极为有效的软件质量保证手段。测试数据生成是软件测试的关键。基于智能优化算法的测试数据生成方法为自动化的测试数据生成提供了解决问题的一个有效手段。首先重点总结归纳了在基于智能优化算法的测试数据生成中使用最为频...
关键词:软件测试 测试数据生成 智能优化算法 遗传算法 粒子群优化
基于模糊C均值聚类的软件多缺陷定位方法 ( EI收录)
2
《计算机学报》中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心;南京大学计算机软件新技术国家重点实验室;南通大学计算科学与技术学院;桂林电子科技大学广西可信软件重点实验室 王兴亚 姜淑娟 高鹏飞 陆凯 薄莉莉 鞠小林 张艳梅  出版年:2020
国家自然科学基金(61673384,61832009,61772260,61502497,61562015);江苏省博士后科研资助计划(2018K028C);计算机软件新技术国家重点实验室创新项目(ZZKT2018B02);广西可信软件重点实验室研究课题(kx201609,kx201532)支持.
缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定...
关键词:程序调试  缺陷定位  程序切片 缺陷干扰  模糊聚类
并发缺陷检测技术研究进展
3
《计算机科学》中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心;南京大学计算机软件新技术国家重点实验室;江苏师范大学计算机科学与技术学院 薄莉莉 姜淑娟 张艳梅 王兴亚 于巧  出版年:2019
国家自然科学基金(61673384;61502497);南京大学计算机软件新技术国家重点实验室创新项目(ZZKT2018B02);江苏师范大学博士学位教师科研支持项目(17XLR001)资助
多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性...
关键词:并发程序 并发缺陷  缺陷检测  软件测试
基于引力搜索的布尔函数生成算法
4
《计算机应用研究》中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心;桂林电子科技大学广西密码学与信息安全重点实验室 贾少帅 张凤荣  出版年:2021
国家自然科学基金面上项目(61972400);广西密码学与信息安全重点实验室研究课题资助项目(GCIS201712);江苏省自然科学基金资助项目(BK20181352)。
布尔函数是在密码学、纠错编码和扩频通信等领域有着广泛应用的密码函数,寻找性能优良的布尔函数一直是密码学领域的重要问题之一。基于引力搜索算法设计了一种搜索布尔函数的新算法。该算法模仿万有引力定律,以n维空间中的质量点表示布...
关键词:密码学 布尔函数 引力搜索算法 启发式算法
基于梦境粒子群优化的类集成测试序列生成方法
5
《计算机科学》中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心;桂林电子科技大学广西可信软件重点实验室 张悦宁 姜淑娟 张艳梅  出版年:2019
国家自然科学基金(61673384;61502497);广西可信软件重点实验室开放课题(kx201530)资助
类集成测试序列的确定是面向对象类集成测试技术中的一个重要课题。合理的类集成测试序列可以降低为其构造测试桩的总体复杂度,从而减小测试代价。针对粒子群优化算法容易早熟的缺陷,文中提出一种基于梦境粒子群优化算法的类集成测试序列...
关键词:测试序列  集成测试  测试代价  梦境粒子群优化算法  局部最优  
基于三角不等式的时间序列相似性搜索算法
6
《计算机工程与设计》中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心 包伟伟 夏士雄 牛强  出版年:2014
中央高校基本科研业务费专项基金项目(2011QNB23);国家863高技术研究发展计划基金项目(2012AA011004);教育部博士点基金项目(20110095110010;20100095110003)
由于传统的时序相似性度量方式不满足距离三角不等式关系,影响后续的相似性搜索及关联规则的获取,在时序符号化的基础上,提出一种满足三角不等式的符号化距离度量方式。与MINDIST_PAA_SAX和Sym_PAA_SAX度量方...
关键词:时间序列 符号化表示 距离度量  相似性搜索 关联规则
基于微震多维信息融合的冲击地压全时空预测方法 ( EI收录)
7
《采矿与安全工程学报》中国矿业大学计算机科学与技术学院;中国矿业大学矿业工程学院;中国矿业大学煤炭精细勘探与智能开发全国重点实验室 杨旭 刘亚鹏 曹安业 刘耀琪 王常彬 赵卫卫  出版年:2024
国家重点研发计划项目(2022YFC3004603);国家自然科学基金项目(52274098);江苏省自然科学基金项目(BK20221109);江苏省创新支撑计划国际科技合作/港澳台科技合作——重点国别产业技术研发合作项目(BZ2023050)。
为解决当前冲击地压时间与空间预测协同难、微震数据时空特征挖掘不充分的困境,结合深度学习相关理论与方法,提出了基于微震多维信息融合的冲击地压全时空预测方法,该方法主要包括微震时空特征指标、时间预测以及空间预测3个模块,设计...
关键词:冲击地压 全时空预测  微震 时空特征指标  深度循环神经网络  
三元组布尔置换的构造
8
《计算机工程与应用》中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心;桂林电子科技大学广西密码学与信息安全重点实验室 刘师师 张凤荣 夏士雄 周勇  出版年:2019
国家重点研发计划(No.2016YFC0600908);广西密码学与信息安全重点实验室研究课题(No.GCIS201712);国家自然科学基金(No.U1610124,No.61572148);江苏省自然科学基金(No.SBK2018021416)
布尔置换和bent函数在密码学中起着非常重要的作用。在Coulter和Mesnager所提出的三元组布尔置换广义构造方法(该三元组布尔置换可以用来构造bent函数)的基础上,给出了一个等价的构造三元组布尔置换的具体方法。...
关键词:布尔函数 BENT函数 布尔置换  非线性度
已选条目 检索报告 聚类工具

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心