检索结果-内蒙古大学图书馆

IEEE International Conference on Software Quality, Reliability and Security (QRS)

作者： Petrillo, Fabio Soh, Zephyrin Khomh, Foutse Pimenta, Marcelo Freitas, Carla Gueheneuc, Yann-Gael Univ Fed Rio Grande do Sul Porto Alegre RS Brazil Ecole Polytech Montreal Montreal PQ Canada

ISBN: (纸本)9781509041275

debugging is a laborious activity in which developers spend lot of time navigating through code, looking for starting points, and stepping through statements. Yet, although debuggers exist for 40 years now, there have been few research studies to understand this important and laborious activity. Indeed, to perform such a study, researchers need detailed information about the different steps of the interactive debugging process. In this paper, to help research studies on debugging and, thus, help improving our understanding of how developers debug systems using debuggers, we present the Swarm Debug Infrastructure (SDI), with which practitioners and researchers can collect and share data about developers' interactive debugging activities. We assess the effectiveness of the SDI through an experiment that aims to understand how developers apply interactive debugging on five true faults found in JabRef, toggling breakpoints and stepping code. Our study involved five freelancers and two student developers performing 19 bug location sessions. We collect videos recording and data about 6 hours of effective debugging activities. The data includes 110 breakpoints and near 7,000 invocations. We process the collected videos and data to answer five research questions showing that (1) there is no correlation between the number of invocations (respectively the number of breakpoints toggled) during a debugging session and the time spent on the debugging task;rho = 0.039 (respectively 0.093). We also observed that (2) developers follow different debugging patterns and (3) there is no relation between numbers of breakpoints and expertise. However, (4) there is a strong negative correlation between time of the first breakpoint (rho = 0.637);and the time spent on the task, suggesting that when developers toggle breakpoints carefully, they complete tasks faster than developers who toggle breakpoints too quickly. We conclude that the SDI allows collecting and sharing debugging data that

关键词： Software Maintenance interactive debugging debugging Patterns

来源：评论

学校读者我要写书评

暂无评论

An interactive debugging Framework with Heuristic Graph

An Interactive Debugging Framework with Heuristic Graph

引用

Annual International Conference on Software Analysis, Testing and Evolution (SATE)

作者： Ju, Xiaolin Chen, Xiang Jiang, Shujuan Qian, Junyan Nantong Univ Sch Comp Sci & Technol Nantong Peoples R China Nanjin Univ Sch Comp Sci & Technol Nanjing Jiangsu Peoples R China Guilin Univ Elect Technol Guanxi Key Lab Trusted Software Guilin Peoples R China China Univ Min & Technol Sch Comp Sci & Technol Xuzhou Peoples R China

ISBN: (纸本)9781538636879

Many fault localization approaches such as spectrum based fault localization(SBFL) generated a fault localization report based on which the programmer identifies the faults from corrected program entities. Unfortunately, the bug identification is quite tedious due to lack of sufficient context information. Furthermore, in the process of continuous searching for errors, the programmer's previous judgment makes no contribution for improving the efficiency of fault locating report. In this paper, we proposed an interactive debugging framework on which the programmer can iteratively identify faults with visualized heuristic graph. We first analyze the type of running information that is helpful for programmer's fault identification. The heuristic information is collected by program instrument, and modeled by program slicing techniques. We organized this information in the DOT format for visualization. In addition, we proposed an algorithm which can dynamically adjust the fault locating report using forward and backward slicing techniques based on the feedback of programmers. Furthermore, we proposed an enhanced algorithm that can adjust the fault locating report based on more than one feedback from programmers. Since the goal of fault-locating is to identify and fix faults in a program, our framework is more practical in program debugging with visualizing information.

关键词： interactive debugging fault localization heuristic information modeling software testing

来源：评论

学校读者我要写书评

暂无评论

interactive Program debugging and Optimization for Directive-Based, Efficient GPU Computing

Interactive Program Debugging and Optimization for Directive...

引用

IEEE 28th International Parallel & Distributed Processing Symposium (IPDPS)

作者： Lee, Seyong Li, Dong Vetter, Jeffrey S. Oak Ridge Natl Lab Oak Ridge TN 37831 USA

ISBN: (纸本)9780769552071

Directive-based GPU programming models are gaining momentum, since they transparently relieve programmers from dealing with complexity of low-level GPU programming, which often reflects the underlying architecture. However, too much abstraction in directive models puts a significant burden on programmers for debugging applications and tuning performance. In this paper, we propose a directive-based, interactive program debugging and optimization system. This system enables intuitive and synergistic interaction among programmers, compilers, and runtimes for more productive and efficient GPU computing. We have designed and implemented a series of prototype tools within our new open source compiler framework, called Open Accelerator Research Compiler (OpenARC);OpenARC supports the full feature set of OpenACC V1.0. Our evaluation on twelve OpenACC benchmarks demonstrates that our prototype debugging and optimization system can detect a variety of translation errors. Additionally, the optimization provided by our prototype minimizes memory transfers, when compared to a fully manual memory management scheme.

