【摘 要】
：
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息，由于其中包含与缺陷检测无关的数据流，因此会导致分析效率下降．为了避免全路径敏感分析时的路径爆炸问
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室,装甲兵工程学院信息工程系
【基金项目】
：
本课题得到国家“八六三”高技术研究发展计划项目基金（2009AA012404）、国家自然科学基金项目“航天嵌入式软件缺陷检测方法研究、系统研发及应用”（91018002,2010）资助.
论文部分内容阅读
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息，由于其中包含与缺陷检测无关的数据流，因此会导致分析效率下降．为了避免全路径敏感分析时的路径爆炸问题，一般会在控制流汇合节点进行缺陷状态合并，而这种粗糙的合并策略带来的精度损失会引起误报．针对上述问题，文中提出一种基于缺陷的程序切片方法，该方法基于缺陷特征和路径条件建立切片准则，根据控制流节点上的数据流信息与切片准则的包含关系进行程序切片，得到的切片程序在缺陷检测时切片掉了缺陷无关节点且与源程序完全等价，以提高缺陷检测效率．为了进一步减少
其他文献
目的探讨急腹症的误诊原因及预防措施。方法对近3年我院38例急性阑尾炎误诊患者的临床资料进行回顾性分析。结果所有患者通过及时治疗,均痊愈出院。结论急腹症症状类似,必须
目的探讨舟骨腰部骨折的治疗。方法对12例患者采用了闭合复位空心螺钉固定。结果按Cooney评分11例优,1例良。结论采用闭合复位空心螺钉固定治疗舟骨腰部骨折具有手术创伤小,
目的通过视力、裂隙灯、眼底照相检查对农村居民白内障筛查。研究对象：北京顺义区天竺、后沙峪、高丽营三镇农村参加合作医疗的40岁以上居民约1135人。方法 2008年12月至2009
目前的语音识别系统在训练环境与测试环境匹配的情况下具有很高的识别率，而当环境失配时，其性能将急剧下降．作者研究发现，带宽失配，即训练语料和测试语料带宽不一致，也是引起环境失
企业多元化经营战略是指企业在原主导产业范围以外的领域从事生产经营活动,是与专业化经营战略相对的一种企业经营战略模式.企业多元化经营意味着企业将组织新的发展方向,即
目的 观察丹红注射液对急性脑梗死患者的临床疗效.方法 60例急性脑梗死患者有机分为2组,对照组（30例）进行常规基础治疗,治疗组（30例）在常规基础治疗的同时给予丹红注射液静滴,治
目的介绍一种适合较严重开放性、粉碎性胫腓骨骨折的治疗方法。方法对严重开放性粉碎性胫腓骨骨折,清创中强调清洗法,采用中西药3个＂五轮冲洗法＂预防感染,尽量保护局部软组织,
调动职工积极性虽是企业经营管理活动中的永恒主题,但在管理的实践中,企业调动职工积极性常常是此消彼长,难以达到"最大限度"的理想目标.究其原因,关键在于人们未能从整体出
我科于2009年2月至2010年3月对鼻咽癌同步放化疗患者落实各种预防措施,取得了满意的效果,现报道如下。
一、知识管理成为企业管理的主要职能在传统的企业管理中,企业管理的职能是计划、组织、指挥、协调、控制、激励.随着企业的发展,企业管理的职能不断增加和更迭新内容,但无论