摘要
为进一步排查软件中潜在的较深层次的数据流缺陷,提高软件质量,提出了关联性变量的概念,并从变量的使用逻辑,以及变量自身所承栽的物理意义着手,研究总结了关联性变量的基本特征,提出了各类关联性变量的检测分析要点。在此基础上,对关联性变量设计缺陷开展实例分析,并对基于关联性变量分析的软件查错方法进行了总结。工程实践证明,通过开展关联性变量分析,可以发现较深层次的数据流缺陷,对于提高软件质量具有一定的实用价值。
To detect deep data flow defects of software effectively and improve the software quality, the concept of correlation variable is proposed. Meanwhile, the basic characteristics of correlation variable are summarized according to using logic and physical meaning. Furtherly, the key points of correlation variable analysis are pro- posed. On this basis, the defect analysis of the example is carried out, and the detecting method based on corre- lation variable analysis is summarized. The application results show that deep data tlow defects can be detected effectively by analyzing correlation variable, which has certain practical value for improving software quality.
作者
左万娟
虞砺琨
王小丽
董燕
ZUO Wan-juan;YU Li-kun;WANG Xiao-li;DONG Yan(Beijing Institute of Control Engineering,Beijing 100190,China;Beijing Sunwise Information Technology Ltd.,Beijing 100190,China)
出处
《测控技术》
CSCD
2018年第B11期142-145,209,共5页
Measurement & Control Technology
关键词
变量
关联性
数据流
缺陷
variable
correlation
data flow
defect