| 一种面向审查的过程内数据流异常自动检测方法 |
| |
| 引用本文： | 卞磊,刘超,金茂忠.一种面向审查的过程内数据流异常自动检测方法[J].南京大学学报(自然科学版),2010(1). |
| |
| 作者姓名： | 卞磊 刘超 金茂忠 |
| |
| 作者单位： | 北京航空航天大学软件工程研究所; |
| |
| 摘 要： | 审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.
|
| 关 键 词： | 审查 过程内数据流异常 有穷自动机 静态检测 |
A method for intra-procedural data flow anomaly auto-detection facing to inspection |
| |
| Bian Lei,Liu Chao,Jin Mao-Zhong.A method for intra-procedural data flow anomaly auto-detection facing to inspection[J].Journal of Nanjing University: Nat Sci Ed,2010(1). |
| |
| Authors: | Bian Lei Liu Chao Jin Mao-Zhong |
| |
| Institution: | Software Engineering Institute/a>;Beihang University/a>;Beijing/a>;100083/a>;China |
| |
| Abstract: | Code inspection plays an important role in constructing the quality of software product,but inspection wastes time and human resource,and needs assistant with some automated tools. Data flow anomalies is that the variable is used incorrectly in the code,and it means that there are potential errors in the code. Data flow anomalies is an important type of defects in the check list which is used during inspection,and it is also mainly focus on during inspection. Based on a review of data flow anomalies,the def... |
| |
| Keywords: | inspection intra-procedural data flow anomaly finite automaton static detection |
| 本文献已被 CNKI 等数据库收录！ |
|
