面向Java多线程机制的软件重构方法

针对Java语言中Thread和Executor两种线程机制在线程管理模式、代码编写量和性能上的不同,提出了一种面向Java多线程机制的软件自动重构方法,该方法可以实现Thread和Executor之间的自动重构转换,进而帮助程序员选择更适合的线程机制.在Eclipse JDT环境下实现了从Thread到Executor的自动重构工具Rethreader.在实验中,使用Rethreader对JGF基准测试程序套件中的Series、Crypt、Lufact、Sparsematmult和Montecarlo等基准程序进行了重构测试,实验结果表明,Rethreader可以在小于1 s的短时间内实现从Thread到Executor的转换.      

基于符号执行提高缺陷分析的准确性研究

静态分析是检测软件代码缺陷和提升软件代码质量的有效方式. 由于静态分析不实际运行代码,不能获取足够的运行时信息,因此分析结果的准确性有待提高. 相比而言,符号执行技术能够模拟执行程序并收集大量的数据流信息,提升数据流分析的准确程度,弥补静态分析的不足. 为了提高静态分析工具分析程序缺陷的准确性,本文设计并实现了一个代码缺陷检测工具ABAZER-SE,它基于GCC抽象语法树,综合采用符号执行与静态分析技术以检测源代码中的缺陷. 使用Toyota ITC静态分析基准对该工具进行了评估,实验结果表明,本文方法及工具可以提高静态分析结果的准确性.      

一种基于Muller流水线的异步流水线物理实现流程

为了克服异步电路实现工具不统一、实现复杂度较高的问题,提出了一种新的异步流水线实现流程.基于功能将实现流程分为同步时序约束和异步控制实现两个部分,对同步时序约束采用虚拟时钟,对异步控制实现采用真实延时控制,通过在实际的异步控制信号下的静态时序分析得到时序结果.实验和仿真结果一致表明,该流程可以完全利用成熟的电路自动化设计工具实现,极大地降低了异步流水线的实现难度.     

面向并发程序的重构一致性检测方法

针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖关系的变化.针对对象重用性、静态共享字段、死锁3种典型的引起并发错误的情况,设计了3种检测算法对重构前后程序的不一致性进行检测.依据该方法,在WALA软件分析框架下实现了一个原型检测工具.在实验中,使用该工具在SPECjbb2005和HSQLDB测试程序上进行了验证,并与Schafer等提出的方法进行比较,实验结果表明,该方法能够有效地发现并发软件重构的不一致行为.     

基于反射机制的构件化软件静态分析器的设计与实现

设计并实现基于反射机制的构件化软件静态分析器.该静态分析器通过对构件化软件源程序代码的静态分析,使用反射机制,自动提取源程序的结构、构件测试元素和构件交互关系,采用XML保存分析结果并图形化直观显示程序结构和构件交互.实例结果表明,该分析器适用于对基于.NET的构件化软件进行分析处理.     

基于最小程序行为分解的模式伴随化

模式伴随是自动微分领域中的重要内容之一.基于最小程序行为分解讨论了模式伴随的基本原理和方法,为自动伴随工具的设计与实现提供了基本的理论依据.运用这种方法得到的伴随模式不仅在计算时间、空间存储开销以及代码的复杂性3个方面取得了比较理想的结果,而且在软件实现上较简单.还讨论了树形结构最小程序行为的伴随化方法.     

一种基于JMS的数据同步方法

针对分布式网络应用环境下数据同步问题 ,提出一种J2EE环境下基于JMS的数据同步方法 ,讨论了异步、可靠的消息传送机制、事务划分、身份认证等具体实现问题 ,并给出了部分代码 .     

一种基于JMS的数据同步方法

针对分布式网络应用环境下数据同步问题，提出一种J2EE环境下基于JMS的数据同步方法，讨论了异步、可靠的消息传送机制，事务划分，身份认证等具体实现问题，并给出了部分代码。     

基于异步替换的异步流水线设计

本文提出了异步替换的概念,即将同步流水线的控制通路和数据通路分离,然后将控制部分用异步结构实现,替换同步控制结构,以完成异步流水线的设计。本文首先提出并证明了基于寄存器的异步流水线结构能够获得与同步流水线相似的性能。一个用于异步替换的设计流程被提出,并被用于一款16位DSP的设计。结果显示,与同步结构相比约20％的性能获得了提升,这证明了异步替换的可行性。利用异步替换,可以充分利用同步流水线的丰富资源方便地设计异步流水线。     

GRU:神经程序解释器性能优化