关键词： interactive debugging performance optimization directive programming GPU OpenACC OpenARC

来源：评论

学校读者我要写书评

暂无评论

interactive Patch Filtering as debugging Aid 37

Interactive Patch Filtering as Debugging Aid

引用

37th IEEE International Conference on Software Maintenance and Evolution (ICSME)

作者： Liang, Jingjing Ji, Ruyi Jiang, Jiajun Zhou, Shurui Lou, Yiling Xiong, Yingfei Huang, Gang Peking Univ Key Lab High Confidence Software Technol MoE Beijing Peoples R China Peking Univ Dept Comp Sci & Technol EECS Beijing Peoples R China Tianjin Univ Coll Intelligence & Comp Tianjin Peoples R China Univ Toronto Toronto ON Canada

ISBN: (纸本)9781665428828

It is widely recognized that patches generated by program repair tools have to be correct to be useful. However, it is fundamentally difficult to ensure the correctness of the patches. Many tools generate only the patches that are highly likely to be correct by taking conservative strategies which inevitably limit the recall of APR approaches. While the recall of APR can potentially be improved by relaxing the requirement on precision, more incorrect patches may also be generated. In this paper, we conjecture that reviewing incorrect patches also helps developers to understand the bug, and with proper tool support, reviewing incorrect patches would at least not reduce the repair performance. To evaluate this, we propose an interactive patch filtering approach to facilitate developers in the patch review process via effectively filtering out groups of incorrect patches. We implemented the approach as an Eclipse plugin, InPaFer, and evaluated the effectiveness and usefulness with a mixed-method evaluation. The results show that our approach improves the repair performance of developers, with 62.5% more successfully repaired bugs and 25.3% less debugging time. In particular, even if all generated patches are incorrect, the performance of developers would not be significantly reduced, and could still be improved. Our work provides a new way of thinking for the APR research.

关键词： interactive debugging Patch filtering User study Program repair

来源：评论

学校读者我要写书评

暂无评论

ALADDIN - ASSEMBLY LANGUAGE ASSERTION DRIVEN debugging INTERPRETER

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1979年第4期5卷 426-428页

作者： FAIRLEY, RE Department of Computer Science Colorado State University

New software tools, such as preprocessors, checkout compilers, documentation aids, and program testing systems, have been developed to improve quality and to increase programmer productivity. Although high level language facilities achieve these objectives, they are not always suitable for applications which involve machine dependent operations, and very little has been done to improve the tools for assembly language programming. The ALADDIN system is an interactive facility for the debugging and testing of assembly language programs. ALADDIN differs from traditional debuggers by allowing the user to specify breakpoint assertions, rather than breakpoint locations. Assertions are logical relations among various components of the program state. If an assertion becomes false during execution of the object program, a breakpoint is executed and control is passed to the user's terminal. ALADDIN can also be used as a testing tool to verify that asserted behavior matches actual behavior under various sets of input data and test conditions.

关键词： Testing Assembly Language debugging Assertions debugging interactive debugging Software Tools

来源：评论

学校读者我要写书评

暂无评论

Are query-based ontology debuggers really helping knowledge engineers?

引用

KNOWLEDGE-BASED SYSTEMS 2019年第0期179卷 92-107页

作者： Rodler, Patrick Jannach, Dietmar Schekotihin, Konstantin Fleiss, Philipp Univ Klagenfurt Dept Appl Informat A-9020 Klagenfurt Austria

Real-world semantic or knowledge-based systems can become large and complex, e.g., in the biomedical domain. Tool support for the localization and repair of faults within knowledge bases of such systems can therefore be essential for their practical success. Correspondingly, a number of knowledge base debugging approaches, in particular for ontology-based systems, were proposed in recent years. Query-based debugging is a comparably recent interactive approach that localizes the true cause of an observed problem by asking knowledge engineers a series of questions. Concrete implementations of this approach exist, such as the OntoDebug plug-in for the ontology editor Protege. To validate that a newly proposed method is favorable over an existing one, researchers often rely on simulation-based comparisons. Such an evaluation approach however has certain limitations and often cannot fully inform us about a method's true usefulness. We therefore conducted a range of user studies to assess the practical value of query-based ontology debugging. One main insight from the studies is that the considered interactive approach is indeed more efficient than an alternative algorithmic debugging based on test cases. We also observed that users frequently made errors in the process, which highlights the importance of a careful design of the queries that users need to answer. (C) 2019 Elsevier B.V. All rights reserved.

关键词： Knowledge base debugging interactive debugging User study Ontologies Model-based diagnosis Protege Ontology debugging tool

来源：评论

学校读者我要写书评

暂无评论

A DEBUGGER FOR A GRAPHICAL WORKSTATION

引用

SOFTWARE-PRACTICE & EXPERIENCE 1987年第9期17卷 647-662页

作者： BOVEY, JD Computing Laboratory University of Kent at Canterbury Canterbury Kent CT2 7NF U.K

