检索结果-南通市图书馆

ContextAug:model-domain failing test augmentation with contextual information

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第2期18卷 43-60页

作者： Zhuo ZHANG Jianxin XUE Deheng YANG xiaoguang mao School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China School of Computer and Information Engineering Institute for Artificial IntelligenceShanghai Polytechnic UniversityShanghai 201209China College of Computer National University of Defense TechnologyChangsha 410073China

In the process of software development,the ability to localize faults is crucial for improving the efficiency of *** speaking,detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development *** have tried to utilize various methods to locate the faulty ***,failing test cases usually account for a small portion of the test suite,which inevitably leads to the class-imbalance phenomenon and hampers the effectiveness of fault ***,in this work,we propose a new fault localization approach named *** obtaining dynamic execution through test cases,ContextAug traces these executions to build an information model;subsequently,it constructs a failure context with propagation dependencies to intersect with new model-domain failing test samples synthesized by the minimum variability of the minority feature *** contrast to traditional test generation directly from the input domain,ContextAug seeks a new perspective to synthesize failing test samples from the model domain,which is much easier to augment test *** conducting empirical research on real large-sized programs with 13 state-of-the-art fault localization approaches,ContextAug could significantly improve fault localization effectiveness with up to 54.53%.Thus,ContextAug is verified as able to improve fault localization effectiveness.

关键词： context fault localization test cases

Evaluating the usage of fault localization in automated program repair:an empirical study

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2021年第1期15卷 53-67页

作者： Deheng YANG Yuhua QI xiaoguang mao Yan LEI College of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Beijing Institute of Tracking and Communication Technology Beijing 100094China School of Big Data&Software Engineering Chongqing UniversityChongqing 400044China

Fault localization techniques are originally proposed to assist in manual debugging by generally producing a rank list of suspicious *** the increasing popularity of automated program repair,the fault localization techniques have been introduced to effectively reduce the search space of automated program *** developers who mainly focus on the rank information,current automated program repair has two strategies to use the fault localization information:suspiciousness-first algorithm(SFA)based on the suspiciousness accuracy and rank-first algorithm(RFA)relying on the rank ***,despite the fact that the two different usages are widely adopted by current automated program repair and may result in different repair results,little is known about the impacts of the two strategies on automated program *** this paper we empirically compare the performance of SFA and RFA in the context of automated program ***,we implement the two strategies and six well-studied fault localization techniques into four state-of-the-art automated program repair tools,and then use these tools to perform repair experiments on 60 real-world bugs from *** study presents a number of interesting findings:RFA outperforms SFA in 70.02%of cases when measured by the number of candidate patches generated before a valid patch is found(NCP),while SFA performs better in parallel repair and patch diversity;the performance of SFA can be improved by increasing the suspiciousness accuracy of fault localization techniques;finally,we use SimFix that deploys SFA to successfully repair four extra Defects4J bugs which cannot be repaired by SimFix originally using *** observations provide a new perspective for future research on the usage and improvement of fault localization in automated program repair.

关键词： automated program repair fault localization empirical study

Improving fault localization with pre-training

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第1期18卷 247-249页

作者： Zhuo ZHANG Ya LI Jianxin XUE xiaoguang mao School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China Ningbo Artificial Intelligence Institute Shanghai Jiao Tong UniversityNingbo 315000China Institute for Artificial Intelligence Shanghai Polytechnic UniversityShanghai 210209China College of Computer National University of Defense TechnologyChangsha 410073China

1 Introduction For developers,fault localization is the most tedious and time-consuming *** order to reduce the burden of developers,researchers have developed various techniques to help reduce the cost of locating faults based on possibility of containing a fault in program statements[1].Among them,coverage-based fault localization is one of the most studied automated fault localization ***-based fault localization methods utilize a type of preliminary information to localize the faults in programs,which is a matrix of statements’coverage *** value of each element is 1 or 0,in which 1 means a statement is executed and 0 denotes a statement is not executed[1].

关键词： fault statement utilize

An effective fault localization approach for Verilog based on enhanced contexts

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第5期18卷 223-225页

作者： Zhuo ZHANG Ya LI Lei XIA Jianxin XUE Jiang WU xiaoguang mao School of Computer Science and Engineering Xi'an University of TechnologyXi'an 710048China Ningbo Artificial Intelligence Institute Shanghai Jiao Tong UniversityNingbo 315000China No.83 Army Joint and Truma Disease Treatment Centre of PLA Xinxiang 453000China Department of Software Engineering Shanghai Second Polytechnic UniversityShanghai 201209China College of Computer National University of Defense TechnologyChangsha 410073China

New computer architecture innovationswith diverse functionalities and comprehensive features continue to emerge incessantly,resulting in a rising trend of incorporating a larger number of circuit devices into these products[1].In the case of a sophisticated and expansive integrated circuit chip,the presence of defective or malfunctioning components can significantly impact the overall performance of the *** situation may even result in costly repercussions.

关键词： Verilog computer circuit.

Automated regression unit test generation for program merges

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2022年

