检索结果-维普期刊中文期刊服务平台

并发缺陷检测技术研究进展被引量：5: 1; 作者薄莉莉姜淑娟 +2 位作者张艳梅王兴亚于巧《计算机科学》 CSCD 北大核心 2019年第5期13-20,共8页; 多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性... 展开更多; 关键词并发程序并发缺陷缺陷检测软件测试; 在线阅读下载PDF 职称材料

基于模糊C均值聚类的软件多缺陷定位方法被引量：8: 2; 作者王兴亚姜淑娟 +4 位作者高鹏飞陆凯薄莉莉鞠小林张艳梅《计算机学报》 EI CSCD 北大核心 2020年第2期206-232,共27页; 缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了... 展开更多; 关键词程序调试缺陷定位程序切片缺陷干扰模糊聚类; 在线阅读下载PDF 职称材料

基于三角不等式的时间序列相似性搜索算法被引量：3: 3; 作者包伟伟夏士雄牛强《计算机工程与设计》 CSCD 北大核心 2014年第12期4191-4194,4201,共5页; 由于传统的时序相似性度量方式不满足距离三角不等式关系,影响后续的相似性搜索及关联规则的获取,在时序符号化的基础上,提出一种满足三角不等式的符号化距离度量方式。与MINDIST_PAA_SAX和Sym_PAA_SAX度量方式进行比较,其结果表明,该... 展开更多; 关键词时间序列符号化表示距离度量相似性搜索关联规则; 在线阅读下载PDF 职称材料

基于梦境粒子群优化的类集成测试序列生成方法被引量：3: 4; 作者张悦宁姜淑娟张艳梅《计算机科学》 CSCD 北大核心 2019年第2期159-165,共7页; 类集成测试序列的确定是面向对象类集成测试技术中的一个重要课题。合理的类集成测试序列可以降低为其构造测试桩的总体复杂度,从而减小测试代价。针对粒子群优化算法容易早熟的缺陷,文中提出一种基于梦境粒子群优化算法的类集成测试序... 展开更多; 关键词测试序列集成测试测试代价梦境粒子群优化算法局部最优; 在线阅读下载PDF 职称材料

基于智能优化算法的测试数据生成综述被引量：9: 5; 作者薛猛姜淑娟王荣存《计算机工程与应用》 CSCD 北大核心 2018年第17期16-23,共8页; 软件测试是一种极为有效的软件质量保证手段。测试数据生成是软件测试的关键。基于智能优化算法的测试数据生成方法为自动化的测试数据生成提供了解决问题的一个有效手段。首先重点总结归纳了在基于智能优化算法的测试数据生成中使用最... 展开更多; 关键词软件测试测试数据生成智能优化算法遗传算法粒子群优化; 在线阅读下载PDF 职称材料

基于引力搜索的布尔函数生成算法被引量：4: 6; 作者贾少帅张凤荣《计算机应用研究》 CSCD 北大核心 2021年第2期430-434,共5页; 布尔函数是在密码学、纠错编码和扩频通信等领域有着广泛应用的密码函数,寻找性能优良的布尔函数一直是密码学领域的重要问题之一。基于引力搜索算法设计了一种搜索布尔函数的新算法。该算法模仿万有引力定律,以n维空间中的质量点表示... 展开更多; 关键词密码学布尔函数引力搜索算法启发式算法; 在线阅读下载PDF 职称材料

三元组布尔置换的构造: 7; 作者刘师师张凤荣 +1 位作者夏士雄周勇《计算机工程与应用》 CSCD 北大核心 2019年第11期40-45,共6页; 布尔置换和bent函数在密码学中起着非常重要的作用。在Coulter和Mesnager所提出的三元组布尔置换广义构造方法(该三元组布尔置换可以用来构造bent函数)的基础上,给出了一个等价的构造三元组布尔置换的具体方法。利用此具体方法,提供了... 展开更多; 关键词布尔函数 BENT函数布尔置换非线性度; 在线阅读下载PDF 职称材料

