【摘 要】
：
针对现有的嵌入式软件故障检测方法性能低、开销大的缺点，提出一种智能选择检测点的控制流方法，其创新之处主要为：使用变量的频率和基本块的执行频率用作选择重要变量和基本块的
【机 构】
：
平顶山学院软件学院,四川理工学院计算机学院
【基金项目】
：
平顶山学院青年基金重点项目（PDSU-QNJJ-2013002）,企业信息化与物联网测控技术四川省高校重点实验室项目（2014WZY05）
论文部分内容阅读
针对现有的嵌入式软件故障检测方法性能低、开销大的缺点，提出一种智能选择检测点的控制流方法，其创新之处主要为：使用变量的频率和基本块的执行频率用作选择重要变量和基本块的两个参数。检测的基本流程是首先过滤器还原标准C语句为伪代码语句，然后扫描仪获取伪代码，并发送它到解析器，进行程序的控制流图提取。最后，解析器提取程序的前后支配树，运用候选块寻找算法进行节点分类，获得块断言和变量。实验结果表明，固化代码中程序执行时间少于RSCFC方法，但是内存开销和代码开销几乎相同，执行时间比率接近1，显著提高故障检测率。
其他文献
从通信网络生命周期管理的角度,简要介绍了物联网网络资源的可视化管理、动态管理和管理维度,重点讨论了对网络资源投入使用和服务保障的管理问题。
质检机构在企业产品质量工作中作为预防、把关和报告的机构，在保持和稳定产品质量的工作中起着重要的作用，是企业质量保证体系不可或缺的部门。那么质检机构在提高产品质量上能
排水管道接口是排水工程中重要的组成部分，虽然其占工程造价的比例不大但它的质量好坏直接影响整个工程质量，也影响整个排水系统的正常运行。
一、基本内容1.战略性进口政策，战略性进口政策，是指进口国政府在不完全竞争的市场结构下，通过对进口的干预使本国获得较大利益的贸易政策。主要是通过选择性的保护贸易政策，达到
高职专业建设应以服务地方区域经济发展需求为导向。无锡正是把物联网产业作为经济转型的支柱产业,物联网产业相关人才需求旺盛。为此,文章分析了无锡物联网产业人才需求的规格要求,并在此基础上对无锡职业技术学院的软件技术专业进行了全面分析,从专业建设思路、建设目标、建设内容等三方面全面探讨了新形势下专业建设的主要手段和内容,同时提出了具体的专业建设方案。
协议安全是工业控制系统信息安全中的一项重要内容,非标协议格式的正确识别是协议安全分析的基础。基于工控系统行业现状和工控协议的结构确定、传输重复、语义有限的特性,提
随着企业对于互联网需求的不断增加,以及分布式处理、并行处理和网格计算的发展,云计算也在计算机产业中应运而生。伴随着云计算在各大公司的纷纷上市,大数据这一词眼也吸引着大众的眼球。大数据成为热门话题之后,对于大数据的处理技术和方法也面临着新的挑战。为应对大数据处理困境,介绍了Google公司提出的MapReduce编程模型的代表性处理方法。
提出了一种基于LonWorks现场总线技术的智能家居系统的设计方案。该方案将LonWorks总线技术应用于智能家居系统,系统中的控制和采集节点由单片机和神经元芯片组成,单片机作为主控制器,神经元芯片作为通信协议处理器和上位机进行通信。
煤矿生产目的是通过多出煤和降低生产成本这两方面来获得最大利润。在降低生产成本中有许多文章可做。其中，避免在生产过程中出现通风事故，且能同时降低通风成本，我们在实践中已
为了降低弹性光网络的阻塞率,提高网络的性能和效率,并对未来光网络的规划部署提供可靠数据,进行了在不同情况下针对弹性光网络性能出现阻塞状况时的数据模拟,包含光网络节点在不同状态下链接传输信息时所使用的弹性光网络链接性能。结果表明曲线类型的网络链接具有更好的平衡负载能力,同时也降低了弹性光网络在使用过程中的阻塞率。