面向软件错误检测的数据流分析

doi:10.11896/j.issn.1002-137X.2016.6A.117

计算机科学 ›› 2016, Vol. 43 ›› Issue (Z6): 497-501.doi: 10.11896/j.issn.1002-137X.2016.6A.117

• 软件工程与数据库技术 • 上一篇下一篇

面向软件错误检测的数据流分析

张广梅,李景霞

山东农业大学信息科学与工程学院泰安271018,安徽农业大学信息与计算机学院合肥230036

出版日期:2018-11-14 发布日期:2018-11-14

Data-flow Analysis for Software Error Detection

ZHANG Guang-mei and LI Jing-xia

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： 程序中某一点的数据流状态与软件的执行路径有关。程序中的部分错误与变量所处的状态相关。提出的MUST数据流和MAY数据流反映了数据流的执行路径具有相关性的特点。根据不同变量的管理特点,从程序的控制结构出发,详细讨论了影响变量状态的各种因素及其之间的关系,提出了基于程序控制结构的、以基本块为最小程序单位的静态数据流分析方法,为精确地进行数据流分析提供了依据。

关键词: 软件错误,错误检测,数据流分析

Abstract: Definition and reference are two kinds of operations that software variable.The operation that software variable disobeys the variable using rules will result in software error.In order to detect these kinds of software error,the definition-reach data-flow analysis and living-variable data-flow analysis of a program must be made.There may be more than one path to a program’s site,and the data-flow states on one program path may be different from the others.So the must-data-flow and the may-data-flow of a program were calculated to depict the accurate data-flow information.The control structure on basic block is used by the data-flow analysis method.The factors that will affect the data-flow such as definition information that can reach to a basic block entry site and exit site,living variable that can reach to a basic block,some special operation such as memory allocate operation and memory free operation,and the relations between them were discussed sufficiently.

Key words: Software error,Software error detection,Data-flow analysis

张广梅,李景霞. 面向软件错误检测的数据流分析[J]. 计算机科学, 2016, 43(Z6): 497-501. https://doi.org/10.11896/j.issn.1002-137X.2016.6A.117

ZHANG Guang-mei and LI Jing-xia. Data-flow Analysis for Software Error Detection[J]. Computer Science, 2016, 43(Z6): 497-501. https://doi.org/10.11896/j.issn.1002-137X.2016.6A.117

参考文献

[1] Hardekopf B,Lin C.Flow-sensitive pointer analysis for millions of lines of code[C]∥International Symposium on Code Generation and Optimization,2011.Chamonix,France,IEEE,2011:289-298
[2] Kooli M,Bosio A,Benoit P,et al.Software testing and software fault injection:Design & Technology of Integrated Systems in Nanoscale Era (DTIS),2015[C]∥Naples.IEEE,2015:1-6
[3] Yu Hong-tao,Xue Jing-ling,Huo Wei,et al.Level by level:ma-king flow-and context-sensitive pointer analysis scalable for millions of lines of code[C]∥Proceedings of the 8th annual IEEE/ACM International Symposium on Code Generation and Optimization,2010.New York,USA:2010:218-229
[4] Li L,Cifuentes C,Keynes N.Precise and scalable context-sensitive pointer analysis via value flow graph[J].ACM Sigplan Notices,2013,48(11):85-96
[5] Denaro G,PezzAl M,Vivanti M.On the right objectives of data flow testing[C]∥Proceedings of the IEEE International Conference on Software Testing,Verification,and Validation.2014:71-80
[6] Sui Y,Ye S,Xue J,et al.Making context-sensitive inclusion-based pointer analysis practical for compilers using parameteri-sed summarisation[J].Software Practice & Experience,2014,44(12):1485-1510
[7] Nair S,Jetley R,Nair A,et al.A static code analysis tool forcontrol system software[C]∥IEEE 22nd International Conference on Software Analysis,Evolution and Reengineering.2015:459-463
[8] Khan M E.Different approaches to white box testing technique for finding errors[J].International Journal of Software Engineering and Its Applications,2011,5(3):1-11
[9] Khan S A,Nadeem A.A tool for data flow testing using evolutionary approaches (etodf)[C]∥International Conference on Emerging Technologies (ICET).2013:1-6
[10] 严蔚敏,吴伟民.数据结构[M].北京:清华大学出版社,2011:180-183

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

面向软件错误检测的数据流分析

Data-flow Analysis for Software Error Detection

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0