面向OpenCL的GPGPU微基准测试程序集的研究与实现

随着通用图形处理器（general-purpose graphics processing unit, GPGPU）的广泛应用,GPGPU成为当前实现计算并行化的主要硬件平台之一。开放计算语言（open computing language, OpenCL）是一个开放的、面向异构系统平台的并行计算标准,支持在包括图形处理器（graphics processing unit, GPU）在内的多种微处理器架构上开发和运行并行程序。针对OpenCL平台开发了一套较完整的GPGPU微基准测试程序集,全面测试了GPU的单精浮点运算能力、GPU体系结构中各类存储单元的读写带宽及最佳访问模式等。这些面向OpenCL的GPGPU微基准测试程序,对OpenCL及GPGPU软件架构的设计者及使用者,均具有重要的实用和参考价值。     

自动Java代码缺陷检测技术

代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种劳动力密集型的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.     

一种面向审查的过程内数据流异常自动检测方法

审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.     

基于SWEBOK的软件工程知识分类模型及算法

软件组织内部智慧资产的有效组织和管理一直是一个悬而未决的问题.将文本分类技术引入到软件工程知识分类领域,首先综合分析了软件工程领域知识的基本类型和特性:之后依据这些特性结合软件工程知识体系(SWEBOK:Software Engineering Body of Knowledge),提出了一个软件工程知识的分类模型和算法;最后通过实验验证了提出的模型和算法的有效性.实验结果表明,该模型和算法具有良好的分类性能,为软件工程知识的有效分类提供了一种途径.     

可视化多媒体课件写作系统

通过对程序设计过程的分析和对现有课件写作系统的思考,提出了一种可视化多媒体课件写作系统的初步设计和实现方案。该方案把XML作为课件内容的统一表示,利用XSLT把课件转换为网上发布的各种呈现形式,从而实现底层(课件呈现层)支持。在顶层(集成写作环境)建立基于数据库的资源管理,利用面向对象的构件化写作过程更好的实现了课件写作的交互性、重用性和灵活性,从而实现可视化的多媒体课件写作系统。