基于SOA和SSH的网络设备管理系统设计与研究

研究面向SOA技术在网络设备管理系统中的应用,并给出一个基于SSH的J2EE开发框架,探讨此框架的设计策略及其兼容性能,实现业务代码的分离以及程序逻辑组件间的解耦,提高了系统的可维护性、可移植性和可重用性.通过此框架设计开发了网络设备管理系统,系统具有权限控制、弱电间设备管理、IP管理、VLAN管理、网络接口用户管理等功能.实际应用表明,系统运行良好,大大提高了高校中网络设备的管理效率,并为类似应用系统的构建与开发提供了可以参考的解决方案.     

可执行代码级优化器生成框架

编译基础设施生成的编译器对与目标机特征相关的优化支持不足 ,同时嵌入式应用系统的发展要求高质量的目标代码 ,为此 ,提出一种可执行代码级优化器生成框架EOGF (executable optimizer generation framework) ,以及该框架的关键支撑技术。与现有的编译器生成工具相结合 ,如 GCC(GNU com piler collection) ,可以实现高质量编译器的快速开发 ,并可以方便地充分利用目标机特点进行相关优化 ,提高目标代码质量。实验结果证明 ,EOGF是一个简便、灵活且有效的可执行代码级优化器生成工具     

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

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

浅析面向对象框架复用技术

软件复用是在软件开发中避免重复劳动的解决方案，其出发点是开发应用系统不再采用一切“从零开始”的模式，而是以已有的工作为基础，充分利用过去应用系统开发中积累的资源，如设计、代码、测试用例、度量、过程．开发知识和经验等，从而将开发的重点集中在完成系统的业务逻辑设计上面。在现代软件工程中，像代码复用这样低层次的复用已经不适合于特定领域大型软件生产的需求，工业化的软件复用已经从通用类库进化到了面向领域的应用框架。框架由于提供了大力度的重用而被认为是一种最有前途的面向对象技术。     

8086指令代码表

本文介绍8086指令机器码的编码规律,并根据此规律将代码列表,利用此表可简便、迅速地得到指令的机器代码,为开发、研制8086系列单板机软件提供了方便的工具。     

基于FindBugs的函数返回值缺陷检测模式的改进

为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函数返回值缺陷模式具有的不足进行相应地改进,并将改进后的检测工具对被测代码进行检验。通过检验发现,改进前的检测工具无法对自定义的函数返回值进行检测,改进后能够检测到忽略自定义函数返回值问题,且提供一些错误提示信息。改进后的代码分析工具能够有效地检测到此类函数返回值问题,避免了潜在bug的发生,一定程度上提高了代码的质量。     

UML在软件系统开发中的应用

针对UML在建模方面的优势,结合一个具体的实例,从系统的功能分析、系统设计到系统实施,介绍了应用UML建模的方法,重点描述了基于UML软件系统开发的建模过程,并通过软件设计平台Power Designer 15,构建了系统的需求模型、静态模型和动态模型,从而可以自动生成特定语言的代码框架,使程序的开发效率和成功率得到提高。     

支持加壳应用的Android非侵入式重打包方法研究

通过分析Android的应用特点, 提出一种新的Android重打包方法。该方法可以在不反编译、不修改原有应用代码的基础上, 实现对Android应用的重打包, 并支持主流加壳工具。该方法利用多种新的代码注入技术, 引入额外代码; 加载Hook框架, 提供代码修改能力; 最后动态修改应用行为, 实现应用重打包。实现了原型框架, 并通过实验, 验证了该框架在多个Android系统版本及多个加壳服务上的有效性。既证明了现有加壳技术的缺陷, 又可以用于对Android应用的动态调试、防御功能部署以及应用修改等。     

CloneIRD:面向代码溯源的克隆代码继承关系判定方法

随着开源软件的广泛使用，代码溯源成为管理软件源代码、降低潜在风险的重要技术手段。基于代码克隆检测的大规模代码溯源分析，从其检测结果中鉴别代码克隆对之间的继承关系，对代码来源追踪、组件依赖关系分析、软件脆弱性分析以及代码缺陷修复等具有重要意义。目前，已有方法在原始代码片段存在微小修改的情况下，会产生许多误判，并且检测克隆对的效率也有待提高。针对上述问题，提出了代码溯源中克隆代码继承关系的判定方法CloneIRD,包括一个基于自研快速分布式克隆检测工具FastDCF的代码溯源分析框架，以及该框架的核心算法——基于代码演化信息的克隆代码继承关系判定算法EIHR。为验证框架和算法的有效性，首先设计并实现了CloneIRD方法，并在Linux内核V4.9和V4.12的开源代码上进行了实验。实验结果表明，CloneIRD方法能够有效判定代码溯源结果中克隆对的继承关系，且基于FastDCF的溯源分析框架能够胜任大规模代码的溯源分析任务。     

面向Agent的软件度量模型研究

由于Agent及其技术迅猛发展,迫切需要面向Agent度量方法和工具来辅助面向Agent软件的开发。文章提出了一组面向Agent的度量指标:Agent总数、依赖度、被依赖度、交互数、总交互数、社会理性、知识量、学习能力、反应时间和智商。在此基础上开发了一个度量工具原型:度量AgentMA。     