This paper describes the ups source-level debugger. Ups , which is designed to take advantage of the graphics and mouse available on a workstation, displays the debugged program's current state in the form of a hierarchically structured document in which items of interest can be expanded to show more detail. User interaction is via a system of menus and editable subfields, the intention being to create a debugger which has a lot of functionality but is easy to learn and easy to remember. The paper describes the ups user interface itself and discusses its implementaion, which may be of interest to anyone writing a program with an interface based on menus and editable fields. There is also a discussion of some of the problems that will be encountered by anyone trying to write a new debugger to run in an existing environment.

关键词： interactive debugging User interface Graphical workstation

来源：评论

学校读者我要写书评

暂无评论

AN INCREMENTAL PROGRAMMING ENVIRONMENT

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1981年第5期7卷 472-482页

作者： MEDINAMORA, R FEILER, PH Department of Computer Science Carnegie-Mellon University

An incremental programming environment (IPE) has been developed at Carnegie-Mellon University (Pittsburgh, Pennsylvania), supporting the programmer who works with compiler-based languages. In a traditional environment, such a programmer's tools are an editor, a translator, a linker and loader, and a debugger. These tools reflect the typical order of programming tasks: to enter and modify, to compile, to link and load, and to debug. This cycle is repeated until the program appears to be correct. The IPE approach improves on the traditional tools by providing such facilities as a syntax-directed program editor. The programmer communicates with the editor in terms of language constructs, requesting templates which the editor provides, leaving only holes to be filled. An IPE prototype is running under the UNIX operating system on a DEC/VAX. Initial implementation indicates that the interactive IPE based on compilation is feasible.

关键词： Syntax Directed Editing Ada Environments Incremental Compilation Incremental Program Construction interactive debugging Programming Environments Programming Methodology Software Development Environments

来源：评论

学校读者我要写书评

暂无评论

One step at a time: An efficient approach to query-based ontology debugging

引用

KNOWLEDGE-BASED SYSTEMS 2022年 251卷

作者： Rodler, Patrick Univ Klagenfurt Univ Str 65-67 Klagenfurt Austria

When ontologies reach a certain size and complexity, faults such as inconsistencies, unsatisfiable classes or wrong entailments are hardly avoidable. Locating the incorrect axioms that cause these faults is a hard and time-consuming task. Addressing this issue, several techniques for a semi-automatic fault localization in ontologies have been proposed and extensively studied. One class of these approaches involve a human expert who provides answers to system-generated queries about the intended (correct) ontology in order to reduce the possible fault locations. To suggest as informative questions as possible, existing methods draw on various algorithmic optimizations as well as heuristics. However, these computations are often based on certain assumptions about the interacting expert. In this work, we demonstrate that these assumptions might not always be adequate and discuss consequences of their violations. In particular, we characterize a range of expert types with different query answering behavior and show that existing approaches are far from achieving optimal efficiency for all of them. In addition, we find that the cost metric adopted by state-of-the-art techniques might not always be realistic and that a change of metric has a decisive impact on the best choice of query answering strategy. As a remedy, we suggest a new - and simpler - type of expert question that leads to a stable fault localization performance for all analyzed expert types and effort metrics, and has numerous further advantages over existing techniques. Moreover, we present an algorithm which computes and optimizes this new query type in worst-case polynomial time and which is fully compatible with existing concepts (e.g., query selection heuristics) and infrastructure (e.g., debugging user interfaces) in the field. Comprehensive experiments on faulty real-world ontologies attest that the new querying method is substantially and statistically significantly superior to existing techniques b

关键词： Ontology debugging Query -based ontology debugging interactive debugging Fault localization Sequential diagnosis Expert questions Ontology quality assurance Ontology repair Test-driven debugging Singleton query Model -based diagnosis Semantic Web User interaction Effort minimization Performance optimization Entailment Test cases Query computation Query selection One-step lookahead debugging cost criteria Query quality assessment Expert types Heuristics Knowledge -base debugging OntoDebug Protege

来源：评论

学校读者我要写书评

暂无评论

interactive Runtime Verification - a Ph.D to Improve Bug Detection and Understanding 28

Interactive Runtime Verification - a Ph.D to Improve Bug Det...

引用

28th IEEE International Symposium on Software Reliability Engineering

作者： Jakse, Raphael Univ Grenoble Alpes CNRS INRIA Grenoble INPLIG F-38000 Grenoble France

ISBN: (纸本)9781538623879

Bugs cannot always be avoided and can have various consequences on the reliability of softwares. Techniques for finding and undestanding bugs are therefore needed for developers to be able to fix them. Existing techniques for finding and getting insight on bugs have limitations. Static analysis cannot detect every bugs, interactive debugging can be tedious, Runtime Verification usually does not have built-in mechanism to study bugs that are detected. This paper presents ongoing work as part of a Ph.D to fight against these limitations. More precisely, we introduce interactive Runtime Verification, an approach that combines interactive debugging and Runtime Verification, and work needed around this approach.

关键词： interactive debugging Monitoring Property Runtime verification

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：