一种基于层次切片谱的软件错误定位技术

传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,以提高面向对象程序中的错误定位效率.这种技术首先分析程序不同粒度层次元素(包、类、方法以及语句)之间的依赖信息,对可能发生错误的元素进行筛选,缩小错误查找范围;在此基础上,建立了层次切片谱模型,并定义了一种可疑度度量方法;最后根据该可疑度结果从大到小的顺序进行错误定位.通过实验验证了基于层次切片谱的错误定位技术的有效性,且比基于程序谱的Tarantula技术、Union技术、Intersection技术效率更高.

基于条件执行切片谱的多错误定位

基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成.

基于程序谱概念格的软件错误定位技术

针对由不同错误引起的失效测试叠加而导致错误定位效率降低问题以及程序员很难根据缺乏上下文信息的单个程序元素的可疑度来最终确定错误的位置问题,提出了一种基于程序谱概念格的软件错误定位技术。这种技术首先根据测试历史信息提取程序谱信息并构建程序谱的概念格,以层次结构展示程序元素和测试的泛化和特化关系;在此基础之上,定义了一种新的可疑度的计算方法。以中等规模程序Tetris为实验对象,借助wasted effort评测指标验证了所提方法的有效性。

基于分块切片的软件错误定位技术

鉴于基于谱的软件错误定位技术缺乏依赖分析及存在过多不可区分的语句问题,给出一种基于分块切片的软件错误定位技术BSlicing-SFL(block slicing based software fault localization)的实现方法。基于不可区分块间数据依赖和控制依赖构建系统依赖图并生成分块切片,在此基础之上,统计计算切片内元素可疑度值进行错误定位。通过3个实际应用程序验证了分块切片的约减度及BSlicing-SFL技术的有效性。

非计算机专业程序设计类课程基线教学模式探索

针对非计算机专业程序设计类课程教学现状,分析该课程教学中存在的问题,从学时分配、课堂教学、实验教学、课下答疑、评价体系等多方面系统阐述基线教学改革方案。

面向OBE的程序设计基础课程的计算思维培养

基于产出导向的OBE教育理念,分析程序设计基础课程教学中存在的问题,从计算表示、计算处理、计算分析与设计、计算实现、计算优化和体系教学等方面系统地阐述计算思维的持续培养方案,并提出考核评价标准。

并发序列切片

传统的静态程序切片和动态程序切片技术很难有效解决并发程序中数据共享错误定位问题。文中基于扩展的定义使用关系构造静态并发序列切片和动态并发序列切片,并通过实例验证了并发序列切片在定位数据共享错误上的有效性。

一种基于深度学习的实体消歧技术

传统的命名实体消歧技术通常依靠丰富的上下文语境和外部实体知识库,而很多新兴实体缺乏知识库且包含实体的文本长度较短,这些局限性使得传统算法不能够充分利用上下文的语义信息。另外,由于受有效样本数量的限制,算法最终应用的场景十分有限。基于上述问题,提出一种基于深度学习的结合BERT(bidirectional encoder representation from transformers)模型和长短期记忆神经网络的实体消歧方法。该方法主要包含以下几个部分:1)设计了一种基于BERT模型的词向量,通过较少的数据样本仍然可以获取较多的信息;2)为了让长短期记忆神经网络保留较多的有用信息和验证短文本以适用该方法,对句子样本进行切分;3)结合微软公司提出的NNI(neural network intelligence)技术,高效地获取较优的神经网络超参数。通过与其他不同类型的词向量和神经网络技术进行比较,验证了使用文中基于深度学习的实体消歧技术在F-Measure值评测指标上效果更好。

基于程序频谱的动态缺陷定位方法研究

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望.

一种基于依赖分析的程序错误定位算法

程序错误定位是程序调试中最复杂最耗时的任务之一。文中提出一种新颖的基于依赖分析的错误定位方法,这种方法构造可疑代码的数据依赖和控制依赖,通过求精算法和扩大算法实现程序错误定位。文中通过实例验证了该方法的有效性。

