基于抽象语法树分析的版本控制分支合并算法

在软件开发中,并行开发已经成为了现实中标准的开发模式,因此软件开发的版本控制在开发过程中得到了非常广泛的应用.虽然大多数的版本控制工具都能完成分支合并以及将不同版本的更改合并起来,但这些工具往往是以一行一行的代码为单位进行文本比较的合并,在遇到某行被同时修改时,则不能给出满意的合并结果.给出了一种新的合并算法,用来解决文本比较分支合并中的问题,它在传统工具的文本比较出现冲突的代码行,对该代码块建立抽象语法树,根据抽象语法树的分析比较,完成不同分支版本代码的自动合并,减少分支合并中的代码冲突及手动合并的工作量,提高开发效率.     

二进制代码覆盖率评估系统的设计与实现

在程序动态测试中,需要评价二进制代码动态测试效果.提出了一种二进制代码覆盖率评估方法,设计并实现了基于分支轨迹存储技术的二进制代码覆盖率评估系统.通过分支监视引擎记录动态测试中的代码分支轨迹,利用分支轨迹数据修正静态分析结果,综合静态分析结果和分支轨迹记录评估二进制代码覆盖率,并实现轨迹数据的可视化.实验结果表明,该系统能够有效提高覆盖率评估精度和效率.     

基于分支函数的混淆技术研究

静态反汇编是对程序进行逆向工程的第一步,它将程序的可执行机器码以汇编指令代码的形式表示,给盗用软件知识产权和发掘软件漏洞提供了可能。为了混淆静态反汇编过程,增加对程序进行反汇编的难度,本文深入研究基于分支函数的静态反汇编混淆技术,针对其隐蔽性较差和代码执行效率低下的缺点,提出一种改进的分支函数静态反汇编混淆技术。改进后的混淆技术不仅能够有效地隐藏程序中的跳转指令,提高了代码的执行效率,同时增加了软件逆向工程分析的难度。     

行为优化提升软件配置管理

软件配置管理包括对代码、文档、数据等的管理,其优劣受限于项目成员的实际操作。开发人员对于工作区如何使用;成员之间的代码是不是可以及时更新与同步;怎样使用分支,如何进行变更合并,才能减少物理空间浪费和事件延迟。这些问题在实际的项目开发中往往被忽视,亦或团队并没有对成员行为作细节的规范,因而许多软件项目出现了工期推迟或代码质量不高等问题。为此提出了一系列管理措施,通过优化软件配置管理规范项目各成员的行为,以保证高效的软件配置管理的实施。     

CVS分支开发方式的研究及应用

从CVS原理引出分支开发的理论，并在深入研究谊理论的基础上，给出分支开发的一个普遍实用方案。利用该方案可有效地对分支进行管理，并能绘出项目的开发过程图。     

一种基于程序功能标签切片的制导符号执行分析方法

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.     

软件配置管理中的分支管理与协作机制研究

本文探讨了以并行软件开发为背景的软件配置管理对分支管理和分支间协作的基本要求,分析了在典型配置管理模型下进行分支管理和分支间协作存在的主要问题,并针对这些问题提出了一个灵活的、基于信息路由的协作机制。     

CVS在小城镇电子政务系统中的应用

介绍了软件配置管理工具CVS的运行机制及其功能特点,以及小城镇电子政务系统的体系结构和运行模式.针对在小城镇电子政务系统开发中产生的问题,CVS规范了软件开发流程,降低了管理难度,提高了开发效率,使整个开发过程在受控制、高效率的情况下进行,提高系统的可靠性、代码及文档的全面性与可追踪性.     

IA-32反编译中的多分支语句恢复技术

对IA-32反编译后多分支结构的各种实现模式进行了系统的研究分析,并对复杂条件下典型的多分支结构实现模式进行了形式化的描述.在多分支结构的识别过程中,通过对索引表和跳转表调用指令的格式分析,提出了双特征指令匹配算法.通过程序切片建立了索引表和跳转表调用的表达式标准型,消除了多分支语句恢复过程中编译器类型和版本差异带来的影响,提高了算法通用性,对于进行程序反解及软件逆向工程具有重要的参考价值.     

Javigator:Java代码导读及分析管理工具的设计

为克服阅读理解源代码的困难,根据现有的软件开发辅助工具的特点,对源代码导读和管理工具进行了深入的分析和研究.针对业界大量使用的Java语言,设计并实现了一个旨在以Java源代码导读为主、并具代码抽取等分析管理功能的交互式软件开发辅助工具Javigator.作为Eclipse的插件,能帮助开发人员快速地阅读理解Java源程序,并支撑对关注代码的快速测试及代码重用.Javigator使用灵活方便,可明显降低开发中理解及管理源代码的难度,提高开发的效率.     

The importance of branching models in SCM

To improve software quality, you must first understand your software. If you do not understand your code base, your odds of updating it without breaking something are poor. Often, a fundamental misunderstanding of software configuration management (SCM) as it applies to real-world application development is at fault. Branching is integral to version management, software build correctness, and release management. Good decisions about when and why to branch can make it much easier for developers and release engineers to coordinate software product changes. The right branching strategy makes it easier to deliver the right code, re-create past releases, and-if necessary roll back to a previous release. The authors consider how adopting the right SCM branching model facilitates rapid development, increases overall product quality and process efficiency, reduces the incidence of software failures, and improves organizational performance.     

