基于键的XML模式到关系模式的规范化转换

本文针对XML模式向关系模式转换过程中形成的冗余和不规范,提出一种基于XML键的XML模式到关系模式的规范化转换算法。该算法以键为基础,根据XML函数依赖的一组推理规则,扩充函数依赖的集合,避免XML模式向关系模式转换过程中语义丢失的情况;再利用一组消解规则,消除冗余的函数依赖,使其满足极小函数依赖集;最后以键为中心划分关系属性,得到关系表,并且保证得到的关系模式满足3NF。     

一种需求变更影响的评估算法

通过对需求依赖关系的分析与归纳,给出了需求依赖关系的依赖形式;采用回溯法来搜索和界定需求变更的影响范围,给出了变更影响的量化方法;从需求依赖关系的视角,设计了一个可以量化评估需求变更影响的算法。通过一个“样例学习”的例子,展现了该评估算法的稳定性。     

基于数据依赖的过程合理性分析

软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响.首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法.     

构造基于构件依赖关系矩阵的元数据模型

构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系.本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述.对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件RegisterStuGrade 中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性.     

报表系统中公式依赖关系分析及计算性能优化

为提升Web报表系统中公式计算的效率,建立了公式计算性能优化的模型.提出了一种公式间依赖关系分析的方法,自适应构建公式间的依赖关系图;在构建的依赖关系图的基础上,进一步提出了高效的层次化拓扑排序算法,极大的提高了报表中公式计算效率,减小报表系统每张报表的表内公式计算的总执行时间.理论分析和实验结果表明,该模型具有较强的可行性和算法高效性.     

依赖关系模型的建立及应用

依赖关系是项目系统中广泛存在的一种关系，通过建立依赖关系模型，可以提高系统效率。利用线性代数知识以及多线程等软件知识，建立依赖关系模型。并通过细化系统任务，降低事件之间的依赖性，增加任务量，提高资源利用率等方法，可以提高系统效率。依赖关系模型特别是在仪器开发领域具有广阔的应用前景。     

一种基于依存文法的需求文本策略依赖关系抽取方法

从基于自然语言的需求文本中抽取概念模型已有很多相关研究,然而,抽取模型中的关系信息因其复杂性而较少被研究者系统地分析和处理.文中提出了一个通用的关系信息抽取方法,给出抽取规则,从需求文本中确定和抽取关系信息.基于该方法设计并实现了一个系统CREAT3,从中文需求文本自动生成i*框架中的SD(StrategyDependency,策略依赖)模型,侧重抽取策略依赖关系信息.将得到的模型和专家抽取结果进行对比,结果显示该系统可以获得相当高的准确率,同时也保证了很高的召回率,证明了方法的可用性.并且较相关工作具有更好的可扩展性.     

适用于分布式静态检测的Java代码依赖性分析技术

为满足Java静态分布式检测系统对Java程序源代码解耦分包的需求,解决代码检测单节点单进程运行耗时过长问题,实现分布式检测系统单任务多节点并行运行的目的,本文提出了Java源代码文件间依赖性分析方法.该方法以生成源代码文件抽象语法树的方式抽取文件文本信息,遍历分析抽象语法树,获取文件与其他源代码文件类依赖关系,再通过定位类所在的文件方式得到文件与文件之间依赖关系.同时,以无入边顶点的带环有向图表示文件间依赖关系图,本文提出的方法基于该图进行了文件间解耦的分析.最后,通过对示例程序逐步剖析的实验以及对数个开源工具源代码解耦拆分的实验,验证了本文提出的文件间依赖性分析方法的可行性.     

面向对象软件的依赖性分析与回归测试

针对面向对象软件中类之间复杂的依赖性问题,通过分析UML类图中类之间的各种静态关系,提出一个基于UML类图的依赖性分析模型。为了实现自动化分析,引入了类依赖关系图的概念,并提出一个基于UML类图导出的XMI文件的类依赖关系图生成算法。根据这个模型,通过分析一个类或依赖关系的改变对其他类产生的影响,提出测试路径查找算法,并利用此算法得到需要进行回归测试的类集与测试序列。     

一种面向对象类间关系测试方法

面向对象软件的一个突出特点就是存在于类间的复杂依赖关系:继承、聚合和关联。提出了一种测试类间关系的方法,自动从UML图或源代码中导出类间的三种关系,并给出了相应的类间关系图和各个类的测试次序的类簇测试算法。该算法导出的类间关系可用于类间的静态和动态依赖关系测试。     

软件DSM系统的重放

软件DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素，重放方法使得用户能用循环调试技术来调试具有执行不确定性的软件DSM程序，本文定义了软件DSM程序执行的happen-before-1关系，并依据其提出一种在软件DMS系统JIAJIA上实现重放的方法，实际应用测试表明，该方法产生很小的空间和时间开销。     

一种软构件依赖关系的拓扑布局算法

