DLJ:A Dynamic Line—Justification Algorithm for Test Generation

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:liner1018
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Lne justification is a basic factor in affecting the efficiency of algorithms for test generation.The existence of reconvergent fanouts in the circuit under test results in backtracks in the process of line justification.In order to reduce the number of b
其他文献
目的探讨微创扩张引流套件在腹腔穿刺置管引流术中的作用,解决一般穿刺置管法放置的引流管管腔偏小,容易堵塞的问题。方法总结我院2005-2010年腹腔穿刺置管引流的病例46例,其
故障现象一辆2011款宝马523Li轿车,搭载型号为N52825的2.5L自然吸气式发动机,车主反映车辆无法启动。故障诊断与排除车辆拖车进厂后,用ISTA—D检测仪检查显示故障码“CD9304串行
故障现象:一辆2014年5月生产的丰田七代凯美瑞,配备5AR发动机,U760E自动变速器。客户进厂报修车辆每次启动时大灯清洗器都会自动喷水一次。技师上车启动车辆,发现在启动的同时大
博世集团是全球领先的技术与服务供应商,分为汽车与智能交通技术、工业技术、消费品和能源与建筑技术四大业务部门,践行着“科技成就生活之美”的经营理念,根据客户个性化需
农民合作社在推动农业产业化、促进农村发展、实现农民增收等方面发挥着重要作用,然而,实践中大量合作社表现出同现有制度不相符的特质,众多学者围绕合作社发展规范失效问题
在刚刚过去的2016年里我们因为杭州的G20峰会备受世界瞩目,也见证了神州十一号满载着中国航天梦顺利返回,凑过特朗普当选美国总统的热闹,也作为吃瓜群众对英国脱欧公投评头论
在奔驰新款车型上,9速自动变速器得到广泛应用,下面以GLC(底盘号为253)车型为例,介绍更换变速器油的步骤。
故障现象:一辆捷达轿车,车主反应发动机启动后熄火。故障诊断与排除:打开点火开关,仪表防盗灯闪烁,用431检测故障码为发动机控制单元无法通信。进发动机电脑可以通信,故障码为发动
北汽EV200电动汽车的电气系统配有一个高电压、大电流的动力电路,其电气设备均安装在汽车底盘上,每个电气设备配有独立的电流回路,与底盘之间没有直接的电气连接,是一个封闭
目的分析我院急诊科收治的农药中毒病例的临床特点、发生特点和规律。方法选择2006年1月至2010年12月我院急诊科收治的农药中毒患者87例,按年龄、性别、时间分布特征、转归及