摘要
在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表(VSV)和单变量访问流图(SVAF)共同表示程序的算法.其中VSV用于描述变量间的计算关系,SVAF用于描述每个变量的操作方式、次序以及相关的程序控制结构.经过规格化操作,可消除VSV和SVAF中因语句次序、临时变量、特殊赋值语句以及循环语句等引发的多样性问题.
In ovder to analyze and find out logic errors in program automatically,it is must to express the algorithm of the program in unified form.According to the definition of algorithm,this paper talks about how to express the algorithm with Variable＇s source variables＇ list（VSV） and Single variable accessed flow（SVAF） from different sides,and how to normalize.VSV is used for expressing the relationships among the variables when doing calculate.And SVAF is used for expressing the access type,access order,and control flow used of every variable.And the multiform problems,which were caused by sentences（and blocks） order,using temporary variables unlimited,special assignment statements,and loop statements,were removed after normalization.
出处
《天津理工大学学报》
2011年第3期33-36,共4页
Journal of Tianjin University of Technology
基金
天津理工大学教学基金(YB08-17)
关键词
算法的表示
算法多样性
单变量访问流图
变量源变量列表
算法规格化
express the algorithm
multiform of the algorithm
single variable accessed flow
variable＇s source variables＇ list
uniform the algorithm
