用Magellan测试代码覆盖率

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

面向并发程序的重构一致性检测方法

针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖关系的变化.针对对象重用性、静态共享字段、死锁3种典型的引起并发错误的情况,设计了3种检测算法对重构前后程序的不一致性进行检测.依据该方法,在WALA软件分析框架下实现了一个原型检测工具.在实验中,使用该工具在SPECjbb2005和HSQLDB测试程序上进行了验证,并与Schafer等提出的方法进行比较,实验结果表明,该方法能够有效地发现并发软件重构的不一致行为.     

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .     

TDD测试驱动开发与瀑布式软件开发流程的对比研究

本文对TDD(测试驱动开发)理念,操作模式,应用场景等多方面进行分析,有效阐述了TDD这一新的敏捷开发模式给软件开发模式带来的巨大变革。与传统CMM软件开发模式相比,TDD通过小粒度开发验证及测试代码有效维护,起到了灵活应对需求变更,有效保证项目质量,快速定位项目问题的巨大作用。     

一种测试驱动的过程模型研究

分析了敏捷过程和几种传统软件生命周期模型,在总结测试驱动开发核心理念的基础上提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过在.net平台上进行文件管理系统的开发,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.     

基于生成对抗单分类网络的异常声音检测

针对正常和异常声音可能具有较大的相似性, 有时无法利用自编码器重构误差大小区分的问题, 提出一种生成对抗单分类网络方法进行异常声音检测, 通过多次训练, 该方法学习正常样本的分布特征. 在测试过程中, 测试正常样本能以极小的误差进行重构, 而异常样本重构效果较差, 在某些频率段会发生畸变, 从而给出判别分类结果. 实验采用UrbanSound8K公开数据集和实测电机声音数据集进行了测试, 获得该方法的准确率分别为86.3%和98.1%, 比卷积自动编码器等主要深度学习方法分别提高了5.0%和3.0%.     

测试驱动开发探索和实践

软件开发技术的快速变化和多样性成为其发展的特点.极限编程思想可以启发我们如何学习和对待快速变化的开发技术.测试驱动开发作为极限编程思想的一种主要实践,可以有效地让程序开发人员开发出更高品质的程序.文中详细介绍了极限编程思想和测试驱动开发.最后结合实例介绍了如何用JUnit进行测试驱动开发.     

测试驱动过程模型效益分析

在分析传统软件生命周期模型,讨论敏捷过程及开发方法的基础上,对测试驱动开发的核心理念及其过程进行了研究,提出了测试驱动过程模型.通过实验对比.分析了测试驱动过程模型相对于传统开发模型效益优势.总结了其高效率、低成本、适应需求变化的特点.     

基于XP的测试驱动过程模型研究

分析了敏捷过程和极限编程的价值观、实现准则,论述了测试驱动开发的核心理念及其过程.并在分析传统软件生命周期模型的基础上,提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过实验对比,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.     

重型车辆液压辅助驱动系统的前馈+反馈复合控制

基于传统重型车辆开发了液压辅助驱动系统,可使车辆在低附着路面上从单一的机械后轮驱动变为全轮驱动,从而提高车辆的动力性.为提高整车牵引效率,文中设计了前馈+反馈控制器来调节该系统中变量泵的排量,即通过前馈环节由挡位确定泵的目标排量,再根据前后轮转速差反馈环节动态调节泵的最终排量.基于Matlab/Simulink和AMESim平台的联合仿真结果表明,在典型的低附着路面条件下,使用液压辅助驱动系统后,车辆的最大爬坡度和牵引力分别提高了14.4%17.2%和13.4%15.6%.实车测试结果表明,该策略可保证液驱系统平稳工作,仿真模型具有较高的准确性.     

面向异步机制的自动重构方法研究

为了解决并行处理中同步阻塞会浪费系统资源和影响程序性能的问题,提出了一种基于CompletableFuture异步机制的自动重构方法。首先,使用WALA静态程序分析工具进行访问者模式分析、逃逸分析、别名分析以及数据流分析等静态程序分析技术,确定共享变量数据的操作方式;然后,基于CompletableFuture机制设置4种异步重构模式;最后,根据不同模式实现异步机制的自动重构。基于此方法,在Eclipse平台下开发了自动重构工具AsynRef,并对HSQLDB,Jenkins, JGroups和SPECjbb2005等4个大型实际应用程序进行自动重构,从重构个数、改变的代码行数、准确性和重构后程序性能等方面对AsynRef进行评估,对4个程序所包含的919个同步方法共完成387个异步机制转换。结果显示,使用AsynRef进行异步机制重构后,程序执行性能有8%到39%的不同程度的提升。AsynRef可以有效完成代码异步化自动重构,与传统手动重构相比,有效提升了异步化的重构效率。     

