询问-回答模式下层次式程序表示模型的构建方法.pdfVIP

询问叩回答模式下层次式程序表示模型的构建方法 赵洋货眷浩筒波潘金贵 (南京大学计算机软件新技术因家重点实就支，南京 21 (093) (尚京大学计算机科学与技术品，南京 21ω93) E-mail: nj_zy@ 摘 哥哥 对粮序地行静在命析是程序检查的…种有效的手段，而建立程序模现是付程序进付自动分析的革础。基于时 靠、域和型的甚次成程序在 if.: 模型 (OSTPM) 是时域均基础的品次式的程序·信息递归品价模型。谧模型侧重且映程序叶时 靠、域和皇型间的内在*罪，并通过域把1-间的对靠和型是联起来。可扩展程序对阜模型 (EPOM) 是用幸具体如IJ ~画程序语 法结构的 J 种抽靠模型 n 在对程序进行词清和语清帝析后得到 EPOM 的情况下通过询问-回答的对革按制模式可陆方便 的构建 OS叽M 。 9是串串调静在命析 晶止式模型 可扩展程序咛靠模型 询问自明等模式 时靠控制 )1;.编愕 1 创)2-8331-(2003 )28响。 139-03 立献标 ìH 确 A 中阴分我号TP31l Method of Constructing the Hierarchical Program Model Using Request-Reply Pattern Zbao Yang Huang Cbu曲 ao Lv 80 Pan Jingui (State Key Laboratory for Novel So且.ware Technology ,Nanjing University ,Nanjing 21 ∞93) (Dept.of Computer Science and Technology , Nanjin事 University ， Nanjing 21 ∞93) Abst11lot , Static analy翩翩 15 aD e何时 tìve m时hod in pro萨um auditing and it i嗣阴阳也哺a 町 to represent a p胁伊即羽 in ? visual model before the analysis.The hier四hiω1 progr酬 model based on obj 酬. scope and type (which ?s called OSTPM) h剧 a recur鸣í\e-nest叫阳 cture.OSTPM emph甜 ìzes 00 the relationships 阳long objects , 8copes and 肿es and connects them within lhe scope.Extended Progr鸣m Object Model (which is called E阳JM)