基于LDA的软件代码主题摘要自动生成方法

理解软件代码的功能是软件复用的一个重要环节。基于主题建模技术的代码理解方法能够挖掘软件代码中潜在的主题,这些主题在一定程度上代表了软件代码所实现的功能。但是使用主题建模技术所挖掘出的代码主题有着语义模糊、难以理解的弊端。潜在狄利克雷分配(Latent Dirichlet Allocation,LDA)技术是一种比较常用的主题建模技术, 其在软件代码主题挖掘领域已取得了较好的结果,但同样存在上述问题。为此,需要为主题生成解释性文本描述。基于LDA的软件代码主题摘要自动生成方法除了利用主题建模技术对源代码生成主题之外,还利用文档、问答信息等包含软件系统功能描述的各类软件资源挖掘出代码主题的描述文本并提取摘要,从而能够更好地帮助开发人员理解软件的功能。     

车身网络控制系统开发的模块化设计方法

针对汽车车身网络控制系统开发中网络拓扑结构、功能定义不统一导致应用层开发重复性工作大、开发效率低的现状,提出了一种通过构建符合AUTOSAR标准的车身应用层软件的模型,使功能定义及描述、软件代码自动生成,功能自动测试转化为基于模型设计的方法。此方法具体是将车身网络控制系统抽象为一个事件驱动系统,采用Stateflow图形化建模工具对系统进行建模,利用Targetlink代码生成工具基于模型实现代码自动生成,采用Lab-VIEW RT实时测试系统架构自测试系统。论述了以模型方式进行控制系统开发的方法,并结合应用实例给出该方法的设计过程和应用结果,在提高系统的可交换性、可复用性和减少系统开发时间方面取得了明显的成效。     

深度程序理解视角下代码搜索研究综述

代码搜索任务旨在通过分析用户需求,结合用户意图来找到满足其需求的软件构件。在加强软件复用性的同时,提高软件开发维护效率,降低成本。与传统的文档检索不同,程序特性往往隐含在标识符和代码结构中,理解程序功能是实现高效代码搜索的关键。从深度程序理解视角切入对代码搜索任务进行定义,并总结梳理近期代码搜索研究进展。针对当前代码搜索研究评估方法和数据集进行了整理。针对研究中存在的问题,对未来代码搜索研究进行展望,为后来研究者提供参考。     

结合可达性分析的代码片段推荐

为满足日益复杂的软件需求,开发人员需要通过代码提示工具来辅助完成开发任务,但现有代码提示工具在推荐包含静态方法的代码片段时存在空间爆炸问题。为此,提出一种基于程序环境信息的代码片段推荐方法。结合可达性分析进行推荐能够有效削减静态方法入口点,在避免空间爆炸的同时,还可以准确、有效地描述程序环境信息。基于该方法实现在Eclipse中的代码推荐插件,并对Tomcat源码进行实验验证。实验结果表明,该方法可实现静态方法的代码片段推荐,与Eclipse Code Recommenders插件中的推荐方法相比,能获得更准确的推荐结果。     

基于运行特征监控的代码复用攻击防御

针对代码复用的攻击与防御已成为网络安全领域研究的热点,但当前的防御方法普遍存在防御类型单一、易被绕过等问题.为此,提出一种基于运行特征监控的代码复用攻击防御方法RCMon.该方法在分析代码复用攻击实现原理的基础上定义了描述程序正常运行过程的运行特征模型RCMod,并提出了验证程序当前运行状态是否满足RCMod约束规则的安全验证自动机模型.实现中,通过直接向目标程序中植入监控代码,使程序运行到监控节点时自动陷入,并由Hypervisor实现运行特征库的构建和安全验证.实验结果表明,RCMon能够有效地防御已知的绝大部分代码复用攻击,平均性能开销约为22%.     

代码重构工具在面向对象教学的应用探索