传统神经程序解释器NPI(Neural Programmer-interpreters)存在运算性能较低的问题,为了提升人工智能自动编码中训练速度,平均损失等性能,在传统神经程序解释器基础上,对其进行重构,通过采用GRU(Gated recurrent unit)为核心计算模块,引入基于枚举的程序空间搜索技术,并使用AMSGrad收敛算法改进神经程序解释器.使得重构后的神经程序解释器在训练速度上相较重构前提升了33%,在平均损失率方面下降了28%.重构后神经程序解释器运算性能方面有较大提升.     

基于AST的克隆序列与克隆类识别

为了减少代码冗余,改善程序结构,提出一种新的基于抽象语法的代码克隆识别方法,归纳出常见的代码克隆形式并给出相应的重构技术.用二叉树表示源程序的抽象语法(BAST),逐条判断各语句BAST子树的同构性,识别出相似的语句序列作为克隆序列;根据子树同构识别一元克隆类,然后通过克隆类的连接操作,逐步识别二元及任意元数的克隆类.实验分析了多个开源软件,识别出了其中的克隆序列以及克隆类,从中归纳出4种常见的代码克隆,其基本特征分别为:相同的程序点访问同类对象的不同属性、部分变量名不同、针对不同的数据类型实施相同的操作、修改克隆区域外定义的变量,并对这4种代码有效地实施了重构.     

基于本体的源代码重构知识库

源代码重构技术来源于软件开发中的经验总结,提出了一种更系统化的基于本体技术的源代码重构方法.通过使用本体来组织已有的基于经验的源代码重构知识,并使用网络本体描述语言(OWL)进行描述,进而建立源代码重构知识库.这就使得重构知识以一种更系统化的方式被保存下来,不仅是形式的,而且是可复用的,易于在开发人员之间共享源代码重构知识.该方法为源代码重构技术的相关研究提供了一种新思路,同时可以为源代码重构工具的开发提供支持.     

开放式群体决策研讨两种研讨模式有效性的实验研究

开放式群体决策研讨平台是“从定性到定量综合集成研讨厅体系”思想的重要体现,有同步和异步两种研讨模式．重点描述了在研讨个体特征相近、群体特征相似、研讨任务相同的条件下,两种研讨模式在影响决策绩效、研讨成员感觉两个方面的有效性实验比较研究,并建立了模糊综合评价模型．结果表明,在实验假定前提下,目前平台的同步研讨模式要比异步研讨模式更有效,两种研讨模式对不同环境变量的影响程度不同,可以通过调整环境变量来提高平台有效性,对于复杂问题,两种研讨模式配合、多次同步异步反复研讨,可以提高整体决策绩效。     

细粒度同异步偏序权限建模角色访问控制模型

角色访问控制的应用提高了系统易用性和健壮性.分析了RBAC模型,指出其在细粒度和表达能力等方面的一些缺陷,结合UML对其重构,提出支持偏序权限建模的细粒度面向对象RBAC模型,基于该模型结合部分GoF模式设计了通用应用框架.与其它应用框架相比有着良好的通用性,支持权限关系的同异步及偏序关系表达,并在细粒度动态访问控制上具有更好的灵活性和效率.     

车用皮带驱动集成电机系统方案与控制策略

对车用起动机与发电机集成一体化技术进行了分析,对皮带驱动ISG电机的各种布置方案进行了比较分析,确定了BSG电机系统布置于发动机前端方案(P-BSG)为最佳方案.由于P-BSG电机方案结构简单、平顺性好、快速热起动性能好等特点,适用于频繁起停的城市工况运行车辆系统,适合当前节能汽车产业化的实现.对BSG车辆动力传动系统进行了分析,描述了安装手动变速器的车辆和安装自动变速器的车辆动力传动系统的工作原理以及BSG车辆四种基本工作模式.     

基于过程蓝图的参数化重复代码检测技术研究

通过引入过程蓝图改进参数化重复代码的检测方法,降低原检测方法的空间复杂度,并避免将程序源码变换为后缀树这一复杂过程,为自动重构定位提供更有效的技术.     

基于测试代码变化的重构意图推测方法

已有的重构工具主要在传统开发模式下,针对源代码的变化来推测重构.对于目前流行的测试驱动开发方法,缺乏有效的工具指导实施测试驱动重构.为此,本文提出了一种基于测试代码变化的重构意图推测方法,在测试驱动开发过程中,通过实时监控捕获测试代码的变化,并依据启发式规则推测可能的重构操作.该方法在两个实际的测试驱动开发项目上进行了验证.结果表明该方法比现有方法更为高效准确,其准确率提高约15%,查全率提高了33.3%~42.8%.      

切片技术在代码味道识别中的研究

程序切片技术作为一种良好的代码分析技术,可以用来改善软件质量.基于程序切片技术这一特点,本文提出了一种切片度量代码味道的方法,用其识别代码味道,促进全自动化重构技术发展.     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。