元测试程序的可视化验证环境

来源 :LSI制造与测试 | 被引量 : 0次 | 上传用户:sunna2005
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在测试开发系统-TeDS中,我们定义了元测试程序设计语言TOPCt TeIF,它们是在多种测试程序的脱开发和移植中起桥梁作用,用它们开发和变换生成的元测试程序主要用来生成不同的测试程序,鉴于它们的重要作用,我们运用向对象的技术和可视化的设计思想开发了元测试程序的验证环境。
其他文献
日前,国家发改委已制定了《关于改进和完善报请国务院审批或核准的投资项目管理办法》,其主要精神是尽量减少报请国务院审批或核准的项目数量。《办法》规定:凡是符合发展建设规
<正> 一、问题的提出我厂是我国生产和经营内圆磨床、无心和轴承磨床的重点骨干企业,担负着为国民经济各部门提供先进技术装备的任务,每年都要生产五、六十个品种,一千七百多
为提高和改进我国朝觐组织管理服务工作水平,借鉴在朝觐组织工作方面较成功国家的经验和做法,国家宗教局和中国伊协联合组成中国朝觐(副朝)工作考察团,于2006年8月15日至30日对马
<正>~~
期刊
【正】 杰伊&#183;福莱斯特是美国麻省理工学院的教授,管理学家和电子计算机专家。他原来学的专业是电子工程,曾在电子工程部门工作过。并于1945年为美国航空母舰上的雷达设
随着课程改革的持续推进,在核心素养语境下,新课标明确强调要对小学高年级的学生进行情感教育。语文是小学教育基础的工具学科,也是对学生进行情感教育的主要课程。接下来,本
长期困扰我国电梯业的有齿曳引难题有望在短期内解决。2002年1月27日,北京市科委组织技术鉴定会,以我国电器自动化行业技术带头人陈伯时教授和工程院院士曾广商等组成的鉴定委
在幼儿美术教学过程,引入情境教学法,有助于活跃课堂气氛,促进教学效果的提问.文章立足于幼儿美术教学现状,主要分析了“以情境教学法提高幼儿美术教学的有效性”这一问题.