[1]苏青琴 刘久富 陈魁 刘蓉.基于抽象解释的非函数依赖不变量的检测方法[J].计算机技术与发展,2012,(04):5-8.
　SU Qing-qin,LIU Jiu-fu,CHEN Kui,et al.Abstract Interpretation Based Detecting Method for Non-Functional Dependence Invariant[J].,2012,(04):5-8.
点击复制

基于抽象解释的非函数依赖不变量的检测方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2012年04期
页码:
5-8
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Abstract Interpretation Based Detecting Method for Non-Functional Dependence Invariant
文章编号:
1673-629X（2012）04-0005-04
作者:
苏青琴 刘久富 陈魁 刘蓉
南京航空航天大学自动化学院
Author(s):
SU Qing-qin; LIU Jiu-fu; CHEN Kui; LIU Rong
College of Automation,Nanjing University of Areonautics and Astronautics
关键词:
不变量; 静态检测; 抽象解释; 非函数依赖
Keywords:
invariant;  static detecting;  Abstract interpretation;  non-functional dependence
分类号:
TP311
文献标志码:
A
摘要:
不变量的检测是提高软件质量的一种有效方法。针对传统静态检测方法可能带来无效的不变量、缺失不变量等缺陷,文中提出一种以抽象解释理论为基础的非函数依赖不变量的静态检测方法。首先利用词法语法分析得到抽象语法树,然后将抽象语法树转化成抽象域图,接着对抽象域图进行抽象执行得到程序中可执行的路径,最后依据定义的非函数依赖不变量表现形式对可执行路径分析得到程序中潜在的非函数依赖不变量。同时通过一个C程序为例对该方法进行验证说明
Abstract:
The discovery of invariants is an effective method for improving software quality.As the traditional static detecting may contain invalid invariant and absence of invariant defects,it proposes an Abstract interpretation based static detecting method for non-functional dependence invariant.Firstly get the Abstract syntax tree by lexical analysis and syntax analysis.Secondly use Abstract interpretation to obtain the executable path of program after the Abstract syntax tree has transfered to the Abstract domain map.Finally get potential invariants by analyzing the executable path of program referring to non-functional dependence invariant forms.At the same time validate this method with C program

相似文献/References:

[1]赵云程,慕德俊,戴航.双重恶意代码检测系统的设计与实现[J].计算机技术与发展,2013,(10):111.
　ZHAO Yun-cheng,MU De-jun,DAI Hang.Design and Implementation of Dual Malware Detection System[J].,2013,(04):111.
[2]徐智涵,袁道成,李璐璐.基于双目图像融合的孔轴配合间隙监视[J].计算机技术与发展,2021,31(08):169.[doi:10. 3969 / j. issn. 1673-629X. 2021. 08. 029]
　XU Zhi-han,YUAN Dao-cheng,LI Lu-lu.Inspection of Hole-shaft Assembly Clearance Based onBinocular Image Fusion[J].,2021,31(04):169.[doi:10. 3969 / j. issn. 1673-629X. 2021. 08. 029]

备注/Memo

备注/Memo:
国家自然科学基金（60674100）; 南京航空航天大学青年科学创新基金（NS2010069）苏青琴（1987-），女，硕士研究生，研究方向为软件测试技术；刘久富，博士，硕士生导师，研究方向为软件测试技术与软件质量工程
更新日期/Last Update: 1900-01-01