樊鑫
- 作品数：34 被引量：45H指数：4
- 供职机构：南昌航空大学更多>>
- 发文基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术文化科学航空宇航科学技术理学更多>>
- 基于利他激励的群体演化合作模型被引量：2
- 2021年
- 为探究个体与系统状态的演化,构建了个体行为策略与网络结构的演化模型,探讨个体在利他激励机制下对合作演化的影响。在该模型中,个体首先通过对其他个体的帮助获得一定的额外互惠收益,并通过个体混合收益累计个体收益与帮助其他个体获得额外收益的加权,以此来激励个体合作。然后在博弈过程中,通过个体混合收益取代费米函数中的个体累计收益用于促进个体选择利他合作策略,从而促进整个群体的总收益与合作水平。蒙特卡罗仿真实验结果表明,个体在利他激励机制下更愿意帮助其他个体。在不同网络结构中,小世界网络最能扩散利他激励机制,其系统合作者密度最高。
- 郑巍彭雨松杨丰玉樊鑫
- 云计算中计算机软件的测试技术分析
- 2022年
- 云计算是近年来发展最快的一种技术,也是目前计算机产业最关注的领域之一,云计算的测试本身就很复杂,会受到很多因素的影响,所以必须针对云计算技术进行改进,才能更好地解决这个问题。相关人员要运用整个计算机体系结构来进行分析,并对其进行改进,引入云计算技术特性,从而达到对软件测试技术的探索。本文主要针对云计算中的计算机软件测试技术进行了深入分析,从中找出目前云计算技术的关键所在,以供参考。
- 刘好斌樊鑫胡正肖鹏
- 关键词：计算机软件软件测试云计算
- 嵌入式软件测试研究综述被引量：8
- 2021年
- 随着航空航天等应用领域对嵌入式软件要求不断提升,嵌入式软件数量及规模不断增长,然而嵌入式软件测试一直以来都面临着严峻的挑战。相比于运行在普通计算机上的软件,嵌入式软件在系统环境、测试方式等方面有较大不同,嵌入式软件测试逐渐成为软件测试领域的一个研究热点。汇总了近十年嵌入式软件测试相关的研究文献,将文献分为测试环境、测试平台、自动化测试、测试用例生成、测试技术与方法五个方面,对其中重要的工作进行了详细的分析与阐述。总结了嵌入式软件测试需要克服的难题,并对嵌入式测试的发展趋势进行了展望。
- 杨丰玉徐浩明郑巍樊鑫范永健
- 关键词：嵌入式软件嵌入式测试自动化测试测试用例生成
- 测试用例推荐方法、装置、可读存储介质及电子设备
- 一种测试用例推荐方法、装置、可读存储介质及电子设备，该测试用例推荐方法包括：对软件测试项目的文档数据进行信息提取，以提取各个实体的属性信息，所述软件测试项目中的实体包括测试用例；根据各个实体之间的关联关系，以及各个所述实...
- 郑巍夏传林刘友林樊鑫杨丰玉
- 文献传递
- 基于蚁群算法优化反向传播神经网络的软件质量预测
- 2023年
- 针对基于反向传播神经网络(BPNN)的软件质量预测模型存在收敛慢、模型精度不高的问题,提出一种基于蚁群算法优化BPNN的软件质量预测(SQP-ACO-BPNN)方法。首先,选择软件质量评价指标,确立软件质量评价体系;其次,采用BPNN构建初始软件质量预测模型,并利用蚁群优化(ACO)算法确定若干网络结构、网络初始连接权值和阈值;再次,给出网络结构评价函数,选择神经网络模型的最佳结构、网络初始连接权值和阈值;最后,通过BP算法训练该网络,得到最终的软件质量预测模型。在机载嵌入式软件质量预测数据上的实验结果表明,优化后的BPNN模型有效提高了预测的准确率、精确率、召回率和F1值,并且模型能够更快收敛,验证了SQP-ACO-BPNN方法的有效性。
- 朱嘉豪郑巍杨丰玉樊鑫肖鹏
- 关键词：软件质量预测蚁群优化算法反向传播神经网络
- 嵌入式软件质量评估方法、系统、计算机及可读存储介质
- 一种嵌入式软件质量评估方法、系统、计算机及可读存储介质，该方法包括：在样本数据集中的各个软件样本中提取多个特征种类的软件特征；将各个软件样本分划分为干预组和控制组；计算各个软件样本的倾向性评分值，并采用逆概率加权法对各个...
- 朱嘉豪郑巍杨丰玉樊鑫肖鹏
- 一种基于SysML模块图的集成测试序列生成方法
- 本发明公开了嵌入式软件测试中一种基于SysML模块图的集成测试序列生成方法。该方法适用于集成复杂度较大、各应用系统间交联关系较多的嵌入式系统。本发明依据嵌入式系统逻辑上的功能组合关系提出一种先约束再组合、先成对再成组、由...
- 舒坚郑春杨丰玉樊鑫胡正郑巍
- 文献传递
- 基于频谱增强的软件多故障定位
- 2023年
- 检测故障是繁琐而耗时的,为了提高传统软件故障定位方法的效率以及精确度,提出了一种基于频谱的故障定位新方法;充分利用了失败的测试用例与故障之间的关系,通过使用频谱增强的方式,采取逻辑与运算的关键技术和方法,对失败的测试用例进行精简,优化失败测试用例中的频谱信息,从而得到频谱增强后的测试用例,克服了冗余测试用例对定位效果的消极影响,再根据新的频谱信息计算可疑度值,最后生成优化后的可疑度排序列表;首次将频谱增强的方法同时运用到单故障与多故障程序场景中,在包含植入故障的西门子程序和真实故障的Defects4j程序中,经实验检测证明本研究方法能够显著减少代码检查的范围,尤其是在高性能范围内(EXAM5%),并且仅通过检查Top-1至少能有效地定位超过原有约20%的故障,结果表明基于频谱增强的故障定位方法有效提升了检测率,可以更好地帮助程序员精准定位故障位置。
- 陈琪陈琪樊鑫樊鑫肖鹏
- 关键词：测试用例
- 基于时间Petri网的综合航电系统时序验证分析被引量：1
- 2017年
- 综合航电系统是一种对可靠性、实时性要求非常高的嵌入式应用系统;为了解决针对复杂应用场景下综合航电系统的处理时间和工作时序预估较困难、且计算自动化程度不高等测试验证问题,提出了一种基于时间约束Petri网的综合航电系统时序验证和分析方法;给出了时间约束Petri网的形式化定义,分析了综合航电系统工作流程中各节点的时间属性,通过引入时序约束路径的概念,并提出了时序推理算法;通过在仿真算例中进行计算并对比实际运行数据,结果表明该方法在针对综合航电系统运行时序的验证分析方面具有有效性。
- 樊鑫郑巍梁旗军
- 关键词：综合航电系统时间PETRI网
- 一种程序切片漏洞检测方法、系统、计算机及存储介质
- 本发明提供一种程序切片漏洞检测方法、系统、计算机及存储介质，程序切片漏洞检测方法，包括提取程序切片的程序依赖图，以将程序切片的代码文本转化为由节点和图边构成的图结构；将节点及图边进行数据化描述，以将图结构转化为图数据；将...
- 肖鹏张旭升聂嘉浩郑巍樊鑫