形式概念分析在软件维护中的应用综述

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的角度,如软件理解、修改影响分析、重构、调试与测试等方面总结了从2000～2013年形式概念分析在这些领域的研究进展.这些研究成果的分类方法是基于一种软件维护活动框架进行论述,最后文章给出了形式概念分析在软件维护领域的研究趋势与展望.

“互联网+”背景下的软件测试课程教学体系构建

针对软件测试课程在教学知识体系、教学内容、课程教学组织方面存在的问题,分析问题产生的历史原因,探讨融合理论、方法、实践3个维度构建教学知识体系的思路,阐述在线构建测试工具习得案例库的要素及综合实训平台设计方法,最后提出"互联网+"背景下的教学反馈和持续改进策略。

“产教研”融合的软件测试课程案例库构建

针对软件测试课程案例库构建任务,分析其在案例选择、实践环境搭建和组织教学方面存在的问题,探讨软件测试课程实践环节融合"产业""教学""学术研究"3个维度的教学思想,阐述测试案例库的构建要素以及实践环境搭建方法,最后提出基于案例实践数据的软件测试研究方法。

软件修改影响分析研究与进展

软件修改是软件维护的基本元素,对软件的任何修改会对软件的其他部分造成一些潜在的负面影响.软件修改影响分析就是用来识别软件修改可能带来的潜在影响.修改影响分析在软件维护、回归测试等方面都有着重要的应用.本文对近年来的修改影响分析技术进行调查,根据调查结果对修改影响分析技术进行分类和总结,为软件开发和维护人员选择适合的修改影响分析技术提供参考.通过对调查结果的分析,首先,提出了修改影响分析可从分析类型、方法、所支持的语言范型、阶段、层次五个角度进行分类;其次,对软件修改影响分析进行了展望,探讨了修改影响分析在基础理论、工具支持、评价机制、可拓展性、跟踪性等方面还需进一步深入的研究.

测试驱动开发思想指导下的C++程序设计教学改革

在卓越工程师教育培养计划的指导下,提出将测试驱动开发思想引入到传统的C++程序设计教学中,将传统的先写代码后测试的流程转变为先对需要实现的功能进行需求分析,随后设计并编写测试用例,最后编码实现相应功能。

基于建构主义理论的C++程序设计线上线下混合式金课建设

针对目前C++程序设计教学中存在的问题,以金课建设为抓手,提出基于建构主义理论支架式教学模式的理论课程混合式教学设计方法,以及基于随机进入教学模式的实践课程混合式教学实施方案,给出相应的课程考核评价方法,并从考核结果和评价反馈方面说明实践效果。

卓越计划驱动的软件工程课程教学方案设计

分析国内高校软件工程教育现状,结合卓越工程师培养计划的要求,提出旨在提升学生软件开发技能的软件工程教学实施方案。分别从参与教学人员组织、教学内容设置、教学进程安排、课程教学平台构建和评价机制角度,阐述构建软件工程教学体系总体框架,结合不同类型的人才培养目标剖析上述5要素实施的要点。

面向基于类比的软件工作量估算的多目标特征选择方法（英文）

将基于类比的软件工作量估算(ASEE)中的特征选择问题建模为多目标优化问题.其中一个优化目标是最大化工作量估算的精度,另一个优化目标是最小化选出的特征数.基于这2个潜在矛盾的优化目标,提出了一种新颖的包裹式特征选择方法MASE.在实证研究中,选择了实际项目,包括Desharnais的77个项目和Maxwell的62个项目作为评测对象,并将MASE方法与经典基准方法进行了比较.最终结果表明:基于MMRE,MdMRE,PRED(0. 25)和SA评测指标,MASE方法可以选出更少的特征,且预测精度更高.

C++课程中思维导图的应用探索

通过分析目前C++课程中教师教学与学生学习中普遍存在的问题,文章提出在课程中引入思维导图的教学方法改革,有效提升学生学习C++课程的积极性,培养学生创新思维和创新能力。

基于距离的软件故障分析方法

鉴于多故障之间的干扰,提出一种基于距离的软件故障分析方法,这种方法首先计算测试轨迹之间的欧式距离,然后选取距离最大的两个失效测试,基于不同的失效测试进行故障分析以提高故障定位效率,文章通过一个两故障程序实例说明了这种方法的有效性。