面向编译器测试的部分求值静态输入确定方法

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。     

基于S3C2410的嵌入式Linux开发环境的搭建

介绍了基于S3C2410的嵌入式Linux开发环境的建立,阐述了Linux开发环境建立的主要过程和技术难点、关键问题,并给出了详细的过程和命令。对于Linux开发应用具有一定的借鉴作用。     

《C/C++语言程序设计》课程考试系统的开发与应用

随着人工智能与大数据技术的飞速发展,传统纸质考试已经不能适应时代的发展需求,本文提出《C/C++语言程序设计》课程考试系统。提出本系统开发与应用的总体系统功能结构,阐述C/C++语言程序设计课程考试系统开发与应用过程中涉及的一些关键技术及系统应用功能结构模块、网络结构,并提出系统主要性能特色,以及系统的创新性和科学性。     

Imagination和明导国际扩大合作伙伴关系

Imagination Technologies(IMG.L)宣布,已与明导国际(Mentor Graphics)扩大合作伙伴关系,该公司的Sourcery CodeBench开发工具元件将能支持所有的MIPS CPU产品。得益于Mentor的开放源、低成本以及受到广泛支持的软件平台,这项合作关系将能使开发人员显著缩短其开发周期。支持MIPS CPU的Sourcery CodeBench可提供包括最优化GNU Compiler(编译器)与Debugger(调试器)的完整C/C++开发     

可支持OpenACC的PGI编译器

Portland Group发布首版支持OPenACC可支持图形处理器和加速器指令式编程模型标准的Fortran和C编译器。Beta版编译器包括对部分OpenACC标准的支持功能。PGI计划在未来两个月内推出的后续版本，增加对OpenACC的支持功能，而可支持OpenACC 1．0全部标准的版本预计于今年6B发布。     

Arduino-Lite——高效轻量级AVR库

发布在googlecodet-的Arduino—Lite．包含如下部分：Arduino—Lite固件库源代码、WINAVR（avr-gcc）编译器、Arduino—Lite编译系统、工具程序、例子工程和工程模板文档。     

Iuh协议栈编解码器的设计与实现

无线通信网中信令消息一般都采用ASN.1编码,以实现不同厂商设备之间大量的、复杂的信息交换和传递。首先简述了Iuh协议栈结构,ASN.1基本知识,并结合无线接入网络应用部份（RANAP）消息结构特点讲解了如何使用开源ASN.1编译器ASN1C进行Iuh协议栈编解码器的设计和实现,避免了使用商用编译器的巨大资金支出。最后介绍了一种使用OSS ASN.1 Tools构造测试用例对编解码结果进行验证的方法,该方法解决了手动填充协议数据结构繁琐、易出错的工作,而且为以后自动化测试提供了空间。     

DBI-Go: 动态插桩定位 Go 二进制的非法内存引用

Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎。Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的堆对象。Go的逃逸分析必须正确决定对象的分配位置以保证内存状态的正确性。然而,目前Go社 区中逃逸相关问题频发,潜在导致程序崩溃等致命问题,而目前对该方面的研究缺失。为了有效检测编译器生成的代码是否存在可能引起运行时崩溃的非法内存引用,填补研究空白,本文对Go程序执行进行了抽象建模,并提出了两条判定写入违例的规则。基于这两条规则,本文克服了Go二进制中高层语义缺失、运行时信息不便获取等挑战,设计了一个轻量化的分析工具DBI-Go。DBI-Go采用静态分析加动态二进制插桩的分析方式,基于动态二进制分析框架Pin来实现,可以识别Go二进制中违例的store指令。实验结果表明,DBI-Go可以检测出Go社区中所有已知的逃逸相关Issues;DBI-Go还发现了一个目前Go社区未知的问题,该问题已经得到确认。在实际项目上的应用则表明DBI-Go可以帮助开发人员找出逃逸算法的错误。测试结果还表明DBI-Go采取的措施可以有效降低误报率且在 93.3% 的情况下带来的额外运行时开销小于原先的 2 倍。同时,DBI-Go无需修改Go的编译运行时,可以适配不同版本的Go,有较高的适用性。     

基于GCC的TMS320C67xx汇编代码的优化

为了使生成的汇编代码具有更高的执行效率,设计并实现了一种基于GCC的 TMS320C67xx汇编指令级的代码优化算法。首先,将汇编指令按照功能划分为不同的指令类型,并将汇编指令链接到链表中。然后,针对每一个寄存器建立对该寄存器的读写操作指令链表。最后,通过对指令类型的判断和对寄存器读写操作指令链表的分析,完成了冗余代码的删除和指令合并。实验结果表明,经过代码优化后,TMS320C67xx汇编代码的执行效率提高了20％左右,较中间代码级的优化算法执行效率提高了15％左右。