用Magellan测试代码覆盖率

代码覆盖率测试是测试中的一个重要部分。对提高测试效率和质量具有十分积极的意义。测试代码覆盖率的工具有很多,论述了如何用Magellan测试代码覆盖率。     

一种基于链路质量的无线传感器网络代码分发协议

无线重编程技术是无线传感器网络进行软件部署的关键技术,代码分发协议是无线重编程技术的核心,提出一种基于链路质量的无线传感器网络代码分发协议。协议使用节点间的链路质量进行节点影响度的计算,提高了代码分发协议在网路质量不佳时的性能。同时协议使用周期性广播的ADV信息对邻居节点的状态进行维护,降低了控制消息的开销。TOSSIM仿真实验结果表明,在网络分发时间和消息传送量两个方面,协议都优于TinyOS系统的标准代码分发协议Deluge,尤其在网络质量不佳情况下,协议有更好的性能。     

一种面向审查的过程内数据流异常自动检测方法

审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率.     

关于短延时码本激励线性预测编码方案的改进

在短延时码本激励线性预测语音编码方案中，直接用Ｇ．７２８所提供的现成码本时对加噪声后的语音信号进行编解码时，效果不好，作者利用ＬＢＧ算法训练了自己的码本，并利用此码本对加噪声后的语音信号进行编解码，取得了良好的效果，使主观感觉质量变好，信噪比提高了约３ｄＢ。     

基于关系数据模型代码生成器的设计与实现

在以多层架构实现的数据库应用系统中,大量程序代码与其关系数据模型直接相关,采用一种以关系数据模型为输入的自动代码生成工具,可以大幅度地降低编程工作量,提高软件质量.现有基于模板的代码生成工具具有良好的设计框架,但其脚本语言由于与关系数据模型关联不紧密,导致代码模板编写和维护比较困难,难以快速应用.文中设计一种与关系数据模型紧密结合的迭代式代码脚本语言RDM CodeMark,保留基于模板的代码生成技术通用性的同时,简化代码模板编写难度.结果表明:基于RDM CodeMark语言的代码生成工具在针对J2EE平台和.Net平台的软件项目开发实践中能取得较为理想的效果.     

基于TS201处理器的信号处理软件框架以及自动代码生成器

针对在ADI公司的TS201处理器上编程耗时长,难度大的问题,提出了一种分布式的信号处理软件框架。基于该框架实现了一款自动代码生成器,以提高软件开发效率。为验证该框架和代码生成器的有效性,实现了一个常规雷达信号处理流程,并在实际雷达系统上进行了测试,得到了良好的效果。     

Code Component Reuse Supporting Environment (CCRSE) and its design strategy

Code Component Reuse Supporting Environment (CCRSE), which has been developed by us, is an integrated development environment. CCRSE can provide comprehensive supports for the whole process of reusing code component in the manner of dynamic composition. The architecture and functionality of CCRSE are introduced in this paper.The key achievement of this paper is giving the three strategies that are vital to successfully design CCRSE. The three strategies include: (1) according to the three pivotal technologies ( encapsulation, composition and management) for supporting composition reuse of code component, design three tools respectively. (2) keep tool for supporting code component development independent of tool for supporting code component composition. (3) strictly restrict code component specification, provide the strong "plug and play" support for code component composition reuse, and furthest provide transparence to strictly restricted specification of code component in development of component itse     

C 代码优化技巧

代码优化是程序设计中的重要环节,在算法一定的前提下,优化的代码要比没有经过优化的代码执行效率更高,特别是在对大量数据操作的时候。本文就如何编写高质量的c 代码进行简单的介绍。     

自动Java代码缺陷检测技术

代码审查是一种高效的程序缺陷检测方法,因为它能够在软件开发的过程中找出程序的错误,这很大程度上降低了改正错误的成本.但是传统的代码审查是一种劳动力密集型的方法,为了提高代码审查的效率,一系列的自动化代码缺陷检测技术和工具已经被提出并得到了广泛的应用.本文介绍了支持代码审查的自动化代码缺陷检测技术的相关内容.结合Java语言的特点对自动代码缺陷检测体系结构和工作的原理做了论述,并引入了缺陷模式树来提高检测的速度;最后通过具体的实验来分析了自动化代码缺陷检测的有效性和高效性.     

深圳湾水环境特性及其突发污染负荷响应研究

为深入研究深圳湾的水环境特性,提高污染事故的应急决策能力,基于EFDC模型建立了深圳湾水质模型;计算值和实测值具有较好的一致性,证明了该模型的有效性和可靠性;利用该模型模拟了深圳湾在潮周期内水环境指标的时空分布规律,结果显示水环境指标浓度和潮汐特性具有较强的相关性;提出了复杂流动情况下利用示踪剂长期变化趋势估算水力停留时间的方法,得到深圳湾整体水力停留时间为12.61d;讨论了特定情况下突发污染负荷的水环境响应特点,对3种不同应急处理措施的实施效果进行预测和评估,为深圳湾水环境保护提供了必要的依据.