【摘 要】
：
测试程序的自动生成技术在现代通用型微处理器和大规模硬件系统的验证工作中发挥着主要的作用.如何随机生成大量而且高效的测试程序成为亟需解决的问题.我们将测试程序的生成
论文部分内容阅读
测试程序的自动生成技术在现代通用型微处理器和大规模硬件系统的验证工作中发挥着主要的作用.如何随机生成大量而且高效的测试程序成为亟需解决的问题.我们将测试程序的生成抽象成约束满足问题的求解过程,并提出了相应的技术用以解决随机求解需要面对的如何对解空间进行均匀采样的问题.
本文设计了一种利用桶消元解空间估计技术的约束求解引擎.它能适应随机测试程序生成中多变量、多约束、大值域的特点,生成满足约束条件同时均匀分布的随机解.我们还设计了一种指令序列模板文件格式,以描述面向功能点的指令序列.约束求解引擎接受模板文件中的指令操作数的约束,产生随机解.该技术在实践中得到了卓有成效的应用,实验结果显示我们的做法在分布均匀和性能上与现有算法相比具有更高的效率和灵活性.
其他文献
在Internet上提供大规模的VoD(Video on Demand)服务是一项具有挑战性的工作。传统的视频流播放方式是基于Client／Server(C／S)集中式网络模式，面临网络带宽受限的问题，表现在媒体
互联网是人们发布信息和获取知识的重要平台，随着冗余信息和垃圾信息的急剧增加，快速准确地获取需要的知识成为客观需求。在此背景下，知识图谱、问答系统等基于命名实体知识库的
随着P2P系统在网络领域的快速发展,越来越多的问题开始困扰运营商和终端用户.其中带宽占用过大,资源定位效率低下显得尤为突出.为了在大规模:P2P系统中缓解这些状况,P2P系统
CAD系统是一种用户交互性非常强的系统，用户输入事件驱动着系统中各种功能的执行，是一种典型的事件驱动的系统。CAD系统的用户交互子系统构成了整个系统的基础，系统的其他功能都
应用的发展和技术的进步使传统的高性能计算和最初以互联网应用为载体的云计算的发展呈现出越来越相似的需求特性。一方面，伴随着高性能计算性能的不断提升和系统的日益庞大，传
作为一种新兴的、面向Intemet的分布式计算模式,面向服务的计算为构造松耦合、跨组织的集成应用提供了更好的使能技术.Web服务作为当前最主要的一种服务实现技术,目的是为Int
Web服务以其标准化、松耦合、跨平台的特性，被广泛应用到企业内部的业务流程集成中。但是Web服务无法应用于动态性很强的环境，无法动态发现系统中可用的Web服务，因为集中式的UDD
互联网异构的语义Web服务需要协同工作以满足复杂的应用需求。已有的对Web服务组装的研究，多限于顺序结构的组装方式。这种简单的一维线性组装方式不能满足较复杂的应用需求和
随着Internet的普及和计算机网络技术的迅速发展，依靠网络进行科学合作研究成为现代科学研究的新方式，而通过网络进行科学合作研究就离不开协同交流工具，即时消息系统由于轻便易
随着汽车技术、无线通信技术和传感器网络技术的日趋成熟，车联网的发展逐渐走上了快车道。车联网数据上传作为支撑车联网发展的核心技术之一，受到了学术界和工业界的广泛关注。