【摘 要】
：
该课题是一个对C编译器自动测试工具进行深入研究的横向研发项目,其目标是通过剖析研究一个比较成熟的专用C编译器自动测试工具——Ctcgen的设计思想和算法技巧,掌握其关键技
论文部分内容阅读
该课题是一个对C编译器自动测试工具进行深入研究的横向研发项目,其目标是通过剖析研究一个比较成熟的专用C编译器自动测试工具——Ctcgen的设计思想和算法技巧,掌握其关键技术,并对其进行移植、改进和扩展,迸而应用到更广泛的领域中.该课题通过剖析消化Ctcgen的自动测试技术,将该测试工具从Perl语言环境下移植到C++语言环境下,修正了其中的一些错误,对其进行改进,使其适用于通用的C编译器自动测试,扩大了它的应用范围,并为进一步研究面向对象编译器的自动测试做好技术准备.
其他文献
随着信息技术和互联网技术的快速发展，各个学术系统的出现，为科研人员的研究工作带来了极大的便利。对于学术系统而言，如何能够提供高质量的信息服务是其非常重要的问题。学者相
该文利用视频对象运动的一致性,提出了一种视频对象分割和跟踪的方法.与通常的视频对象分割算法不同,该文中的方法利用对象运动的一致性来逐个估计图像中的运动,不同的运动对
该文主要讨论了对基于包过滤的个人防火墙的研究,并提出了系统的实现框架.该文首先提出了系统的体系结构设计,然后从基于VxD技术的数据过滤机制、Aho Corasick多关键字匹配算
图像分割是一种重要的图像分析技术。本文处理的对象是灰度图像，分割的核心是对像素进行聚类，属于优化问题。将Hopfield网络应用于求解优化问题，就是把目标函数转化为网络的能量
为了适应国防现代化的需要,提高中国主战坦克的综合作战效能,开发坦克电子综合化系统已经成为必然趋势.正是基于时代的要求,"坦克电子综合化系统项目"经过"八五"预研,"九五"
在分布式系统运行过程中,当某一主机不能正常运行时,系统仍能够继续运行.为了使系统具有可靠性,希望系统具有功能备份与重组的特征,该文在分析了目前的解决方案的基础上提出
跨媒体是在多媒体的基础上，模拟人脑管理和使用不同类型的多媒体数据。跨媒体的提出更加符合人脑对视觉、听觉等不同感官信息的综合处理模式。如何存储、检索和交换以不同媒体
MIML (Multi-Instance Multi-Label learning,多示例多标记学习)是一种新型机器学习框架,在对复杂数据对象、尤其是多义性对象的学习方面有显著优越性,受到很多研究者关注。
随着计算机网络技术和通信技术的发展,因特网的接入方式和接入设备日趋多样化,用户需要根据网络环境和资源条件选择不同功能集的程序,以满足自己的特定需求,由此产生大规模分
集成电路是现代电子系统的核心，集成电路的可靠性对系统的总体可靠性关系巨大。集成电路在现场应用过程中，由于温度变化、电路老化等因素，可能导致关键路径时序违规而产生故障。