您的位置: 专家智库 > >

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

作品数:7 被引量:32H指数:4
相关机构:南通大学计算机科学与技术学院南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京大学计算机科学与技术系更多>>
发文基金:国家自然科学基金江苏省自然科学基金徐州市科技计划项目更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇优化算法
  • 2篇软件测试
  • 2篇搜索
  • 2篇子群
  • 2篇粒子群
  • 2篇粒子群优化
  • 2篇函数
  • 2篇布尔函数
  • 1篇等式
  • 1篇遗传算法
  • 1篇引力
  • 1篇引力搜索算法
  • 1篇元组
  • 1篇智能优化算法
  • 1篇三角不等式
  • 1篇三元组
  • 1篇时间序列
  • 1篇数据生成
  • 1篇搜索算法
  • 1篇启发式算法

机构

  • 7篇中国矿业大学
  • 4篇桂林电子科技...
  • 2篇南京大学
  • 1篇南通大学
  • 1篇江苏师范大学

作者

  • 2篇张艳梅
  • 1篇包伟伟
  • 1篇牛强
  • 1篇鞠小林
  • 1篇夏士雄

传媒

  • 2篇计算机工程与...
  • 2篇计算机科学
  • 1篇计算机学报
  • 1篇计算机应用研...
  • 1篇计算机工程与...

年份

  • 1篇2021
  • 1篇2020
  • 3篇2019
  • 1篇2018
  • 1篇2014
7 条 记 录,以下是 1-7
排序方式:
基于梦境粒子群优化的类集成测试序列生成方法被引量:3
2019年
类集成测试序列的确定是面向对象类集成测试技术中的一个重要课题。合理的类集成测试序列可以降低为其构造测试桩的总体复杂度,从而减小测试代价。针对粒子群优化算法容易早熟的缺陷,文中提出一种基于梦境粒子群优化算法的类集成测试序列生成方法。首先把每个类集成测试序列映射为一维空间中的一个粒子,然后将粒子看作有做梦能力的个体。每个迭代周期分为白天和夜间两个阶段,在白天阶段粒子正常移动,而在夜间阶段粒子根据各自的做梦能力扭曲当前位置。如此,粒子有机会在当前位置附近进行搜索,使得算法减缓收敛速度,避免过早陷入局部最优。实验结果表明,多数情况下该方法可以得到测试代价更小的类集成测试序列。
张悦宁姜淑娟张艳梅
基于智能优化算法的测试数据生成综述被引量:9
2018年
软件测试是一种极为有效的软件质量保证手段。测试数据生成是软件测试的关键。基于智能优化算法的测试数据生成方法为自动化的测试数据生成提供了解决问题的一个有效手段。首先重点总结归纳了在基于智能优化算法的测试数据生成中使用最为频繁的两种算法:遗传算法和粒子群优化算法的研究成果,分析了研究现状,接着简单介绍了基于智能优化算法的测试数据生成工具:AUSTIN和Evo Suite,最后对存在的问题及未来的研究内容进行了尝试性的探讨。
薛猛姜淑娟王荣存
关键词:软件测试测试数据生成智能优化算法遗传算法粒子群优化
基于三角不等式的时间序列相似性搜索算法被引量:3
2014年
由于传统的时序相似性度量方式不满足距离三角不等式关系,影响后续的相似性搜索及关联规则的获取,在时序符号化的基础上,提出一种满足三角不等式的符号化距离度量方式。与MINDIST_PAA_SAX和Sym_PAA_SAX度量方式进行比较,其结果表明,该度量方式在异常检测和相似性查询上具有较好的优越性。实验结果表明,该方法在相似性搜索及关联规则的获取方面具有更高的可信度。
包伟伟夏士雄牛强
关键词:时间序列符号化表示相似性搜索关联规则
三元组布尔置换的构造
2019年
布尔置换和bent函数在密码学中起着非常重要的作用。在Coulter和Mesnager所提出的三元组布尔置换广义构造方法(该三元组布尔置换可以用来构造bent函数)的基础上,给出了一个等价的构造三元组布尔置换的具体方法。利用此具体方法,提供了一个构造三元组布尔置换的算法。对三个置换之间的依赖关系做了进一步研究,提出了一个三元组置换成立的充要条件,并给出了一个构造三元组布尔置换的新算法。分析了利用三元组布尔置换所得bent函数的性质。
刘师师张凤荣夏士雄周勇
关键词:布尔函数BENT函数非线性度
并发缺陷检测技术研究进展被引量:5
2019年
多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性违背和顺序违背);随后,从软件运行的角度,将现有的并发缺陷检测技术分为静态分析、动态分析和动静结合分析,并对每一类进行详细的分析、比较和总结;接着,对并发缺陷检测技术的通用性进行分析和总结;最后,从通用准确的并发缺陷检测、软硬件相结合的并发缺陷检测、并发缺陷检测修复一体化、适用于松散内存模型的并发缺陷检测、安卓等其他应用平台的并发缺陷检测和分布式系统非确定性并发缺陷研究等方面,对并发缺陷检测技术的未来研究进行了探讨。
薄莉莉姜淑娟张艳梅王兴亚于巧
关键词:并发程序软件测试
基于模糊C均值聚类的软件多缺陷定位方法被引量:8
2020年
缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了两类缺陷干扰,并根据干扰前后缺陷在互斥子集中的分布变化分析了缺陷干扰对SBFL方法有效性的影响.研究结果表明:与特定缺陷无关的失败测试用例是降低SBFL方法缺陷定位有效性的主要原因.在此基础上,本文提出了一种基于模糊C均值聚类的多缺陷定位方法FCMFL:首先,通过模糊C均值聚类分析失败测试用例与不同缺陷间的隶属关系,得到每个缺陷相关的失败测试信息;其次,基于隶属度矩阵加权计算每条语句的可疑度,并通过互斥子集优先级分析确定不同语句集合的检查顺序,最终生成一个语句检查序列指导开发人员进行程序调试.实验结果表明:(1)缺陷干扰会对SBFL方法产生影响,降低SBFL方法的缺陷定位有效性;(2)FCMFL方法可以降低多缺陷对SBFL方法的影响,提高SBFL方法的缺陷定位有效性.
王兴亚姜淑娟高鹏飞陆凯薄莉莉鞠小林张艳梅
关键词:程序切片模糊聚类
基于引力搜索的布尔函数生成算法被引量:4
2021年
布尔函数是在密码学、纠错编码和扩频通信等领域有着广泛应用的密码函数,寻找性能优良的布尔函数一直是密码学领域的重要问题之一。基于引力搜索算法设计了一种搜索布尔函数的新算法。该算法模仿万有引力定律,以n维空间中的质量点表示布尔函数,以布尔函数的密码特性作为目标适应度函数进行搜索。实验结果表明,算法使用新设计的目标适应度函数可以直接生成具有1阶弹性、1阶扩散准则和高非线性度、高代数次数以及低自相关指标等多种密码学指标的平衡布尔函数,并且进一步给出了直接生成2输出平衡布尔函数的计算机搜索算法。
贾少帅张凤荣
关键词:密码学布尔函数引力搜索算法启发式算法
共1页<1>
聚类工具0