程序的可理解性及其度量

定性地讨论了软件可理解性的构成及程序可理解性所处的地位。指出了数据、开销及其变化是影响程序可理解性的主要因素,给出了一个度量程序可理解性的模型,该模型定量地分析数据及开销的计算规律,并给出了理论计算公式,而程序可理解性度量则以经验公式形式提出,并指出了实现程序可理解工量应注意的问题     

基于后缀树的文本聚类算法

提出一种基于后缀树的文本聚类算法以实现中文文本的多主题聚类。先介绍基于后缀树的英文多主题聚类的主要流程。再分析中、英文语言的差异,并以中文词和短语为单位构造后缀树模型,随后构造基类关联图实现中文多主题聚类。实验分析表明,该方法能快速、较准确的实现中文文本的多主题聚类。     

基于后缀树的知识点间关联规则挖掘算法

在个性化的网络学习中,对知识点间的关联规则进行挖掘是一个关键的问题.该文提出了一种基于后缀树的知识点间关联规则挖掘算法,该算法通过对web日志数据构造后缀树进行序列挖掘,动态地挖掘最大频繁序列,进而发现有意义的知识点间的关联规则.     

程序理解；后缀树；软件维护；软件工程

为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性,提出了一种利用综合引擎分析并再现算术电路优化过程的算法.该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识别技术来提取乘法电路的实现结构,以此生成与实现电路结构相似且逻辑正确的网表.针对算术电路结构的相似性,仅分析低位输出的电路架构以降低算法复杂度.实验结果表明,与传统的算术电路验证算法相比,该算法可以明显提高算术电路的验证速度,并且可以直接结合到现有的寄存器传输级（RTL）和门级网表的验证流程中,从而提高了算术电路的验证能力.     

基于后缀法与遗传退火算法的简约树构建

利用二进制树通过后缀法编码将N个物种的系统发生树与后缀法编码进行一一对应,并在遗传算子的设计中引入退火算子,通过遗传算法与退火算法相组合寻找全局最优解.计算结果表明,改进算法在简化树存贮的同时,还提高了运行速度.     

基于轻量级分析的程序静态分析器

在现代软件工程中,程序理解技术是实现对软件系统分析和理解的一种关键技术和有效途径.国内外学者为此做出了不懈的努力,开发了不少的理解工具.在分析现有工具的基础上,设计了一个基于轻量级分析的程序静态分析器,采用增量式分析技术,快速分析源程序文件得到交叉索引信息,改善了程序分析时间.     

利用信息检索和概率有限自动机的程序理解

为提高基于信息检索的程序理解方法的准确性，提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机（probabilistic finite state automata，PFA）解决了信息检索结果在程序理解中的不确定性，同时采用信息检索构建了多个简单的PFA，而不是单个复杂的PFA，提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类，然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索，取检索结果中的最相关的n项作为候选模板，由候选模板对应得到相应的PFA，通过分析找到最大概率的PFA，完成对源码内容的语义标注.     

程序静态结构的分析及其应用

程序理解是软件维护、遗留系统的现代化改造以及软件的再工程等领域的重要技术。在软件可重用性和转换通用性的基础上，首先探讨了适于多种程序范型理解的转换系统架构，然后就有关应用问题和转换方法做了实例研究。     

程序理解中基于类图的特征挖掘

针对从大型系统源代码逆向恢复出的类图十分复杂,不利于系统理解和特征挖掘的问题,从类图中抽象出类型依赖图（TDG）,并分为无权值及带权值类型依赖图,利用图上的集合划分算法对TDG进行分层抽象的特征挖掘,挖掘算法将图中的节点划分到不同的集合中,每个集合展现系统关键设计的一个侧面．采用TDG上的分层算法能够有效地降低类图的复杂度并挖掘出系统设计特征．     

程序理解系统中上下文环境设计与实现

对于软件系统特别是大型复杂软件系统,由于分析和理解的困难性,其系统维护和系统演化任务开销巨大.程序理解系统是辅助用户对软件系统进行快速分析和理解的支撑环境.程序理解系统中的上下文环境用于提供关注点的上下文信息,辅助用户分析和理解当前关注点对整体的影响以及整体对它的依赖.提出了一种在程序理解系统中实现上下文环境的方案.分析了上下文环境在程序理解系统中的地位和作用,描述了上下文环境的功能规范、模块组织结构及处理流程,设计了一种获取关注点符号的算法,最后给出了在Linux环境下基于KDE 3.5的设计实现及应用分析.     

基于框架的软构件后缀索引构造方法研究

目前现有的软构件检索方法都是将软构件作为孤立的个体对待,而在实际应用当中软构件大多是基于某框架之下的.为了描述和管理软构件所应用的框架和环境,利用基于有色Petri网的框架模型计算构件之间的框架距离,根据距离的远近利用SOM聚类为构件分类形成框架类别.另外,为了提高检索效率为每个刻面的术语空间建立术语树,并为树中节点建立后缀索引.这样减少检索软构件时遍历术语树中节点的个数,而且使同一批检索到的构件更适合应用到同一框架当中.分析表明,该方法不但可以提高软构件的检索效率,而且保证了检索到的软构件经过最小的修改量就能够被应用到软件系统中.     

基于决策树分类技术的心电自动分析软件检测系统

研究和开发了一种基于数据挖掘技术的心电自动分析软件检测系统.该系统首先通过直接从人体采集电信号和读取扫描经典心电图图片两种途径,依据M IT-B IH心律失常数据库规则和存储格式,建立国人临床心电数据库,然后采用决策树分类方法对样本进行训练和分类,最终进行心电自动分析软件的检测,并由系统输出检测结果.     

基于树型结构和加权熵的中文高频词提取算法

提出了一种基于树型结构和加权熵的中文高频词提取算法.简单介绍了中文的树型结构和加权信息熵,详细叙述了算法的原理和设计步骤,并给出了具体的算法描述.实验结果表明,该算法是可行和有效的.     

基于IPO功能分解的嵌入式软件故障树分层构建方法

针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性.     

两棵树的公共子树查找算法综述

本文通过对基于两棵树中的公共子树查找问题在有根、带标记、有序树中的主要算法及相关历史的回顾,结合算法思想将公共子树查找问题分为主要3类。本文深入探讨了每类算法中的代表算法,其中根据数据挖掘中枚举树相关技术提出了一种可能的公共子树查找算法的思想。最后比较了文中主要算法的效率,同时较为深入地分析和讨论了公共子树的相关研究及未来可能的研究发展方向。     

基于熵权的多级模糊综合评价的应用

将熵权计算方法和模糊综合评价方法相结合,确保了评价的客观真实。应用实例证明了该评价方法的科学性和合理性。     

软件度量技术研究及应用分析

随着计算机技术的飞速发展与计算机应用领域的迅速扩大,各领域内出现的高复杂性的软件系统的数目越来越多。因此,人们迫切需要能够对软件开发过程和产品进行精确的、可预测的和可重复的控制,软件度量就是度量软件质量的一种行之有效的手段,是软件工程内一个非常重要的领域。本文通过对软件度量的研究意义、发展历史、分类以及度量方法的系统研究与总结,着重探讨了软件度量理论及其应用。     

基于扩展Petri网的安全关键软件需求模型检验

Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性.