基于本体的源代码重构知识库

源代码重构技术来源于软件开发中的经验总结,提出了一种更系统化的基于本体技术的源代码重构方法.通过使用本体来组织已有的基于经验的源代码重构知识,并使用网络本体描述语言(OWL)进行描述,进而建立源代码重构知识库.这就使得重构知识以一种更系统化的方式被保存下来,不仅是形式的,而且是可复用的,易于在开发人员之间共享源代码重构知识.该方法为源代码重构技术的相关研究提供了一种新思路,同时可以为源代码重构工具的开发提供支持.     

面向Java多线程机制的软件重构方法

针对Java语言中Thread和Executor两种线程机制在线程管理模式、代码编写量和性能上的不同,提出了一种面向Java多线程机制的软件自动重构方法,该方法可以实现Thread和Executor之间的自动重构转换,进而帮助程序员选择更适合的线程机制.在Eclipse JDT环境下实现了从Thread到Executor的自动重构工具Rethreader.在实验中,使用Rethreader对JGF基准测试程序套件中的Series、Crypt、Lufact、Sparsematmult和Montecarlo等基准程序进行了重构测试,实验结果表明,Rethreader可以在小于1 s的短时间内实现从Thread到Executor的转换.      

切片技术在代码味道识别中的研究

程序切片技术作为一种良好的代码分析技术,可以用来改善软件质量.基于程序切片技术这一特点,本文提出了一种切片度量代码味道的方法,用其识别代码味道,促进全自动化重构技术发展.     

基于UML的软件设计信息抽取及其在重构中的应用

运用统一建模语言UML(Unified Modeling Language),提出了一种关系型建模方法,并实现了一个原型系统,能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中,能够挖掘设计阶段形成的语义信息,有效地帮助开发人员进行软件重构.     

基于切片度量的重构对象识别

为了提高识别重构对象的效率和正确性,提出一种自动化识别重构对象的技术.首先,在程序切片的基础上,构造一种度量函数来量化元素间的依赖程度.然后,利用度量结果识别出在原程序的位置和从属关系不合理的元素,从而自动识别出程序中的"坏味道".与以往的手动识别相比,该方法可以自动地分析源代码,指出程序中不合理的地方,从而提高重构识别的效率,并建议使用相应的重构手段对"坏味道"实施更改,使代码更加合理、易于维护.最后,利用3个重构实例显示该方法能够识别出一些重构对象,从而验证了该方法的可行性.     

基于AST的克隆序列与克隆类识别

为了减少代码冗余,改善程序结构,提出一种新的基于抽象语法的代码克隆识别方法,归纳出常见的代码克隆形式并给出相应的重构技术.用二叉树表示源程序的抽象语法(BAST),逐条判断各语句BAST子树的同构性,识别出相似的语句序列作为克隆序列;根据子树同构识别一元克隆类,然后通过克隆类的连接操作,逐步识别二元及任意元数的克隆类.实验分析了多个开源软件,识别出了其中的克隆序列以及克隆类,从中归纳出4种常见的代码克隆,其基本特征分别为:相同的程序点访问同类对象的不同属性、部分变量名不同、针对不同的数据类型实施相同的操作、修改克隆区域外定义的变量,并对这4种代码有效地实施了重构.     

基于决策树的代码异味优先级评估

基于以开发人员驱动的代码异味优先级排序方法,结合优化决策树算法建立模型,对代码异味的重构优先级进行面向开发人员的排名,并在实证研究中评估了该模型,以模型可解释性方法对特征的重要性进行评估,给出了相关影响较高的特征.结果表明,该模型的F1值为89%,分别较基线值和最新研究成果高出25%和5%.     

一种基于模型检验的类测试用例生成方法

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.     

基于版本的多重软件重构自动检测技术研究

软件重构的自动检测是目前软件重构领域的一个研究热点.目前,多重软件重构的自动检测方法能够检测出在不同软件版本的不同位置上实施的多重重构操作,但是对发生在不同软件版本的相同位置上的多重重构操作则无能为力.为此,该文提出了一种在函数级别,利用函数调用图,实现基于多版本的多重软件重构的自动检测方法.该方法能够自动检测出在不同软件版本中的同一个函数上发生的“函数抽取”和“函数重命名”多重重构操作.同时,通过实验验证了该方法的有效性.