郭鑫宇
- 作品数：4 被引量：8H指数：2
- 供职机构：四川大学计算机学院更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 开放式XML数据的质量分析方法被引量：4
- 2013年
- 针对商业智能系统,研究了在集成开放式XML数据时,对XML文档进行质量保证的问题。通过度量测量和质量分析评价这两个步骤,并结合给出的XML数据质量的计算公式,得出XML文档的质量指数。使得XML源数据的质量在集成到商业智能系统前可以被预先评估,降低了商业智能系统集成Web中XML数据时的风险,增加了系统数据的可维护性。通过实验验证,证明了质量分析方法的正确性和合理性。
- 张光渝杨秋辉詹聪郭鑫宇阙舒
- 关键词：商业智能系统XML数据
- 基于动态插桩的程序分析工具的性能改进被引量：2
- 2013年
- 基于动态插桩的工具被广泛应用于程序分析中,但该类工具都面临着严重的性能问题。这类工具的性能开销主要由两部分组成,即插桩引擎的开销和用户定义的分析程序的开销。为降低用户定义的分析工具的开销,首先分析了基于动态插桩的工具的性能开销的组成,并通过实验分析了造成性能开销的几点原因及其对工具的性能影响;根据分析结论提出了使用离线分析方式来优化工具性能,最后通过并行数据收集来进一步提升工具性能。使用该方法能减少分析程序5%～15%的CPU占用时间。
- 代声馨洪玫郭鑫宇张鹏祁琳莹
- 关键词：离线分析
- 基于有界模型检测的C/C++程序内存泄露检测被引量：2
- 2016年
- C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。
- 黄蔚洪玫杨秋辉郭鑫宇代声馨徐保平高婉玲赵鹤
- 关键词：C/C++程序内存泄露有界模型检测
- 基于截取器的嵌入式软件动态分析方法
- 2013年
- 提出一种基于截取器技术的嵌入式软件动态分析方法,通过动态的方法截获嵌入式软件的程序调用信息,收集软件分析所需数据,例如内存信息、函数变量信息等,然后采用分布式技术进行分析。该方法在保证分析结果准确的情况下,对嵌入式软件本身运行的影响较低。
- 郭鑫宇
- 关键词：嵌入式系统
