学科分类
/ 25
500 个结果
  • 简介:摘要:集成电路测试,实则对集成电路或是整个模块作出测量,将输出回应对比我们的预期输出,从而判断元器件的性能优劣及其功能。目前,已成为检验设计、生产控制、分析失效的可靠手段。本文介绍了测试的基本原理、过程,阐述了成算法的具体性能,最后展望今后的发展走向。

  • 标签: 集成电路 测试 生成算法
  • 简介:摘要测试用例(TestCase)是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果,以便测试某个程序路径或核实是否满足某个特定需求,随着信息时代的发展,以及软件产品的增长,测试用例生成领域逐渐成为热门研究领域。本文分析了测试用例生成领域的专利文献,对申请量和申请人分布情况进行了分析。

  • 标签:
  • 简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。

  • 标签: 状态变换图(STG) 测试生成 压缩 状态序列
  • 简介:针对目前普遍采用实测图像进行自动判读能力的测试,导致测试过程中因受环境因素影响较大,测试结果标准难以统一的问题,根据经纬仪图像目标跟踪的原理,提出了一种基于图像形态学理论的测试仿真图像建立方法。本方法通过对目标图像区域的腐蚀和扩张实现了对跟踪过程中目标图像变化的仿真,并进行了噪声的叠加和图像的平滑。实验证明此方法具有较好的仿真效果,满足测试要求。

  • 标签: 测量图像 形态学 仿真 腐蚀 扩张
  • 简介:电路的日益复杂和集成度的不断提高,使测试已成为集成电路设计中费用最高、难度最大的一个环节。文章主要讨论了测试中伪随机测试矢量的生成,并提出了改进其周期的办法,从而大大提高了故障的覆盖率。最后通过硬件描述语言Verilog在QuartusⅡ软件下进行仿真,验证了其正确性。

  • 标签: 随机测试序列 硬件描述语言Verilog 同余伪随机序列 线性反馈移位寄存器
  • 简介:基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(GlobalTemporalLogic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。

  • 标签: 时态逻辑 验证 测试生成 故障
  • 简介:开发一个实用化的软件测试用例自动生成系统,作为软件质量保证系统的一个重要的组成工具。实验中我们基于C程序模块建立起路径覆盖及测试用例自动生成系统,尽管目前尚不完善,但力求其能向实用化的方向发展。

  • 标签: 路径覆盖 插装 软件测试
  • 简介:BitTorrent是一种流行的文件共享软件,它允许文件分块,并将每个数据块作为独立的传输单位在下载者之间进行交换。本文分析了P2P应用中的BitTo—nt(BT)协议的特点和工作原理,对BT协议的Peer端进行了形式化建模,得到Peer端的有限状态机模型(FiniteStateMachine,FSM),并基于该模型以及变迁覆盖标准,给出了结合UIO方法的一致性测试测试序列产生方法,最后给出下一步的研究工作。

  • 标签: BITTORRENT协议 FSM 测试序列 UIO方法
  • 简介:摘要:随着科技的不断进步和人类对太空探索的日益深入,空间监视雷达作为一种重要的空间探测手段,其在国家安全、航天器运行管理以及空间碎片监测等方面扮演着越来越关键的角色。然而,要确保空间监视雷达的高效运作和性能优化,大量的高质量测试数据是必不可少的,这些测试数据不仅能够为雷达系统的算法验证和性能评估提供有力支持,还能为故障检测和预防提供宝贵的数据资源。因此,本文旨在研究一种高效且可靠的空间监视雷达测试数据自动生成方法,并通过数据分析验证所提方法的有效性和实用性。

  • 标签: 空间监视雷达 测试数据 自动生成 方法研究
  • 简介:摘要新课标指出小学语文是义务教育中的一门重要的基础学科。文本中蕴含着丰富的文化和思想内涵,在教学中,教师要引导学生自主解读文本,指导学生主动走入文本,与文本对话,生成对于文本的理解,并通过集体的智慧碰撞,升华对于文本的解读,并通过教师的适时点拨,学生、教师、文本的交流体验,使我们的语文课堂教学不断生成,从而建构生活化的大语文体系,促进学生和技能的发展。

  • 标签: 生成 文本 预习探究 合作交流 品读体验 拓展延伸
  • 简介:随着“新课改”的不断深入,关注课堂的预设与生成,用预设来组织课堂,又善于借助课堂的“变化”因素来构建灵动的课堂,已是一种趋势。预设是预测与设计,是课前进行有目的有计划的设想与安排;生成是形成和建构,是课堂教学本身的进行状态而产生的动态形成的活动过程。预设是生成的前提,生成是预设的目的,预设应为生成服务,二者相辅相成。

  • 标签: 预设与生成 课堂教学 “新课改” 活动过程 课前
  • 简介:摘要肺癌与其它实体瘤一样,其发生、发展和转移均依赖于血管生成,当肿瘤直径达到一定大小时,就会启动“血管生成开关”,促进新的血管生成,以保证肿瘤生长的血供需要。肺癌血管生成是一个极其复杂的过程,受多种正性和负性血管生成因子的调控。因此,抑制血管生成过程中关键步骤阻断肿瘤血管生成,从而切断肿瘤的营养来源和迁移通道,已成为近年来癌症治疗的新策略。本文就近年来此领域的最新研究进展做一综述。

  • 标签: 肺癌 血管生成 抗血管生成
  • 简介:通过一节试卷讲评课的教学案例,阐明当课堂教学发生意外时,教师如何以开放的心态营造民主、宽容的教学氛围,适时给学生提供必要的帮助和引导,与学生一起创造精彩的生成.同时在积极的互动中,促进师生共同成长.

  • 标签: 课堂意外 探究教学 预设 生成
  • 简介:教师对课堂教学的预设不是为了限制生成,而是为了使生成更具方向感,更富有成效性,为了使生成水到渠成。同时,课堂教学中,教师也要善于捕捉形形色色的生成点,迅速作出判断,并妥善处理好教学预设与生成资源的关系,让生成使预设生机盎然,为预设锦上添花,为预设增光添彩。一、精心预设,使生成水到渠成"凡事预则立,不预则废"。教学是一个有目标、有计划的活动。因此,教师在进行教学活动前应认真

  • 标签: 成效性 教学活动 课堂教学 精心预设 教学预设 预则立
  • 简介:

  • 标签:
  • 简介:

  • 标签: