一种基于变异分析的BPEL程序故障定位技术

不同于传统C,C++或Java程序,BPEL(Business Process Execution Language)程序由一组活动及其之间的交互组成,同时引入了并发、序列化、XML表示等新特征,这些新特点使得定位BPEL程序的故障具有一定的挑战性.针对现有故障定位技术在有效性方面的不足,提出一种基于变异分析的BPEL...     

基于馈线自动化功能的配电网故障定位技术

针对当前已有方法的配电网故障定位成功率和容错率较差,定位延时较差的问题。提出一种基于馈线自动化功能的配电网故障定位方法,通过实际馈线终端的自动化功能组建统一的配电网故障定位模型。在分布式电源接入的情况下,通过搜索策略获取不同的开关状态。使用改进蚁群算法求解模型的初始解,建立分布式电源动态投切的开关函数。通过分区原则,对于无源树枝使用检测入口的FTU状态,简化故障定位计算流程,最终完成故障定位。仿真实验结果表明,方法能够有效提升配电网故障定位成功率和容错率,减少定位延时。     

基于程序变异分析的软件错误定位

基于覆盖的错误定位(CBFL)方法通过获取成功和失败测试用例的覆盖信息和执行结果对程序中的错误进行定位,但该方法未考虑偶然性成功测试用例的影响,降低了错误定位的准确率。为此,提出一种新的软件错误定位方法,通过分析程序变异减少偶然性成功测试用例的影响,改进怀疑度计算公式,并加入对变异影响的计算。实验结果表明,与传统CBFL方法相比,该方法能够有效提高错误定位的准确率。     

基于模板匹配的BPEL程序故障修复及优化技术

BPEL (business process execution language)是一种可执行的Web服务组合语言. 与传统程序相比, BPEL程序在编程模型、执行方式等方面存在较大差异. 这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战, 面向传统软件的故障修复技术难以直接应用于BPEL程序. 从变异分析角度出发, 提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair. 为了克服基于变异分析的故障修复技术计算开销高的缺点, 从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略. 开发一个BPEL故障修复支持工具, 提高故障修复的自动化程度与效率. 采用经验研究的方式, 评估所提故障修复技术及优化策略的有效性. 实验结果表明, 所提故障修复方法能够成功修复约53%的BPEL程序故障; 所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.     

基于GPRS的配电网馈线自动化故障定位技术

以往馈线自动化技术中的监控终端,在判定故障线路时极易引发非故障线路断电,为此,引入GPRS(General packet radio service,通用分组无线服务)技术研发出一种配电网馈线自动化故障定位技术。根据无方向性馈线故障定位算法,结合表征各单元间邻接关系的单元邻接表,定位出馈线故障所属区段,采用GPRS通信模式实现信息传输与共享,基于GPRS通信模式与馈线监控终端的联邦式架构建立GPRS通信模块的协同故障防护策略,通过GPRS监控终端模块,实现故障定位自动化。以某县乡级配电网模拟故障发生,验证得出GPRS通信在实现自动化方面更具可行性,且该项技术有效性与适用性较强。     

基于程序变异的程序谱错误定位方法

针对基于程序谱错误定位方法完全依赖于测试用例的语句覆盖信息导致错误定位效率低下的问题,提出了一种基于变异测试技术的程序谱错误定位方法。在原有语句怀疑度计算方法的基础上,增加了程序变异后执行结果与原程序执行结果不同的测试用例变化情况的分析。此外,为解决程序变异后产生的变异体数量巨大而导致执行代价过大的问题,提出了根据变异位置约简变异体的策略。实验结果表明,与几种基于程序谱的程序错误定位方法相比,该方法的错误定位代价最低,能有效提高错误定位的效率。     

配电网集中式馈线故障自动化定位方法研究

配电网线路众多且纷杂,加上恶劣的环境,查找故障的难度大,需要耗费大量的人力和物力。为此,研究了一种配电网集中式馈线故障自动化定位方法。利用录波器采集行波信号并利用小波变换方法对信号进行去噪处理。利用VMD方法分解行波信号,确定分解后每个模态分量的边际谱,提取每个模态分量的特征,包括频谱均值、方差、带宽、最高幅值对应的频率,组成特征量集合。输入特征,利用多分类SVM模型定位故障类型并通过行波法确定故障位置,完成配电网集中式馈线故障自动化定位。结果表明,所研究方法的定位误差达到相对最小值,定位结果更准确。     

解析电力线路的故障判断及修复技术

科学技术的进步以及社会经济的快速发展,使人们对于电力的依赖程度越来越高,而在电力系统中,电力线路作为重要的组成部分,其是否安全稳定地运行与人们的生产、生活能否得到有效地用电保障有着十分重要的关系,甚至还与我国社会经济的稳定发展息息相关。本文主要对电力线路运行中出现的主要故障以及原因进行了分析,并对电力线路的故障判断以及修复处理技术进行了探究。     

基于高斯过程的缺陷定位方法

在软件系统中,缺陷定位是缺陷修复的一个关键环节,如果能将缺陷自动定位到很小的范围,将会极大地降低缺陷修复的难度.基于高斯过程提出了一种缺陷定位方法（GPBL）,即针对每个缺陷,向开发人员推荐这个缺陷可能存在于哪些源文件中,从而帮助开发人员快速修复缺陷.为了验证方法的有效性,采集了开源软件Eclipse 和Argouml 中的数据,实验结果表明,高斯过程缺陷定位的查全率和查准率平均分别为87.16%和78.90%.与基于LDA的缺陷定位方法进行比较,表明高斯过程更能准确定位缺陷的位置.     

