军械工程学院学报
軍械工程學院學報
군계공정학원학보
JOURNAL OF ORDNANCE ENGINEERING COLLEGE
2009年
2期
75-78
,共4页
钟启艮%王希武%王寅龙%黄小城
鐘啟艮%王希武%王寅龍%黃小城
종계간%왕희무%왕인룡%황소성
程序表示%ECFG%有限自动机%交互结构表示
程序錶示%ECFG%有限自動機%交互結構錶示
정서표시%ECFG%유한자동궤%교호결구표시
程序控制流图不能表示DA交互发生点处实际执行的sQL语句,因而不能清晰地表示出程序数据库的交互过程.针对该问题提出了用有限状态自动机表示DML SQL语句,根据自动机的运行过程确定交互语句使用或定义的数据对象,并利用此信息生成表示交互语句的结点,以扩展CFG.实验表明,经过扩展后的ECFG能够直观地表示DA程序中与数据库的交互结构.
程序控製流圖不能錶示DA交互髮生點處實際執行的sQL語句,因而不能清晰地錶示齣程序數據庫的交互過程.針對該問題提齣瞭用有限狀態自動機錶示DML SQL語句,根據自動機的運行過程確定交互語句使用或定義的數據對象,併利用此信息生成錶示交互語句的結點,以擴展CFG.實驗錶明,經過擴展後的ECFG能夠直觀地錶示DA程序中與數據庫的交互結構.
정서공제류도불능표시DA교호발생점처실제집행적sQL어구,인이불능청석지표시출정서수거고적교호과정.침대해문제제출료용유한상태자동궤표시DML SQL어구,근거자동궤적운행과정학정교호어구사용혹정의적수거대상,병이용차신식생성표시교호어구적결점,이확전CFG.실험표명,경과확전후적ECFG능구직관지표시DA정서중여수거고적교호결구.