计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2008年
10期
85-86,106
,共3页
刘杰%阳小华%罗扬%吴取劲
劉傑%暘小華%囉颺%吳取勁
류걸%양소화%라양%오취경
程序不变量%动态发现%编配工具
程序不變量%動態髮現%編配工具
정서불변량%동태발현%편배공구
发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键.重点研究了不变量的动态发现方法与程序编配原理,并在传统的编配方法基础上实现了交互式的石鼓编配工具.该工具具有预设观测点和观测变量等功能,并通过将运行轨迹收集到数据库中来实现不变量分析.并详细说明了采用内嵌法的编配工具的总体结构及实现过程.实验证明石鼓编配工具能更方便有效地发现不变量.
髮現程序中隱含程序不變量是實現高層次行為閤約、提高程序質量的關鍵.重點研究瞭不變量的動態髮現方法與程序編配原理,併在傳統的編配方法基礎上實現瞭交互式的石鼓編配工具.該工具具有預設觀測點和觀測變量等功能,併通過將運行軌跡收集到數據庫中來實現不變量分析.併詳細說明瞭採用內嵌法的編配工具的總體結構及實現過程.實驗證明石鼓編配工具能更方便有效地髮現不變量.
발현정서중은함정서불변량시실현고층차행위합약、제고정서질량적관건.중점연구료불변량적동태발현방법여정서편배원리,병재전통적편배방법기출상실현료교호식적석고편배공구.해공구구유예설관측점화관측변량등공능,병통과장운행궤적수집도수거고중래실현불변량분석.병상세설명료채용내감법적편배공구적총체결구급실현과정.실험증명석고편배공구능경방편유효지발현불변량.