论文部分内容阅读
EST算法第一次提出了测试码搜索状态的概念,并采用E-前沿来描述测试码搜索的不同状态.通过引入状态等价的概念,缩小了测试码搜索空间.本文通过对搜索状态等价的研究,得出了基于搜索状态控制的测试生成算法.该方法应用E-前沿的控制关系可以减少搜索空间,大大减少了测试生成的时间.
基于搜索状态控制的组合电路测试生成算法
【摘 要】
：
EST算法第一次提出了测试码搜索状态的概念,并采用E-前沿来描述测试码搜索的不同状态.通过引入状态等价的概念,缩小了测试码搜索空间.本文通过对搜索状态等价的研究,得出了基
【机 构】
：
哈尔滨理工大学
【出 处】
：
哈尔滨理工大学学报
【发表日期】
：
2005年4期
其他文献
土地管理和水管理之间高度依赖,城市化进程改变了原有的景观结构和水文过程,加剧了洪涝灾害的发生,对城市可持续发展提出了重大挑战。以吉安市为研究对象,利用互联网上用户产
POI数据是指某一个地区的周边信息数据,可以被广泛地用于城市功能区的识别以及一些其他方面的应用。POI数据对于实体位置的描述能力很强,可以精确地反映出城市发展过程中的建
【点评】 《意见》明确了总体要求、目标任务、对象范围、支持政策和保障措施等。住建部有关负责人表示，今年目标新开工改造城镇老旧小区3.9万個，涉及居民近700万户。并计划在“十四五”期末，力争基本完成2000年底前建成的老旧小区改造任务。据各地初步摸查，全国需改造的城镇老旧小区涉及居民上亿人，量大面广，情况各异，任务繁重。近年来，一些地方因地制宜地开展了城镇老旧小区改造工作。住建部会同有关部门认真
用单一印度粉铬矿冶炼高碳铬铁简介秦振（山西皇威冶炼分公司）ＳＩＭＰＬＥＩＮＴＲＯＤＵＣＩＮＧＳＭＥＬＴＩＮＧＨＩＧＨＣＡＲＢＯＮＦｅＣｒＷＩＴＨＳＩＮＧＬＥＩＮＤＩＡＮＰＯＷＤＥＲＥＤＣＨＲＯＭＥＯＲＥ￥ＱｉｎＺｈｅｎ（ＨｕａｎｇｗｅｉＢｒａｎｃｈｏ...
5月,全国土地市场表现稳定,成交量虽未能较上月明显上涨,但地价却在北广深为代表的的重点城市优质土地持续入市的影响下再度走高,溢价率和流拍率指标也均表现向好。截止至5月
以房地产板块为切入点,研究证券分析师确定股票评级过程中的关键影响因素。基于对券商研报和国内外文献的阅读,归纳可能影响证券分析师股票评级的主要因素。在此基础上,以201
大数据时代下,不动产证照电子化逐渐替代传统纸质载体,未来电子证照将逐步成为不动产证照的主流形式。部分政务部门在办理业务时,需要审查不动产相关证照(例房屋交易、房屋抵
随着我国市场经济体制的建立和逐步完善,在计划经济体制下形成的企业组织已成为一些企业摆脱困境的桎梏。为了适应世界经济格局日新月异的变化,使企业能够在这个变革的时代得
针对复杂工作环境下移动操作机路径规划中存在不确定性环境信息、建模困难、分析计算复杂的问题,采用基于遗传模糊神经网络混合智能控制方法,可实现快速的路径规划,并已应用