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

• 作者: 刘超 卞磊 金茂忠
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 审查 过程内数据流异常 有穷自动机 静态检测
• 年，卷（期）: 2010,（1）
• 页码范围: 71-76
• 页数: 6页
• 分类号: TP301.1
• 字数: 4371字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金茂忠	北京航空航天大学软件工程研究所	124	2563	23.0	48.0
2	刘超	北京航空航天大学软件工程研究所	138	2512	20.0	47.0
3	卞磊	北京航空航天大学软件工程研究所	1	4	1.0	1.0