天津理工大学学报
天津理工大學學報
천진리공대학학보
JOURNAL OF TIANJIN UNIVERSITY OF TECHNOLOGY
2011年
3期
33-36
,共4页
彭旭东%郭宝红%王成霞%李婧%樊丽珍
彭旭東%郭寶紅%王成霞%李婧%樊麗珍
팽욱동%곽보홍%왕성하%리청%번려진
算法的表示%算法多样性%单变量访问流图%变量源变量列表%算法规格化
算法的錶示%算法多樣性%單變量訪問流圖%變量源變量列錶%算法規格化
산법적표시%산법다양성%단변량방문류도%변량원변량렬표%산법규격화
在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表(VSV)和单变量访问流图(SVAF)共同表示程序的算法.其中VSV用于描述变量间的计算关系,SVAF用于描述每个变量的操作方式、次序以及相关的程序控制结构.经过规格化操作,可消除VSV和SVAF中因语句次序、,临时变量、特殊赋值语句以及循环语句等引发的多样性问题.
在自動評判程序中的邏輯錯誤時,一箇關鍵問題是正確錶示程序的算法,併解決多樣性問題.圍繞算法的定義,提齣用變量的源變量列錶(VSV)和單變量訪問流圖(SVAF)共同錶示程序的算法.其中VSV用于描述變量間的計算關繫,SVAF用于描述每箇變量的操作方式、次序以及相關的程序控製結構.經過規格化操作,可消除VSV和SVAF中因語句次序、,臨時變量、特殊賦值語句以及循環語句等引髮的多樣性問題.
재자동평판정서중적라집착오시,일개관건문제시정학표시정서적산법,병해결다양성문제.위요산법적정의,제출용변량적원변량렬표(VSV)화단변량방문류도(SVAF)공동표시정서적산법.기중VSV용우묘술변량간적계산관계,SVAF용우묘술매개변량적조작방식、차서이급상관적정서공제결구.경과규격화조작,가소제VSV화SVAF중인어구차서、,림시변량、특수부치어구이급순배어구등인발적다양성문제.
