|
1.
|
基于静态代码分析的自动化对象行为协议提取工具 被引次数：1
|
|
|
|
|
|
|
黄洲 彭鑫 赵文耘《计算机科学》,2009年第36卷第8期
|
|
|
对象行为协议对于理解对象接口、正确实现模块集成以及类代码的复用都有着重要的意义.在前期工作中,提出了一种基于静态源代码分析的对象行为协议自动提取方法.该方法通过源代码分析获取对象(类)内部各接口方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建接口的状态机图.在此基础上,进一步介绍相应的支持工具,包括主要模块、各部分的主要实现技术等.
|
|
2.
|
一种使用动态分析的对象状态机自动提取方法
|
|
|
|
|
|
|
吴浩 彭鑫 赵文耘《小型微型计算机系统》,2008年第29卷第9期
|
|
|
对象行为协议对于辅助其他开发者理解并正确使用对象所提供的外部行为具有十分重要的意义.然而相关文档却常常缺失或存在不一致,需要通过逆向分析的方法进行恢复.针对这一问题,本文提出了一种基于驱动执行和动态分析的对象状态机(Object State Machine,OSM)提取方法.该方法从源代码中提取包含类属性的条件表达式,以其在运行时刻的取值情况及程序异常信息作为状态标识,并通过驱动执行的方式获取运行时的状态转换信息,然后分析运行时信息逐步构造对象状态机.该方法已实现为相应的原型系统,初步实验结果表明通过该方法可以高效、准确地恢复对象行为协议.
|
|
3.
|
通过静态分析逆向恢复面向对象程序中的用况
|
|
|
|
|
|
|
叶彭飞 彭鑫 赵文耘《计算机研究与发展》,2010年第47卷第12期
|
|
|
在软件维护任务中,通过阅读用况能有效地帮助维护人员理解软件系统,然而在现实中用况文档往往是过时或残缺不全的.如何通过代码分析还原用况是一大难题.针对上述问题提出了一种针对面向对象程序源代码通过静态代码分析逆向恢复用况的方法.该方法在高层通过分析系统逻辑层高层门面类的对象行为协议来获取用况的高层划分,在底层通过分析OO-BRCG(object-oriented branch-reserving call graph)来得到用况的底层划分,然后结合两方面恢复出最终用况.最后通过实验验证了该方法的有效性,恢复用况时该方法能获得极高的用况覆盖度及可观的准确度.
|
|
4.
|
一种逆向分析协议状态机模型的有效方法 被引次数：1
|
|
|
|
|
|
|
田园 李建斌 张振《计算机工程与应用》,2011年第47卷第19期
|
|
|
网络协议的逆向分析技术无论对可信软件的验证、保护还是对恶意软件机理的分析都具有重要用途。由于协议的内在复杂性,重构与其源程序一致的高级模型对分析尤为有益,其中又以有限状态机模型最为典型。建立一种重构网络协议状态机模型的有效方法,主要依据所记录的协议会话的消息流及协议软件实际执行的指令流,通过对指令流反编译并应用改进的形式分析及验证技术构建出状态对象、转移关系及状态转移条件。该方法从协议的会话实例重构出充分一般的状态机模型,效率可行并具有逻辑上可证明的精确性。在详细阐述理论基础之后,也讨论了该方法的实现和应用。
|
|
5.
|
面向Java语言的进化测试中分支依赖图的构建 被引次数：2
|
|
|
|
|
|
|
艾丽蓉 赵庆兰 刘西洋 刘洋 刘鹤辉《计算机科学》,2006年第33卷第7期
|
|
|
在面向对象程序的进化测试中，面向对象程序本身的状态特性使得一个分支的到达需要一定长度方法调用序列的执行，而封装特性则使得在一个对象外部无法直接调用其private方法或者protected方法。针对这两个问题，采用基于蚁群算法和遗传算法的动态搜索与静态分析相结合的方式提供了一种有效的思路。本文针对这种思路中的静态分析过程提出分支依赖图的概念，并设计、实现了针对Java语言的方法内分支依赖图以及类的分支依赖图的构建算法。
|
|
6.
|
软件安全逆向分析中程序结构解析模型设计 被引次数：1
|
|
|
|
|
|
|
李广旭 李伟华 潘炜 史豪斌《计算机工程与应用》,2008年第44卷第32期
|
|
|
提出了一种基于二进制文件的程序结构解析模型。该模型通过对二进制文件反汇编,去除汇编文件中的冗余信息,对汇编文件进行静态分析,构建带有索引依赖信息的基本块,并以该基本块为基础提取二进制程序的内部控制流与函数调用关系信息,最后给出程序内部控制流图以及函数调用关系图。该模型不依赖程序的源文件,以二进制文件为分析对象,实用性和通用性比较好;实验结果表明模型对二进制程序内部结构解析具有较高的准确性。
|
|
7.
|
一种UML活动图的逆向恢复方法
|
|
|
|
|
|
|
周新宽 陈平 李青山《计算机工程与应用》,2006年第42卷第17期
|
|
|
UML活动图的逆向恢复是逆向工程的重要组成部分,对于理解目标系统的动态行为和控制流程有重要辅助作用。论文针对Windows环境中的面向对象系统,给出了一种基于进程(线程)间关系的UML活动图的逆向恢复方法,该方法采用反射植入机制对目标系统进行基于关键函数的植入,然后对植入后目标系统运行时的动态信息进行过滤并提取出来转化为UML活动图模型文件。在此过程中给出了相应的植入和过滤算法,并通过实验验证该方法的有效性。
|
|
8.
|
基于模糊聚类双谱的磁瓦内部缺陷无损检测方法
|
|
|
|
|
|
|
黄沁元 殷鹰 赵越 赵秀粉 殷国富《无损检测》,2014年第12期
|
|
|
为解决磁瓦内部缺陷较难检测的问题，提出一种模糊聚类双谱分析方法用于其内部缺陷的无损检测。该方法以磁瓦在受到撞击时产生的声振信号作为研究对象，利用双谱分析发现内部缺陷与双谱峰值的分布区域具有映射关系，并且模糊聚类处理后的归一化双谱能明显’地反映这一特征。根据这个规律，通过将模糊聚类双谱的对角线切片划分为若干频段，并计算切片指定幅值所在的频段建立内部缺陷识别规则。最后由验证试验评估该方法的可行性，得到了92．5％以上的识别精度。试验表明：模糊聚类双谱在磁瓦内部缺陷声振检测中具有一定实用性。
|
|
9.
|
面向对象的H323协议栈分析与实现
|
|
|
|
|
|
|
任延珍 胡瑞敏 徐彦彦《计算机工程与应用》,2005年第41卷第2期
|
|
|
随着网络的迅猛发展,传统的单快式通讯协议的开发已不能满足需要,该文提出了一种全新的方法—使用面向对象的建模技术,将模块化的H323通信协议设计为可构建、可重用和可扩展的H323协议栈。在该协议栈的实现过程中,巧妙地将面向对象中类的继承和多态性概念与通信协议的层次关系进行对应,以类的派生实现协议的依赖关系,并使用类的多态性实现底层协议对上层协议的通知机制。
|
|
10.
|
基于抽象状态的类的行为规格化方法
|
|
|
|
|
|
|
王伟 丁二玉 骆斌《计算机科学》,2016年第43卷第Z6期
|
|
|
为独立方法定义严谨的规格可以保证程序的正确性。但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法间影响的规格化方法。研究者们使用抽象变量、状态抽象、堆、查询等多种方法进行了尝试。文中给出一种基于抽象状态的类的行为规格方法,该方法基于抽象状态解决了类方法间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证。
|
|
11.
|
基于PROBE方法的DWFC内聚度量改进
|
|
|
|
|
|
|
肖瑶 张为群《计算机科学》,2007年第34卷第5期
|
|
|
利用有向带权伪图（Directed Weighted False Chart, DWFC）表示面向对象程序中类内部成员间的依赖关系，提出一种基于DWFE的面向对象类内聚度量方法，结合PSP（Personal Software Process）技术中PROBE（PROx Based Estimating）规模估算方法，改进了良好内聚度量方法的验证准则，并结合实验验证了该方法的优越性。
|
|
12.
|
需求驱动的流敏感别名检查
|
|
|
|
|
|
|
马晓东 匡碧英 尉红梅《计算机工程与应用》,2013年第10期
|
|
|
别名分析的精度影响着很多其他编译优化的效果。在对展开后的循环体做指令调度的时候,不精确的别名分析结果会导致冗余数据依赖的产生,从而限制了调度。流敏感的别名分析因为代价过高而扩展性不好。在流不敏感别名信息的基础上,提出了一种需求驱动的流敏感别名检查方法,能够以流敏感的方式判断两个表达式在某程序点上是否为别名。该方法假设两个表达式之间具有别名关系,从而获取初始的数据流事实。用数据流分析技术计算逆向程序点上的数据流事实。如果在所有逆向路径上的数据流事实中都产生了矛盾,则认为别名关系不成立。实验结果表明,该方法能较好地提高别名分析的精度。
|
|
13.
|
基于层次结构的可靠组播协议的改进
|
|
|
|
|
|
|
常潘 张卫《计算机应用》,2003年第23卷第Z2期
|
|
|
目前的可靠组播协议在差错恢复延时与有效带宽利用率上相互制约,应用存在局限性.文中提出了一种改进的基于树结构的可靠组播协议,利用组播逆向路径跟踪与局部组播技术构建聚集树,然后在聚集树上实现数据报文的差错恢复.通过网络模拟验证了该协议在差错恢复延时与有效带宽利用率上能够取得较好的性能.
|
|
14.
|
逆向工程中动静态结合辅助用例模型的恢复
|
|
|
|
|
|
|
郑变红 陈 平 胡圣明 龚晓洁《计算机工程》,2007年第33卷第23期
|
|
|
由于根据目前方法调用之间的“线索”或方法调用的相互关系恢复出的用例模型存在一定的局限性，该文提出了一种基于动态信息并结合静态信息的用例模型恢复方法。该方法以动态运行时的方法调用序列提取基本用例，依据静态的类间关系和静态的程序依赖图对基本用例进行调整、找出用例与角色的交互点及各用例所属的功能模块，使产生的用例模型带有语义信息，更好地辅助用户理解。
|
|
15.
|
基于面向对象Petri网的多Agent系统交互协议建模 被引次数：7
|
|
|
|
|
|
|
于振华 蔡远利 韩九强《计算机集成制造系统》,2005年第11卷第8期
|
|
|
为了描述、分析和验证多Agent系统交互协议，提出了一种面向对象Petri网。与现有的形式化方法相比，面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议，可以描述其静态和动态语义，并可利用Petri网的数学分析方法对交互协议进行动态分析。面向对象Petri网还具有较好的模块性和柔性，能单独地分析参与交互的每一个Agent，而不会影响其他Agent和环境的状态。最后，利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议，并对一个买卖Agent交互实例进行了建模和动态分析，验证了面向对象Petri网具有较好的建模能力。
|
|
16.
|
基于模态的嵌入式软件动态重构技术研究 被引次数：1
|
|
|
|
|
|
|
覃杨森 董云卫《计算机科学》,2012年第39卷第2期
|
|
|
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。
|
|
17.
|
一种基于动态依赖关系的类集成测试方法 被引次数：2
|
|
|
|
|
|
|
张艳梅 姜淑娟 张红昌《计算机学报》,2011年第34卷第6期
|
|
|
类间集成测试是面向对象软件测试的重要组成部分,合适的测试顺序能够极大地节省测试成本.类间依赖关系构成环路的情况下,需要删除某些依赖关系以消除环路,同时需要引进测试桩.忽略类间动态依赖关系导致测试桩的数目不足,难以完成测试.文中提出一种基于动态依赖关系的类集成测试方法.首先分析了类之间的静态依赖和动态依赖关系;然后在保证测试桩的数目尽可能少的前提下,给出了边的删除规则以及消除由静态依赖关系和动态依赖关系形成的环路的算法,在此基础上,进一步提出测试顺序分配策略和算法;最后针对提出的方法开发了基于测试级的类测试序列自动生成工具--TLOG.实验结果表明:该方法较其它方法需要较少的测试桩,测试效率有明显提高.
|
|
18.
|
基于CFG的函数调用关系静态分析方法
|
|
|
|
|
|
|
黄双玲 黄章进 顾乃杰《计算机系统应用》,2015年第24卷第11期
|
|
|
函数调用关系能够反映软件系统中函数间的依赖关系,完整的函数调用关系可以更好地辅助程序验证和死锁分析,提升验证和分析的完备性.现有静态分析函数调用关系的方法不能准确分析函数指针和虚函数的调用,影响了其分析结果的准确性.针对这一问题本文提出了一种基于控制流图(Control Flow Graph, CFG)的函数调用关系静态分析方法,该方法首先使用GCC插件静态获取源代码中的类型和函数CFG等信息并构建分析路径,然后采用本文提出的模拟仿真算法分析程序中的语句,并解析函数指针和虚函数的调用,最后基于分析结果生成完整的函数调用关系.实验结果表明,该方法能够很好地支持对函数指针和虚函数的处理,提升了分析结果的准确性.
|
|
19.
|
一种适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别方法 被引次数：2
|
|
|
|
|
|
|
张红林 张春元 刘东《计算机学报》,2012年第35卷第2期
|
|
|
为减小时间开销,动态故障树经常被模块化分解为独立的静态子树和独立的动态子树,然后分别使用二叉决策图和马尔卡夫模型求解;其中的一个关键问题便是识别具有相互依赖基本事件和重复事件的动态故障树中所有的独立模块和最小独立模块.文中提出了一个基于亲戚依赖关系的独立模块识别方法IIMKDR,该方法将故障树按照其事件之间的依赖关系转换为依赖树;基于面向对象思想,为依赖树及其节点构建对象;通过对各节点对象属性的分析,得出独立模块集并进而求出最小独立模块集.最后对IIMKDR方法进行了理论分析和实验验证,分析表明该方法适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别.与其它方法从多个角度所进行的实验对比显示,当故障树没有相互依赖基本事件和重复事件时,该方法的开销略高于其它方法;当故障树具有相互依赖基本事件和重复事件时,该方法能够正确识别其中所有的独立模块,而其它方法不具备这样的功能.
|
|
20.
|
自动链路建立协议面向对象方法的实现 被引次数：1
|
|
|
|
|
|
|
陈明德 李思敏《桂林电子工业学院学报》,2004年第24卷第2期
|
|
|
由于协议是不断完善和发展的，因此一个好的协议软件应该具有良好的可维护性、可复用性以及可扩展性。在研究和分析ALE协议的基础上，用FSM模型对该协议进行了描述，并且提出了一种面向对象的FSM实现方法。在这种方法中，FSM中要素(包括状态、事件、转移、行为)都用一个类来表示，并将这些类的对象按照状态转移图组合起来就形成了可执行的状态机。在修改或者扩展该状态机时，只需要改变这些对象的组合方式或者增加必要的对象，因此可以很方便的对状态机进行维护和扩展并且对其中的对象进行复用。
|
