一种面向审查的过程内数据流异常自动检测方法

来源 :南京大学学报:自然科学版 | 被引量 : 0次 | 上传用户:auh123123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.
其他文献
本文作者曾是一位长期工作在湖北统计部门的统计局长。目前已另有任用。但仍情牵本刊,其文中观点和构思,对我们各级统计部门塑造新型的统计机关形象亦有启迪。
用锥形立铣刀加工凹形圆弧槽,改变了传统的“V”形槽传动形式,避免滚珠与“V”形槽长时间的两点接触而造成“V”形槽而的线形沟槽,从而提高了工作台移动时的平稳性和延长导轨的
针对莱芜钢铁集团有限公司1 500mm UCM单机架轧机产品存在的乳化液斑问题,分析了其形成机理,通过采用新型防缠导板和外侧风刀、变频供乳改造、采用自动停喷乳化液和延时起车
信用证这种传统的国际贸易结算方式已经在许多方面不能适应国际贸易发展的要求,而国际保理作为一种新型的结算方式,更能适应当前国际贸易由卖方市场向买方市场转化的发展趋势
随着现代社会物质水平的不断提升,人们对环境质量的要求变得越来越高,环境管理成为了当前备受关注的焦点。而环境监测作为环境管理过程中不可或缺的一部分,其地位以及具体作用值得深入探讨。基于此,本文首先简要分析了环境监测在环境管理中的地位,随后从四个角度来分析环境监测存在的问题,最后阐述了环境监测在环境管理中的作用,以此来供相关人士参考交流。
重点分析了1970-2003年期间西北太平洋的热带气旋活动特征与海洋表面温度、上层海洋的热力异常变化以及对流层低层的大尺度环流特征之间的关系.分析结果发现在西北太平洋海域,
随着无线通信技术的发展和社会生活生产对无线数据传输需求的日益增长,涌现出一大批优秀的无线协议栈。这些无线协议栈在不同的应用背景和领域,起着举足轻重的作用。无线协议栈
以P-σ9层区域气候模式(P-σRCM9)和普林斯顿海洋模式(POM)为基础,建立了一个区域海气耦合模式P-σRCM9-POM,对1958—1997年40年中国东部降水进行数值模拟.通过分析耦合模式的模拟结
专利公开号:CN111534178A申请人:陕西科技大学摘要:一种光热保温型皮革涂饰剂的制备方法,在超声搅拌作用下,将Ti3C2、等离子体纳米金/银颗粒、纳米硫化铜等光热纳米材料、水