论文部分内容阅读
F007是一个错误发现工具，可以通过分析故障系统的执行路径自动识别故障的功能。与现有的技术相比，F007能从单个失败的路径追踪到崩溃或者非崩溃的故障（如逻辑错误）。能够发现最细小故障的位置，降低开发成本。还可自动识别软件漏洞的起源，可作为集成或独立的调试器，可兼容所有程序为基础的语言。
F007-故障软件代码的自动检测工具
【摘 要】
：
F007是一个错误发现工具，可以通过分析故障系统的执行路径自动识别故障的功能。与现有的技术相比，F007能从单个失败的路径追踪到崩溃或者非崩溃的故障（如逻辑错误）。能够发现最细
【出 处】
：
电脑与电信
【发表日期】
：
2011年11期
其他文献
变电站是我国重要的基础设施，对于人们的日常生活具有重要的作用。近年来，随着科学技术的发展和自动化水平的提高，变电站的自动化技术也有了进一步的革新与升级。全面自动化的建
地区电网稳定运行是保障优质服务与电网安全的关键环节,根据国网公司三集五大管理模式下各大体系职责分工,建立以调度为主导各专业深度协同的电网风险管控体系,实现对地区电
县级融媒体中心建设是习近平总书记亲自安排和部署的一项重要工作。融媒体中心建设以及由此而产生的融媒体时代给地方节目主持人这一职业带来了一定的机遇与挑战,面对新的形
麻醉学研究生是未来学科的主力军和高层次接班人,其综合素质直接关系到我国麻醉学科的可持续发展。提升麻醉学研究生的科研创新能力是适应新时代人才培养的重要举措。该文以
为满足RFID天线小型化要求,提出一种基于LTCC技术的新型天线。仿真结果表明天线具有良好的全向性和宽频带特性,在2.4～2.5GHz频段反射损耗小于-10dB。本文还研究了介质常数等参数对天线性能的影响。
本文主要论述了在SQL Server中为了实现数据库中的实体完整性约束原则所采用的编号列的实现方法,从实际运用的角度阐述了两种不同处理方法的实现过程及主要特点。
东荣三矿东九采区首采面切眼采用树脂锚杆、金属锚索、金属网、钢带联合支 护的新方法，并取得了可观的经济效益。
随着科技的不断进步,汽车所整合的现代化设备越来越多,而对应的汽车故障维修也越来越困难,为了更好的针对现代汽车的维修,很多汽修厂家都已经引入了电子诊断技术,而随着汽车
1发病情况8岁的雌性金毛猎犬,体重25 kg。初入院时,主诉其最近精神状态差,食欲下降,不爱动,多饮多尿,身体较之前消瘦,但腹围增大。2临床检查2.1常规检查体温40.5℃,牙龈略微
采用腹腔注射D-半乳糖联合海马区注射Aβ25-35方法造模,观察分析虫草素对阿尔茨海默病(Alzheimer's disease,AD)模型大鼠学习记忆能力及海马区AChE酶活性和神经元形态结