逆向工程在认证结构化程序中的应用  

An Application of Reverse Engineering to Certificating Structured Programs

作　　者：生滨[1] 杨孝宗[1] 

机构地区：[1]哈尔滨工业大学计算机科学与工程系,哈尔滨150001

出　　处：《计算机工程与应用》2001年第17期17-18,共2页Computer Engineering and Applications

基　　金：国防科技预研基金资助

摘　　要：文章首先介绍了结构化程序的特点，以及结构化程序与PAD图之间的关系，然后定义了存储PAD图的二叉树结构，最后给出了从结构化源程序推导出该二叉树的逆向生成算法，并对下一步工作做了展望。： This paper describes some features of Structured Programs and some relations between Structured Programs and PAD（Problem Analysis Diagram），and then defines a binary tree for storing PAD．An algorithm of deriving a binary tree from Structured Programs is presented，and some future plans are framed．

关 键 词：软件认证 逆向工程 结构化程序 PAD图 软件工程 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]