针对面向对象程序教学,提出在实验教学中通过设计案例,应用代码重构工具对程序进行重构和改进,提高学生对代码复用以及软件重构等的认识,有助于面向对象思想的掌握,也有利于学生编程能力的提高。     

融合代码与文档的软件功能特征挖掘方法

在软件复用过程中,简洁清楚的软件功能自然语言描述是帮助复用者快速了解待复用软件项目/代码库的前提和基础.但当前开源软件往往缺乏高质量的软件功能说明文档,使得这一过程变得更加复杂和困难.为此,本文提出了一种融合代码与文档的软件功能特征挖掘方法.该方法以动宾短语的形式描述软件功能特征,通过迭代挖掘软件源代码和以Stack Overflow讨论帖为代表的软件文档,自动提取开源软件的功能特征描述,并构造了层次化的软件功能特征视图.在针对多个开源软件项目的实验中,本文方法可覆盖官方文档中列举的95.38%的软件功能.挖掘结果中语句和功能特征的准确率分别达到了93.78%和92.57%.对比现有工作TaskNav和APITasks,本文方法在平均准确率上分别提升了28.78%和11.56%.     

基于分层表示和上下文增强的类摘要生成技术

代码摘要是源代码的自然语言解释,高质量的代码摘要有助于提高开发人员程序理解效率.近年来,代码自动摘要的研究集中在为方法粒度的代码片段生成摘要.然而,对于面向对象的语言,例如Java,类才是项目的基本组成单元.基于上述问题,提出一种基于分层表示和上下文增强的类摘要生成方法HRCE(hierarchical representation and context enhancement）,并构建了一个包含358 992个?Java类,上下文,摘要?数据对的类摘要数据集.HRCE使用代码精简策略去除类的非关键代码,从而缩短代码长度.然后,对类的层次结构,包括类签名、属性和方法分别进行建模,获得类的语义信息和层次结构信息.此外,从项目中抽取父类的签名及摘要来刻画类在项目中依赖的上下文.实验表明,基于分层表示和上下文增强的生成模型能够表征代码的语义和层次结构,并可以从目标类的内部和外部获取信息. HRCE在BLEU,METEOR,ROUGE-L等评估指标上超过了所有基准模型.     

面向代码审查的细粒度代码变更溯源方法

代码审查是现代软件分布式并行开发过程中的重要机制. 在代码评审时, 帮助代码评审者快速查看某一段源代码的演化过程, 可以让评审者快速理解此段代码变更的原因和必要性, 从而有效提升代码评审的效率与质量. 现有工作虽然提供了一些类似的代码提交历史回溯方法及对应工具, 但缺乏从历史数据中进一步提取辅助代码评审相关辅助信息的能力. 为此, 提出一个面向代码评审的细粒度代码变更溯源方法C2Tracker. 给定一段方法(函数)级别的细粒度代码变更, C2Tracker能够自动追溯到历史开发过程中修改该段代码相关的代码提交, 并在此基础上进一步挖掘其中与该段代码频繁共现修改的代码元素以及相关的变更片段, 辅助代码评审者对当前代码变更的理解与决策. 在10个著名开源项目的数据集下进行实验验证. 实验结果表明, C2Tracker在追溯历史提交的准确率上达到97%, 在挖掘频繁共现代码元素任务上的准确率达到95%, 在追溯相关代码变更片段任务上的准确率达到97%; 相比现有评审方式, C2Tracker在具体案例的代码评审效率和质量上均有较大提升, 在绝大多数的代码评审案例中被评审者认为能提供“明显帮助”或“很大帮助”.     

基于代码克隆检测的代码来源分析方法

随着软件生态系统和开源社区的发展,代码常在多个软件系统中复制、传播和演化,给软件系统带来了软件质量的不确定性和风险,因此,高效地查找软件系统代码可能的来源是当前研究的热点之一。提出一种基于代码克隆检测的代码来源分析方法,将目标软件代码以方法为单位切割为代码片段,转换为词袋后,在大规模代码资源库中进行并行化代码克隆检测,从而实现方法粒度的代码来源分析。基于该方法,设计并实现了一个代码来源分析工具。该工具能自动分析被测软件项目代码与代码资源库中多个项目以及版本之间的可能来源。实验结果表明,该系统能够有效地找出目标项目在大规模代码库中的代码来源信息,辅助软件维护人员理解和维护代码。     

F2＋uF2环上接近MDR码

S.M.Dodunekov和I.N.Landgev定义并研究了域 Fq上接近MDS码。对于 F2＋uF2环,相应地定义了接近MDR码,证明了 F2＋uF2环上线性码C 为接近MDR码的充要条件是它的挠码Tor（C）为它剩余类域 F2上的接近MDS码,并给出了F2＋uF2环上所有接近MDR码的生成矩阵。     

半导体存储系统中的字节式纠错码

本文介绍了一种新的构造纠单字节错检双字节错码的技术和方法，并与现有的构造方法进行了对比，结论是通过该方法构造出来的码其编码效率比原来的要高。     

F2+vF2环上的接近MDR码

根据有限域Fq上的MDS码与接近MDS码,提出F2+vF2环上的MDR码与接近MDR码,其中包括几乎MDR码。利用环F2+vF2与域F2中加法群的一个同态 ,根据映线性码的生成矩阵证明C是F2+vF2上MDR码,当且仅当q(C)为F2上的MDS码,C是R上的接近MDR码,q(C)为F2上的接近MDS码,并由此给出环F2+vF2上MDR码与接近MDR码的构造方法及具体实例。     

数字产品中新的无诬陷的2-安全码

该文研究的是两类防盗版码——TA码和安全码．作者利用等距等重码构造了新的2-TA码和2-安全码，并通过分别级联前面得到的两个2-安全码与一个Reed-Solomon码得到了两个2-安全码．当码字的个数相同时，这两个码的码长比Boneh等人的方法中的级联码的码长要短．这两个码应用Koetter-Vardy软判断列表算法作为追踪算法，与Boneh等人的追踪算法相比，这个新的追踪算法不会诬陷别的用户；与Barg等人的算法相比，这个追踪算法在许多情况下一定可以找到两个叛徒，并且算法失败的概率非常小．     

基于矩阵方法的量子纠错码构造

根据由简单无向图构造的量子纠错码与量子稳定子码的关系,利用与图对应的对称矩阵直接给出量子稳定子码的稳定子,由此提出一种基于矩阵方法的量子纠错码构造方法,通过将子矩阵变换为循环矩阵,找到满足特殊性质的矩阵,并证明对任意素数p>3,量子MDS码［［9,5,3］］p和［［8,4,3］］p存在,对任意素数p>7,量子MDS码［［9,3,4］］p存在。     

条码技术的发展及应用

文章综述了条码的发展、研究历史和条码主要识别技术,详细阐述了光电条码识别技术和图像式条码识别技术的原理,并列举了条码技术的典型的应用。最后,根据现阶段的技术情况,指出了条码技术未来的发展趋势。     

F2+uF2和Z4上循环码的Gray象

利用Gray映射Φ的性质,研究了环F₂+uF₂和Z₄上的任意长循环码。证明了环F₂+uF₂上任意长码是循环码当且仅当它的Gray象是域F2上的准循环码,得到了Z₄上任意长码是循环码的一个充分必要条件。特别的,环F₂+uF₂上长为n的线性循环码的Gray象是域F₂上指标为2长为2n的线性准循环码,环Z₄上长为n的线性循环码的Gray象是域F₂上指标为2长为2n的准循环码。     

有限链环上循环码的研究

设R为有限链环,定义从Rn到 的Gray映射 ,给出Gray映射 的一个性质。利用Gray映射的性质研究有限链环R上任意长循环码的Gray象。证明有限链环R上长为n的码C是循环码当且仅当它的Gray象 是有限域Fp上指标为pe-1长为npe-1的准循环码。