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

摘要：

审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常榆测和审查的效率.

关键词：审查、过程内数据流异常、有穷自动机、静态检测

所属期刊栏目：46

分类号：TP301.1(计算技术、计算机技术)

在线出版日期：2010-04-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：71-76