【摘 要】
：
该文研究的主要内容Checkpoint的设置是BIST软件可测性设计中的一个重要模块.Checkpoint的设置类似于硬件BIST技术中预埋测试电路位置的选择.在软件中设置Checkpoint可增强可
论文部分内容阅读
该文研究的主要内容Checkpoint的设置是BIST软件可测性设计中的一个重要模块.Checkpoint的设置类似于硬件BIST技术中预埋测试电路位置的选择.在软件中设置Checkpoint可增强可控性和可观察性,并可减少代码和逻辑复杂性.Checkpoint的设置包括初始化(即在一些显然要设置Checkpoint的地方统一预置Checkpoint)和人为调整两部分.该文建立了Checkpoint初始化的规则,根据这些规则,使用YACC和LEX在BIST软件可测性设计框架中实现了Checkpoint的初始化.同时也提供了人为调整和管理Checkpoint的接口.另外,该文提出了函数切片的概念并实现了函数切片算法.函数切片是Checkpoint初始化规则中涉及的重要概念,是某一个函数相关函数的集合,在进行回归测试中的集成测试时可减少无关函数的重复测试.
其他文献
近十几年来,分布式系统环境得到了广泛的关注和研究。分布式计算将需要庞大计算资源的问题分割成若干子问题,这些子问题再由系统中的多个计算机分别进行处理,各个计算机处理
本文分析了基于网络的IP VPN的四种主要实现模型对QoS的支持，同时比较了VPN环境中提供QoS支持的两种服务模型——Pipe模型和Hose模型，探讨了Hose模型的不同实现方式对服务提供
面各对象程序切片中类层次图的研究是该论文研究的课题,它是面向对象程序分析的一部分.该论文在研究现有的基于过程的程序切片和面向对象的程序切片的基础上,结合面向对象程
该文采用物理方法对柔性物体的模拟进行研究.柔性物体模拟的速度和效果在仿真中具有很重要的意义,同时也是一个难点问题.该文采用自适应多层处理的方法将模拟过程分为几个阶
IP组播是一个新兴的领域，它能带来的最大好处就是在组播网络中即使用户数成倍增长，主干带宽也无需随之增加。因此组播成为当前网络技术的研究热点。由于组播路由算法和协议是实
该文研究了两种基本的三维图形多分辨率模型,即基于小波的多分辨率模型和基于累进网格的多分辨率模型,并对两种多分辨率模型进行仿真实现.在基于小波的多分辨率模型方面,该文
本课题首先介绍了RBAC(Role Base Access Control)模型并对其进行扩展，根据实际需要建立时间敏感的角色存取控制的TRBAC模型和资源敏感的角色存取控制的RRBAC模型。 然后分
随着社会信息化的发展,条码技术在物流、证件管理、防伪和电子商务等领域中得到了广泛的应用,大大提高了生产工作效率。手机和二维条码技术的结合形成了一个新的热点领域——
随着社会经济和信息技术的飞速发展,现代社会正在向知识经济和知识社会转型。随着人们对知识需求的日益强烈,知识服务这一概念被提出,并得到了快速的发展。随着软件开发技术
该文提出将一个基于实例的机器翻译系统的具体实现分为五个步骤的观点,即:资源的获取、资源的管理、实例的获取、实例句对的词对齐、句子的合成. 基于实例的机器翻译的基础是