Jboss Seam和JBPM在软件项目管理系统中的应用研究

通过研究J2EE新应用框架——JbossSeam,发现Jboss Seam和JBPM工作流技术深度整合,初步实现了二者在实际软件项目中的应用。首先介绍了什么是JBPM,概述了什么是Jboss Seam。通过比较研究传统软件项目管理系统的不足．浅谈并分析了JbossSeam和JBPM在软件项目管理系统中的应用优势。目的在于将JBPM的优势应用到软件开发的办公自动化管理当中,结合项目管理的特点,研究发现利用JBPM工作流引擎开发出的项目管理系统,利于团队合作和分工;在系统的开发过程中利用JBPM技术,能够降低程序开发的复杂度、简化代码的编写,提高开发效率。     

版本管理与代码走查系统设计与实现

为优化软件项目管理,解决软件版本管理混乱、人工代码走查过程负责和结果难于控制的问题,研究了软件版本管理工具和代码走查工具,介绍了版本管理工具和代码走查工具在软件项目管理中应用。根据实践中软件项目管理的需求,提供了一种版本管理工具Subversion与代码走查工具Reviewboard相结合的系统的实现方法,介绍了版本管理工具和代码走查工具的安装部署,给出了一种基于该系统的软件开发应用流程。     

基于SSH2与Apache Shiro整合的代码生成器的研究

代码生成技术的出现,为满足软件系统中重复性代码的自动生成、保障软件系统的健壮性和可维护性等需要提供了解决方案。目前业界针对Java EE企业应用的代码生成器在系统功能整合方面还存在不足,依赖于程序员基于生成的原型代码进行后续开发。本文提出了一个基于SSH2与权限管理框架Apache Shiro整合的代码生成器方案,有效解决了复杂业务中的多表关联以及权限管理问题,并探讨了实现过程中几个关键技术问题。     

Struts框架技术在管理系统中的应用改进

以开发＂人力资源管理系统＂为契机,对框架及组件技术在分布式软件开发过程中的应用作了有益的探索,以Struts框架为构建整个软件系统的核心框架,采用基于MVC设计模式的Struts框架,使得页面和代码实现了分离,既保证了系统的稳定,也大大节约了开发时间,提高了开发的效率。     

基于构件的指控软件复用

当前军用指控软件开发效率仍然较低,软件设计和代码开发重复性开发仍然普遍,由此导致软件系统的可靠性得不到保证,开发周期也较长。软件复用是指控软件开发中避免重复开发的重要解决方案,通过软件复用明显可以提高软件开发的效率和可靠性,改善军用软件的维护性和保障性。结合军工科研院所软件开发中流行的构件技术,介绍了软件复用的基本概念和关键技术,就基于构件的指控软件复用技术在指挥与控制软件系统做出应用研究,这些对指控软件复用的工程普及做出了实践贡献。     

基于低代码平台的水利工程建设管理系统设计与实现

低代码平台开发理念在软件开发领域日趋流行,在面向业务的软件开发方面更为常见。通过梳理水利工程建设管理系统的业务和功能,分析低代码平台开发水利工程建设管理系统应具备的特点,并选取JEPaaS低代码平台进行研发。对水利工程建设管理系统的研发实践表明：低代码平台能有效降低开发门槛,实现快速高效的业务搭建,增加系统设计和实施人员参与系统开发的可行性,降低开发成本,为水利工程建设管理系统开发的技术选择提供思路。     

基于分支标记的数据流模型的代码生成方法

模型驱动开发以其低错误率,易仿真,易验证的特点在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型,然而各种工具对于数据流模型的代码生成能力却参差不齐,特别是对于数据分支组件的支持,当前主流的建模工具都采用各种方式来回避复杂的分支建模及对应的代码生成.但是,分支建模是非常重要的,使用分支组件可以更清晰地表现出数据流的数据传递逻辑.为了解决复杂分支建模带来的代码生成难题,本文针对具有复杂分支组合的数据流模型提出了一种基于分支调度标记的代码生成方法.在本文提出的算法中,首先通过拓扑排序确定模型的调度顺序,再根据不同分支的影响对组件进行分支标记,之后根据组件的分支标记构造一个基于控制流的代码生成位置表,最后即可根据代码生成位置表进行各种主流语言的代码生成.本文通过构造四个具有复杂分支的数据流模型实例进行代码生成,并在生成代码行数和运行时间等方面与Simulink和Ptolemy进行对比,进一步说明了我们的代码生成方法在复杂分支组合情况下的通用性以及本文工作的价值和意义.     

一种星载软件配置流程管理工具的设计

星载软件配置管理是星载软件工程化的一项重要内容,目前国内的软件配置管理基本上是采用国外的通用配置管理工具,由于工具没有和具体的流程相结合,因此对软件的出入库流程只能采用手工管理的方式;为了解决手工方式配置管理手续繁琐、效率低下及容易导致文实不符等问题,这里介绍了一种自主开发的星载软件配置流程管理工具的设计方案,它基于B/S结构,实现了配置管理流程审批过程的电子化和网络化,还通过和通用配置管理工具ClearCase接口,实现了软件源程序和目标代码的出、入库随流程审批过程自动完成;该工具大大提高了星载软件配置管理的质量和效率。