-

检索结果分析

结果分析中...
检索条件:"作者=代声馨 "
条 记 录,以下是1-6
视图:
排序:
显示条数:
基于深度学习和遗传算法的方法调用缺陷自动修复方法
《计算机工程与设计》2025年第1期237-242,共6页宋青青 杨秋辉 董兰  赵明敏 
国家自然科学基金项目(62302323);四川省科技计划基金项目(2023NSFSC1413、2023YFG0117)。
为提高软件缺陷自动修复技术的修复效果,针对面向对象程序中出现概率较大的方法调用缺陷,提出一种基于深度学习和遗传算法的方法调用缺陷自动修复方法。基于深度学习构造方法调用缺陷修复模型,使用修复模型生成候选补丁并验证;若补丁无...
关键词:软件调试 软件缺陷自动修复 面向对象程序 方法调用缺陷 补丁生成与验证 深度学习 遗传算法 
多处理器实时系统可调度性分析的UPPAAL模型被引量:18
《软件学报》2015年第2期279-296,共18页 洪玫 郭兵 杨秋辉 黄蔚 徐保平 
国家自然科学基金(61332001;61272104);四川省应用基础研究项目(2014JY0112)
随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方...
关键词:可调度性 模型检测 UPPAAL 多处理器实时系统 时间自动机 
基于动态插桩的程序分析工具的性能改进被引量:2
《计算机应用研究》2013年第7期2087-2090,共4页 洪玫 郭鑫宇 张鹏 祁琳莹 
基于动态插桩的工具被广泛应用于程序分析中,但该类工具都面临着严重的性能问题。这类工具的性能开销主要由两部分组成,即插桩引擎的开销和用户定义的分析程序的开销。为降低用户定义的分析工具的开销,首先分析了基于动态插桩的工具的...
关键词:动态插桩 离线分析 并行数据收集 性能优化 程序分析 
基于有界模型检测的C/C++程序内存泄露检测被引量:2
《计算机应用研究》2016年第6期1762-1766,共5页黄蔚 洪玫 杨秋辉 郭鑫宇  徐保平 高婉玲 赵鹤 
四川省应用基础研究项目(2014JY0112)
C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文...
关键词:C/C++程序 内存泄露 有界模型检测 可满足性模理论 
基于深度学习的回归测试用例优先级排序方法被引量:1
《计算机科学》2024年第12期46-52,共7页张李政 杨秋辉 李兴佳  
国家自然科学基金(62302323);四川省科技计划资助项目(2023NSFSC1413,2023YFG0117)。
在回归测试中对测试用例排序可以更快地发现码缺陷,节约测试时间和资源,提高测试效率。现有的测试用例排序方法没有同时考虑码的变更信息以及测试用例的历史执行信息,也没有考虑不同测试用例执行历史长短的区别,因此排序效果不佳。...
关键词:测试用例排序 深度学习 类间关系图 分类模型 分类排序 
分布式自动化软件测试平台研究——测试工具集成策略研究被引量:1
《计算机应用与软件》2014年第3期75-78,共4页詹聪 洪玫 周洪宇 张光渝  
随着软件的规模和复杂度日益增大,传统的软件开发过程从集中式的软件开发过程向全球化分布式软件开发过程过渡,传统的集中式软件测试方式受到时间、空间、测试成本的限制,导致测试效果不够理想。基于分布式自动化测试平台(DSAPT),对现...
关键词:软件质量 持续质量保证 测试即为服务 测试工具集成 SOAP安全模型 
检索报告 对象比较 聚类工具 使用帮助 返回顶部