题名并发缺陷检测技术研究进展被引量：5: 1; 作者薄莉莉姜淑娟张艳梅王兴亚于巧; 机构中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心南京大学计算机软件新技术国家重点实验室江苏师范大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2019年第5期13-20,共8页; 基金国家自然科学基金(61673384 61502497) +1 种基金江苏师范大学博士学位教师科研支持项目(17XLR001)资助; 文摘多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性违背和顺序违背);随后,从软件运行的角度,将现有的并发缺陷检测技术分为静态分析、动态分析和动静结合分析,并对每一类进行详细的分析、比较和总结;接着,对并发缺陷检测技术的通用性进行分析和总结;最后,从通用准确的并发缺陷检测、软硬件相结合的并发缺陷检测、并发缺陷检测修复一体化、适用于松散内存模型的并发缺陷检测、安卓等其他应用平台的并发缺陷检测和分布式系统非确定性并发缺陷研究等方面,对并发缺陷检测技术的未来研究进行了探讨。; 关键词并发程序并发缺陷缺陷检测软件测试; Keywords Concurrent program Concurrency bug Bug detection Software testing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于模糊C均值聚类的软件多缺陷定位方法被引量：8: 2; 作者王兴亚姜淑娟高鹏飞陆凯薄莉莉鞠小林张艳梅; 机构中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心南京大学计算机软件新技术国家重点实验室南通大学计算科学与技术学院桂林电子科技大学广西可信软件重点实验室; 出处《计算机学报》 EI CSCD 北大核心 2020年第2期206-232,共27页; 基金国家自然科学基金(61673384,61832009,61772260,61502497,61562015) 江苏省博士后科研资助计划(2018K028C) +1 种基金广西可信软件重点实验室研究课题(kx201609,kx201532)支持.; 文摘缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了两类缺陷干扰,并根据干扰前后缺陷在互斥子集中的分布变化分析了缺陷干扰对SBFL方法有效性的影响.研究结果表明:与特定缺陷无关的失败测试用例是降低SBFL方法缺陷定位有效性的主要原因.在此基础上,本文提出了一种基于模糊C均值聚类的多缺陷定位方法FCMFL:首先,通过模糊C均值聚类分析失败测试用例与不同缺陷间的隶属关系,得到每个缺陷相关的失败测试信息;其次,基于隶属度矩阵加权计算每条语句的可疑度,并通过互斥子集优先级分析确定不同语句集合的检查顺序,最终生成一个语句检查序列指导开发人员进行程序调试.实验结果表明:(1)缺陷干扰会对SBFL方法产生影响,降低SBFL方法的缺陷定位有效性;(2)FCMFL方法可以降低多缺陷对SBFL方法的影响,提高SBFL方法的缺陷定位有效性.; 关键词程序调试缺陷定位程序切片缺陷干扰模糊聚类; Keywords program debugging fault localization program slicing fault interference fuzzy clustering; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于三角不等式的时间序列相似性搜索算法被引量：3: 3; 作者包伟伟夏士雄牛强; 机构中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心; 出处《计算机工程与设计》 CSCD 北大核心 2014年第12期4191-4194,4201,共5页; 基金中央高校基本科研业务费专项基金项目(2011QNB23) 国家863高技术研究发展计划基金项目(2012AA011004) +1 种基金 20100095110003); 文摘由于传统的时序相似性度量方式不满足距离三角不等式关系,影响后续的相似性搜索及关联规则的获取,在时序符号化的基础上,提出一种满足三角不等式的符号化距离度量方式。与MINDIST_PAA_SAX和Sym_PAA_SAX度量方式进行比较,其结果表明,该度量方式在异常检测和相似性查询上具有较好的优越性。实验结果表明,该方法在相似性搜索及关联规则的获取方面具有更高的可信度。; 关键词时间序列符号化表示距离度量相似性搜索关联规则; Keywords time series symbolic representation distance metric similarity search association rules; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于梦境粒子群优化的类集成测试序列生成方法被引量：3: 4; 作者张悦宁姜淑娟张艳梅; 机构中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心桂林电子科技大学广西可信软件重点实验室; 出处《计算机科学》 CSCD 北大核心 2019年第2期159-165,共7页; 基金国家自然科学基金(61673384 61502497) 广西可信软件重点实验室开放课题(kx201530)资助; 文摘类集成测试序列的确定是面向对象类集成测试技术中的一个重要课题。合理的类集成测试序列可以降低为其构造测试桩的总体复杂度,从而减小测试代价。针对粒子群优化算法容易早熟的缺陷,文中提出一种基于梦境粒子群优化算法的类集成测试序列生成方法。首先把每个类集成测试序列映射为一维空间中的一个粒子,然后将粒子看作有做梦能力的个体。每个迭代周期分为白天和夜间两个阶段,在白天阶段粒子正常移动,而在夜间阶段粒子根据各自的做梦能力扭曲当前位置。如此,粒子有机会在当前位置附近进行搜索,使得算法减缓收敛速度,避免过早陷入局部最优。实验结果表明,多数情况下该方法可以得到测试代价更小的类集成测试序列。; 关键词测试序列集成测试测试代价梦境粒子群优化算法局部最优; Keywords Test sequence Integration testing Test cost Dream particle swarm optimization algorithm Local optimum; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于智能优化算法的测试数据生成综述被引量：9: 5; 作者薛猛姜淑娟王荣存; 机构中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心; 出处《计算机工程与应用》 CSCD 北大核心 2018年第17期16-23,共8页; 基金国家自然科学基金(No.61673384 No.61502497) +1 种基金徐州市科技计划项目(No.KC15SM051); 文摘软件测试是一种极为有效的软件质量保证手段。测试数据生成是软件测试的关键。基于智能优化算法的测试数据生成方法为自动化的测试数据生成提供了解决问题的一个有效手段。首先重点总结归纳了在基于智能优化算法的测试数据生成中使用最为频繁的两种算法:遗传算法和粒子群优化算法的研究成果,分析了研究现状,接着简单介绍了基于智能优化算法的测试数据生成工具:AUSTIN和Evo Suite,最后对存在的问题及未来的研究内容进行了尝试性的探讨。; 关键词软件测试测试数据生成智能优化算法遗传算法粒子群优化; Keywords software testing test data generation intelligent optimization algorithm Genetic Algorithm（GA） ParticleSwarm Optimization（PSO）; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] TP311.53 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于引力搜索的布尔函数生成算法被引量：4: 6; 作者贾少帅张凤荣; 机构中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心桂林电子科技大学广西密码学与信息安全重点实验室; 出处《计算机应用研究》 CSCD 北大核心 2021年第2期430-434,共5页; 基金国家自然科学基金面上项目(61972400) 广西密码学与信息安全重点实验室研究课题资助项目(GCIS201712) 江苏省自然科学基金资助项目(BK20181352)。; 文摘布尔函数是在密码学、纠错编码和扩频通信等领域有着广泛应用的密码函数,寻找性能优良的布尔函数一直是密码学领域的重要问题之一。基于引力搜索算法设计了一种搜索布尔函数的新算法。该算法模仿万有引力定律,以n维空间中的质量点表示布尔函数,以布尔函数的密码特性作为目标适应度函数进行搜索。实验结果表明,算法使用新设计的目标适应度函数可以直接生成具有1阶弹性、1阶扩散准则和高非线性度、高代数次数以及低自相关指标等多种密码学指标的平衡布尔函数,并且进一步给出了直接生成2输出平衡布尔函数的计算机搜索算法。; 关键词密码学布尔函数引力搜索算法启发式算法; Keywords cryptography Boolean function gravitational search algorithm heuristic algorithm; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名三元组布尔置换的构造: 7; 作者刘师师张凤荣夏士雄周勇; 机构中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心桂林电子科技大学广西密码学与信息安全重点实验室; 出处《计算机工程与应用》 CSCD 北大核心 2019年第11期40-45,共6页; 基金国家重点研发计划(No.2016YFC0600908) 广西密码学与信息安全重点实验室研究课题(No.GCIS201712) +1 种基金江苏省自然科学基金(No.SBK2018021416); 文摘布尔置换和bent函数在密码学中起着非常重要的作用。在Coulter和Mesnager所提出的三元组布尔置换广义构造方法(该三元组布尔置换可以用来构造bent函数)的基础上,给出了一个等价的构造三元组布尔置换的具体方法。利用此具体方法,提供了一个构造三元组布尔置换的算法。对三个置换之间的依赖关系做了进一步研究,提出了一个三元组置换成立的充要条件,并给出了一个构造三元组布尔置换的新算法。分析了利用三元组布尔置换所得bent函数的性质。; 关键词布尔函数 BENT函数布尔置换非线性度; Keywords Boolean function bent function Boolean permutation nonlinearity; 分类号 TN918.1 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	并发缺陷检测技术研究进展	薄莉莉姜淑娟张艳梅王兴亚于巧	《计算机科学》 CSCD 北大核心	2019	5	在线阅读下载PDF 职称材料
2	基于模糊C均值聚类的软件多缺陷定位方法	王兴亚姜淑娟高鹏飞陆凯薄莉莉鞠小林张艳梅	《计算机学报》 EI CSCD 北大核心	2020	8	在线阅读下载PDF 职称材料
3	基于三角不等式的时间序列相似性搜索算法	包伟伟夏士雄牛强	《计算机工程与设计》 CSCD 北大核心	2014	3	在线阅读下载PDF 职称材料
4	基于梦境粒子群优化的类集成测试序列生成方法	张悦宁姜淑娟张艳梅	《计算机科学》 CSCD 北大核心	2019	3	在线阅读下载PDF 职称材料
5	基于智能优化算法的测试数据生成综述	薛猛姜淑娟王荣存	《计算机工程与应用》 CSCD 北大核心	2018	9	在线阅读下载PDF 职称材料
6	基于引力搜索的布尔函数生成算法	贾少帅张凤荣	《计算机应用研究》 CSCD 北大核心	2021	4	在线阅读下载PDF 职称材料
7	三元组布尔置换的构造	刘师师张凤荣夏士雄周勇	《计算机工程与应用》 CSCD 北大核心	2019	0	在线阅读下载PDF 职称材料