面向对象语言编译器自动测试平台的研究

来源 :北京理工大学 | 被引量 : 0次 | 上传用户:h4975915
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试的目的是为了发现软件中存在的问题,提高软件质量.软件测试自动化是为了提高测试效率,缩短软件开发周期,降低测试成本.该文首先讨论软件质量的有关问题,进而介绍软件测试技术,重点介绍编译器测试的方法和技术,提出了面向对象语言编译器自动测试目标、方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT).测试用例的自动生成是编译器自动测试工具的核心,基于对O_OCTT体系结构和实现机制的定位,该文系统介绍了C++编译器测试用例自动生成的手段和方法,详细阐述了O_OCTT设计与实现过程中的关键技术.
其他文献
学位
作者主要工作包括:给出了一个基于分布式系统的可并行循环动态识别算法.针对分布式环境下可抽取观察循环的不规则串行程序循环的动态依赖关系分析问题,我们提出了一个基于观
计算机支持的协同工作(CSCW,. Computer Supported Cooperative WOrk)是计算机技术中一个新兴的研究领域.它研究如何利用计算机及网络技术,支持地域分散的群体共同完成某项
SystemC是一种软硬件协同设计语言,可以完成从系统级(System Level)到寄存器传输级(Register Transfer Level,RTL)的设计。相比软硬件使用不同语言的设计模式,使用SystemC进行系
传统或近年来流行的各种时延估算算法各有所长,但是,始终未能很好解决精度和效率的矛盾.我们提出一种基于传递函数递推和系数匹配的互连线网时延估算法,用二极点模型逼近互连
人脸识别的自动化是一个非常具有挑战性的问题.该文做了自动人脸识别理论的研究,实现部分算法并对关键部分作了实验和分析.其中具体介绍了人脸检测定位部分的模板匹配方法的
随着Internet的飞速发展,传统商务模式迅速向电子商务转移,电子商务贸易额出现迅猛激增趋势。加入WTO以后国内石化行业面临严峻挑战,电子商务的应用对促进企业业务流程自动化,降
参考以往的研究经验和该系统的移动网络环境方式,提出了一种新的基于移动网络并具有一定QoS保证的网络重构算法,将引入的重新划分网络边界思想,与启用备用链路、重路由等几种
该文对企业间供应链协作模式、基于本体模型的语义化建模技术和方法论、基于Web的供应链协作系统分析和设计等问题都作了比较深入的研究,在此基础上,提出了基于本体模型知识
学位