一种改进的RT级测试生成方法

来源 :第二届中国测试学术会议 | 被引量 : 0次 | 上传用户：tianyou424

【摘要】

：

本文提出了一种改进的RT级测试生成方法,这种方法使用基于模拟的遗传算法,在使用基本块和基本块之间依存度概念的基础上对适应适函数(fitness function)作了改进,并在初始群

【作者】

：

熊志平黄维康

【机构】

：

复旦大学电子工程系(上海)

【出处】

：

第二届中国测试学术会议

【发表日期】

：

2002年期

【关键词】

：

测试生成基本块生成方法遗传算法描述语言电路测试产生依存度显示软件群体模拟基础函数个体概念标准

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文提出了一种改进的RT级测试生成方法,这种方法使用基于模拟的遗传算法,在使用基本块和基本块之间依存度概念的基础上对适应适函数(fitness function)作了改进,并在初始群体中增加了基于软件测试产生的个体.电路的描述使用VHDL描述语言.对ITC99部分标准电路的测试生成结果显示了这种方法的有效性.

其他文献

一种基于RAM的直接存储访问控制器的设计

当前,数字信号处理器的CPU与外设间的数据流量越来越大,直接存储访问控制器是控制数据流的重要部件,因此,高效简洁地设计直接存储访问控制器对于提升系统效率是至关重要的.本

会议

直接存储访问控制器设计特点数字信号处理器控制数据流系统效率数据流量设计思路设计方法性能外设提升模拟测试部件波形

移动事务处理技术研究

事务处理是数据库管理系统的一个基本功能,它主要用于维护数据的一致性,支持多用户的并发访问.无线通信环境给事务处理带来了新的挑战.本文介绍了传统移动计算体系结构和移动

会议

移动自组网络事务处理计算体系结构数据库管理系统数据的一致性研究成果通信环境基本功能并发访问多用户无线维护

移动自组网技术及其事务处理技术的研究

移动自组网(mobile ad-hoc network,MANET)是一种网络节点通过无线链路连接并可动态移动的网络类型,它的提出主要是为应用在类似于战场、救灾等没有固定的、有线的通信设施的

会议

移动自组网自组网技术事务处理技术网络节点通信设施路由技术链路连接战场有线应用无线救灾环境

基于Chwa&Hakimi模型的系统级故障诊断集团算法

本文提出了基于Chwa&Hakimi故障模型的系统级故障诊断集团算法,定义了绝对故障集和最终诊断图,由此能找到所有的基于Chwa&Hakimi故障模型的相容故障模式.从仿真结果看大大减

会议

故障模型系统级故障诊断相容故障模式最终诊断图绝对故障集诊断系统集团算法仿真结果复杂度

PALM掌上电脑在无线抄表系统中的应用

掌上电脑以其高效、灵巧而受到越来越多的关注,并已经应用到各行各业.本系统利用串口通讯技术、红外通讯技术与数据库的移动存储技术实现了PALM在自来水公司的无线抄表系统中

会议

掌上电脑无线抄表系统串口通讯技术移动存储技术自来水公司应用系统利用数据库红外

浅议提高学生学习主动性的策略

素质教育是以学生为主体的教育.教师应不断研究和改进自己的教学方式,激发学生的学习兴趣,调动学生学习的积极性和主动性,使学生在“自主、合作、探究”的学习方式下学习.

期刊

素质教育主动性策略

自然XML数据库研究

XML文档复杂的结构使得传统数据库很难提供一个有效的存储方案,于是自然XML数据库应运而生.自然XML数据库在传统存储方案的基础上加上了一个逻辑模型,用以在XML的文档数据结

会议

数据库存储方案数据结构文档数据更新数据存储逻辑模型关键技术存储结构查询处理综述转换架构基础概念

管理信息系统中的构件管理

本文给出了管理信息系统对构件管理系统的结构,管理的内容包括内存构件类和构件的管理,外存构件类和构件的管理,讨论了主要的管理表和控制图.

会议

管理信息系统构件类管理系统控制图内存结构

存储信息,存储未来

讲述数据存储的意义和发展,智能存储和网络数据存储的重要性,以及国内外存储数据的信息分析,未来存储数据的发展趋势.

会议

存储信息数据存储存储数据信息分析发展趋势智能网络国内

InfiniBand存储区域网研究与分析

InfiniBand规范是针对处理器和智能I/O设备之间的数据流而提出的一种新型体系结构,可以用在服务器中取代PCI总线,也可以用于构造存储区域网.首先我们分析总结了InfiniBand的

会议

存储区域网网络协议体系结构光纤通道存储环境传输速度数据流可扩展服务器处理器总线智能设备评价规范构造构成

一种改进的RT级测试生成方法

与本文相关的学术论文