建筑机电系统物理连接关系自动修复方法

建筑机电设备逻辑关系自动提取成为建筑信息模型(BIM)从施工向运维阶段应用的 关键技术要点之一。针对实际工程项目 BIM 模型中设备、管线之间的物理连接错误、缺漏较多、 自动化提取设备逻辑连接关系难度高等问题,提出了建筑机电系统物理连接关系自动修复和效 率优化的方法。针对跨文件连接断点、错位连接、连接方向错误等 3 类问题进行准确定义,提 出自动检查和修复方法,能够自动快速修复现有 BIM 模型中常见的物理连接大量缺失的问题。 该方法在工程的实施支持施工 BIM 模型向运维 BIM 模型的快速转化,有利于实现基于 BIM 的 机电系统运维维护管理。     

基于缺陷修复历史的两阶段缺陷定位方法

缺陷定位是软件缺陷修复的关键步骤。随着计算机软件的日趋复杂和网络的迅速发展,如何快速高效的定位缺陷相关代码成为了一个急待解决的问题。在研究现有基于信息检索技术的缺陷定位方法的基础上,综合考虑缺陷修复历史信息,提出了基于缺陷修复历史的两阶段缺陷定位方法。该方法不再单一依赖文本相似度,从缺陷修复的局部性现象入手,更多的考虑了缺陷修复的历史记录、变更信息及代码特征等因素,结合信息检索和缺陷预测方法来提高缺陷定位的精度。最后本文以两个开源项目为例,验证了方法的可行性和有效性。     

一种自动分割人脸的方法 *

基于图切分理论 ,提出了一种自动分割人脸的方法。对于一幅人脸图像 ,首先通过人脸检测算法 ,确定人脸图像的大致前景和背景区域 ;然后利用高斯混合模型建立其前景和背景区域的颜色模型 ;最后迭代地运用图切分算法准确地分割出人脸目标。该方法创新之处在于实现了人脸图像前景目标的全自动分割。实验结果说明了该方法的有效性。     

Combining mutation and fault localization for automated program debugging

This paper proposes a strategy for automatically fixing faults in a program by combining the ideas of mutation and fault localization. Statements ranked in order of their likelihood of containing faults are mutated in the same order to produce potential fixes for the faulty program. The proposed strategy is evaluated using 8 mutant operators against 19 programs each with multiple faulty versions. Our results indicate that 20.70% of the faults are fixed using selected mutant operators, suggesting that the strategy holds merit for automatically fixing faults. The impact of fault localization on efficiency of the overall fault-fixing process is investigated by experimenting with two different techniques, Tarantula and Ochiai, the latter of which has been reported to be better at fault localization than Tarantula, and also proves to be better in the context of fault-fixing using our proposed strategy. Further experiments are also presented to evaluate stopping criteria with respect to the mutant examination process and reveal that a significant fraction of the (fixable) faults can be fixed by examining a small percentage of the program code. We also report on the relative fault-fixing capabilities of mutant operators used and present discussions on future work.     

一种新的程序变体测试方法

在对程序分片技术研究的基础上,提出一种新的片变体测试方法。通过实例说明,该方法能更有效地提高变体测试的准确性及测试效率。     

Multi‐level reranking approach for bug localization

Bug fixing has a key role in software quality evaluation. Bug fixing starts with the bug localization step, in which developers use textual bug information to find location of source codes which have the bug. Bug localization is a tedious and time consuming process. Information retrieval requires understanding the programme's goal, coding structure, programming logic and the relevant attributes of bug. Information retrieval (IR) based bug localization is a retrieval task, where bug reports and source files represent the queries and documents, respectively. In this paper, we propose BugCatcher, a newly developed bug localization method based on multi‐level re‐ranking IR technique. We evaluate BugCatcher on three open source projects with approximately 3400 bugs. Our experiments show that multi‐level reranking approach to bug localization is promising. Retrieval performance and accuracy of BugCatcher are better than current bug localization tools, and BugCatcher has the best Top N, Mean Average Precision (MAP) and Mean Reciprocal Rank (MRR) values for all datasets.     

改进的整体变分模型在视频图像修补上的应用

改进了经典的图像修补变分模型,既考虑了图像区域中梯度不同给图像修补带来的不同影响,同时兼顾了视觉心理学对图像效果的影响。提出了新的变分泛函,给出了相应的欧拉-拉格朗日方程。将此模型应用到静态的图像上,和原来的模型在图像修补效果上进行了对比。将此图像修补模型应用到视频修补问题上,从一个新的角度,在两帧图像之间以增加一帧,把目标放在相应位置,形成新帧,使人物动作连贯,达到更好的视频图像的修补效果。     

基于免疫修复的快速蚁群优化算法

蚁群优化算法通过信息素记录搜索过程中获取的知识,并基于信息素搜索新的解．影响信息素质量的因素主要是信息素更新策略和蚂蚁已找到的候选解的质量．为了提高已有候选解的质量,提出基于免疫原理识别候选解中的“病变”成分,并对其“病变”成分进行修复．经免疫修复后,候选解的质量大大提高,由它更新的信息素更好地反映了优质解的特点,从而加快了信息的正反馈过程．实验结果验证了该算法的有效性．