作者： Tao JI Liqian CHEN xiaoguang mao Xin YI Jiahong JIANG Beijing Institute of Tracking and Telecommunication Technology College of Computer National University of Defense Technology

Dear editor,Merging of various branches of software with the current branch is common in collaborative software *** decades of hard work on detecting merge conflicts,various tools have been proposed [1] for assisting software developers in detecting and resolving conflicts. However,software developers are still deeply relying on textual merge tools to handle complicated merge tasks [2].

关键词：

The Application of Pile Foundation Bearing-Retaining Wall Combination Structure in a Mountainous Urban High Fill Project

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of World Architecture 2022年第4期6卷 15-21页

作者： Hongmei Wang xiaoguang mao Qi Su College of Urban Construction Chongqing Energy Vocational CollegeChongqing 402260China College of Architecture and Engineering Chongqing Engineering CollegeChongqing 400056China Chongqing Branch of Ningxia Highway Survey and Design Research Institute Chongqing 400061China Jilin Water Conservancy and Hydropower Survey and Design Institute Changchun 130021China

Pile foundation bearing-retaining wall combination structure is a new type of support structure developed in recent *** article focuses on the characteristics,advantages,and application scope of the support structure,while combining a variety of algorithms,according to different geological conditions and slope stability,as well as summarizes the pile foundation bearing-retaining wall combination structure force analysis and design methods,taking a high-fill road project in Chongqing as an *** application of this support structure under special conditions,such as thicker soil layer,steeper sliding surface,weak foundation,and limited slope release conditions,is presented,which illustrates the technical advantages of this support structure and proving that it has several other advantages,including clear force mechanism as well as economic and reasonable structure,thus providing reference for similar projects.

关键词： Pile foundation bearing-retaining wall Combined support structure Design calculation method

More efficient automatic repair of large-scale programs using weak recompilation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第12期55卷 2785-2799页

作者： QI YuHua 1,mao xiaoguang 1,WEN YanJun 1,DAI ZiYing 1 & GU Bin 2 1 School of Computer,National University of Defense Technology,Changsha 410073,China 2 Beijing Institute of Control Engineering,Beijing 100190,China 1. School of Computer National University of Defense Technology Changsha 410073 China2. Beijing Institute of Control Engineering Beijing 100190 China

Automatically repairing a bug can be a time-consuming process especially for large-scale programs owing to the significant amount of time spent recompiling and reinstalling the patched *** reduce this time overhead and speed up the repair process,in this paper we present a recompilation technique called weak *** weak recompilation,we assume that a program consists of a set of components,and for each candidate patch only the altered components are recompiled to a shared *** original program is then dynamically updated by a function indirection *** advantage of weak recompilation is that redundant recompilation cost can be avoided,and while the reinstallation cost is completely eliminated as the original executable program is not modified at *** maximum applicability of weak recompilation we created WAutoRepair,a scalable system for fixing bugs with high efficiency in large-scale C *** experiments on real bugs in widely used programs show that our repair system significantly outperforms Genprog,a wellknown approach to automatic program *** the wireshark program containing over 2 million lines of code,WAutoRepair is over 128 times faster in terms of recompilation cost than Genprog.

关键词： weak recompilation efficiency automated program repair automated debugging experiment

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一种面向Web复合服务的运行时监控方法

计算机应用与软件 2012年第5期29卷 169-171,206页

作者：韩仲志毛晓光国防科学技术大学计算机学院湖南长沙410073

随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注。分析总结传统软件运行时监控技术的基本问题和方法,给出运行时监控的基本视图。针对Web复合服务面临的... 详细信息

随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注。分析总结传统软件运行时监控技术的基本问题和方法,给出运行时监控的基本视图。针对Web复合服务面临的特殊运行环境及监控需求,提出一种监控框架。该框架以事件计算建模行为规约,在无法对构件服务进行插装的情况下实现对复合服务的有效监控。

关键词：运行时监控 Web复合服务事件计算构件服务

在线全文

学校读者我要写书评

暂无评论

面向程序自动修复的缺陷分类方法研究

计算机应用研究 2016年第6期33卷 1748-1751,1757页

作者：易昕毛晓光纪涛国防科学技术大学计算机学院计算机科学与技术系长沙410072

程序自动修复是近年来软件工程的研究热点,但其发展难以满足工业应用的要求。分析了自动修复技术的局限性,引入了缺陷分类的思想,并与正交缺陷分类方法相结合,提出了面向软件自动修复的缺陷分类方法(APRDC)。基于APRDC提出了自动修复技... 详细信息

程序自动修复是近年来软件工程的研究热点,但其发展难以满足工业应用的要求。分析了自动修复技术的局限性,引入了缺陷分类的思想,并与正交缺陷分类方法相结合,提出了面向软件自动修复的缺陷分类方法(APRDC)。基于APRDC提出了自动修复技术集成的思想。实验中将基于APRDC与基于随机的自动修复技术集成工具作了比较。基于APRDC的方法提高了成功率并缩短了修复时间。实验结果表明了APRDC方法的有效性。

关键词：软件缺陷程序自动修复缺陷分类技术集成