本文提出了一种圆环型的有向图拓扑布局算法,能够清晰地展示软构件之间的相互依赖关系,有助于设计人员更好地理解和分析多构件系统中构件间依赖关系的整体态势,进而优化系统结构,提高系统性能,实现高效的软构件组装。     

基于自主安全的后勤保障指控系统设计与应用

目前,国产化自主安全已在军事指控系统领域逐步推进。设计与实现了一套全国产化自主安全的后勤保障指控系统,包括全国产化硬件平台的设计与适配,以及基于国产化软硬件平台的指控软件系统的设计与实现。在全国产化硬件平台的设计中,分析了国产化计算、存储和通信设备的发展现状,以及在本系统中的选型设计;在指控软件系统的设计中,首先对基础平台软件进行了分析,其次针对本系统在数据接入层和展现层分别采用C/S软件架构和B/S软件架构进行设计与实现,验证了Qt开发框架和B/S软件架构在国产化软硬件平台的适应性。本系统的设计与实现会对国产化关键软硬件在军事信息中的规模化应用和系统化建设起到借鉴作用。     

复杂任务的Agent联盟算法

目前大部分Agent联盟问题的研究在考虑任务分配时,通常认为任务之间是孤立的,任务与任务之间不存在任何联系。本文认为在Agent联盟问题中各个子任务之间具有复杂的逻辑依赖关系,这种逻辑依赖关系不仅使得子任务在完成次序上有先后之分,而且也使相邻任务之间在协作过程中产生了转移成本。基于这种背景,本文给出了一种基于图论思想的算法来解决在该环境中的Agent联盟问题,讨论了在规范化的逻辑依赖关系下如何将最优联盟成本转化为求解图的最短路径问题,并且分析了算法的时间复杂度,最后的实验结果表明,算法具有良好的运行性能。     

从SCHEMA到关系的映射

文章对SCHEMA描述的XML文档的数据模型进行了集合分析,并在其描述的集合上定义了关联依赖关系、值依赖关系和两种取值关系,根据这些关系及SCHEMA规范所规定的约束,建立了一组从SCHEMA到关系型数据库的映射规则,并且证明由此规则得到的映射是完备的,而且映射后的关系符合第三范式。文章最后提出了可进一步研究的问题和方向。     

基于上下文依赖规则覆盖的句子生成

基于规则覆盖的句子生成,是上下文无关文法句子生成的主要方法,但是它也具有局限性。最近提出的上下文依赖规则覆盖,能根据文法的内部结构不同而具有不同的分支集合,比规则覆盖的精度更高。目前,尚未见这种上下文依赖规则覆盖的句子生成算法。该文在规则覆盖的句子生成算法的基础上,实现一个基于上下文依赖规则覆盖的句子生成算法。该算法已在机器上实现并经过实验检验。     

煤矿安全监控系统联网软件的架构设计研究

软件架构是降低成本,改进质量,按时交付产品和按需交付产品的关键因素。通过对软件分层架构技术的介绍及分析,结合煤矿安全监控系统联网软件的实际需求,选择了适合该系统的三层架构方案,并详细介绍了表示层、业务逻辑层、数据访问层在系统中的设计和实现过程。     

面向对象系统的类之间依赖关系度量研究

类之间的依赖关系，对于面向对象系统分析、设计和测试都有重要的意义。本文首先对类之间的依赖关系进行了定义和说明，并细分其为数据依赖和方法依赖，在此基础上。提出依赖度和被依赖度两种度量方法，并进行了严格的语义分析和说明。     

基于模式匹配的软件架构恢复的研究

行业软件的开发常常是一个不断进化的过程。架构恢复对干软件维护和软件进化至关重要。本文介绍了软件架构恢复策略的框架、步骤和相关研究;描述了基于模式匹配进行软件架构恢复的方法,着重介绍了该架构恢复所基于的恢复环境、执行过程和模武匹配算法的具体实现。最后,给出了对Clips系统进行实验所得到的恢复结果的评估。     

PDGcross:基于跨文件图表征的源代码漏洞检测

随着软件安全性需求不断增长,大量的研究工作将深度学习应用于漏洞检测领域,目前存在多种源代码漏洞检测方法。现阶段在检测单个文件中由于函数调用导致的漏洞方面有较好的效果,但由于复杂函数调用关系可能涉及到多个文件,针对多文件的漏洞检测是当前的检测难点之一。因此,该文在源代码程序依赖图的基础上提出了一个新的图表征PDGcross,从一个文件入口合并其他被调用的文件,生成一个图表征即PDGcross。再运用Node2Vec图嵌入算法将PDGcross进一步处理为特征矩阵,利用长短时记忆神经网络训练出漏洞分类模型,实现了一种基于跨文件程序依赖图表征和深度学习的源代码检测方法。在实验中,针对跨文件间的函数调用产生的漏洞,Fortify和PDG表征的检测效率很低,而提出的基于PDGcross表征的检测方法则明显优于该两类方法。