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

IEEE/ACM 46th International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER)

作者： Sato, Naoto Katsube, Ryota Hitachi Ltd Res & Dev Grp Yokohama Kanagawa Japan

ISBN: (纸本)9798400705007

When a bug is detected by testing a quantum program on a quantum computer, we want to determine its location to fix it. To locate the bug, the quantum program is divided into several segments, and each segment is tested. However, to prepare a quantum state that is input to a segment, it is necessary to execute all the segments ahead of that segment in a quantum computer. This means that the cost of testing each segment depends on its location. We can also locate a buggy segment only if it is confirmed that there are no bugs in all segments ahead of that buggy segment. Since a quantum program is tested statistically on the basis of measurement results, there is a tradeoff between testing accuracy and cost. Although these characteristics are unique to quantum programs and complicate locating bugs, they have not been investigated. We suggest for the first time that these characteristics should be considered to efficiently locate bugs. We are also the first to propose a bug-locating method that takes these characteristics into account. The results from experiments indicate that the bug-locating cost, represented as the number of executed quantum gates, can be reduced with the proposed method compared with naive methods.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Using the Deep Learning-Based Approaches for program debugging and Repair 10

Using the Deep Learning-Based Approaches for Program Debuggi...

引用

10th International Conference on Dependable Systems and Their Applications, DSA 2023

作者： Lin, Tzu-Yang Huang, Chin-Yu Fang, Chih-Chiang National Tsing Hua University Department of Computer Science Hsinchu Taiwan

ISBN: (纸本)9798350304770

Maintenance is the most labor-intensive stage in the Software System Development Life Cycle (SDLC). When an error is detected, an Automatic program Repair (APR) system can locate the error by utilizing fault prediction and then employ search-based or semantic-based repair techniques to attempt to fix it. Finally, the program repair system runs test cases to verify that the errors have been properly repaired and the program's functionality has not been compromised. In this study, we present a novel approach called Deep Learning Based GenProg (DLBGP), which combines deep learning with APR. Our proposed method involves extracting node vectors from the program's Abstract Syntax Tree (AST) and identifying semantic features using a Deep Brief Network (DBN). These semantic features are then used to predict the accuracy of the repair candidates. In experiments conducted on ten subject files in the IntroClass database, our proposed DLBGP model reduced execution time by 64% compared to GenProg while achieving the same number of successful test cases. In summary, we offer a fast, efficient, and easily deployable deep learning program repair method that could prove beneficial to the field of APR. © 2023 IEEE.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Locating Buggy Segments in Quantum program debugging

arXiv

引用

arXiv 2023年

作者： Sato, Naoto Katsube, Ryota Research & Development Group Hitachi Ltd Japan

—When a bug is detected by testing a quantum program on a quantum computer, we want to determine its location to fix it. To locate the bug, the quantum program is divided into several segments, and each segment is tested. However, to prepare a quantum state that is input to a segment, it is necessary to execute all the segments ahead of that segment in a quantum computer. This means that the cost of testing each segment depends on its location. We can also locate a buggy segment only if it is confirmed that there are no bugs in all segments ahead of that buggy segment. Since a quantum program is tested statistically on the basis of measurement results, there is a tradeoff between testing accuracy and cost. Although these characteristics are unique to quantum programs and complicate locating bugs, they have not been investigated. We suggest for the first time that these characteristics should be considered to efficiently locate bugs. We are also the first to propose a bug-locating method that takes these characteristics into account. The results from experiments indicate that the bug-locating cost, represented as the number of executed quantum gates, can be reduced with the proposed method compared with naive methods. © 2023, CC0.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

The Influence of Cognitive Styles and Gender on Visual Behavior During program debugging: A Virtual Reality Eye Tracker Study

引用

HUMAN-CENTRIC COMPUTING AND INFORMATION SCIENCES 2021年 11卷

作者： Hung, Jason C. Wang, Chun-Chia Natl Taichung Univ Sci & Technol Dept Comp Sci & Informat Engn Taichung Taiwan Chang Jung Christian Univ Sch Informat & Design Tainan Taiwan

This study utilized a VR eye-tracker to analyze visual attention as well as compare the differences in internal behavioral cognition during program debugging assignments. In this study, 40 students were recruited as participants who studied C++ programming language courses for at least one year in the department of computer science. Forty participants (27 men and 13 women) were categorized into field independence (FI) and field dependence (FD) groups based on their Group Embedded-Figures Test (GEFT) scores. Based on defined the regions of interest (ROIs), this studyused eye movement indicators to discussthe difference in visual attention between various ROIs during the program debugging task. The results indicated that different participants' cognitive styles led to different gaze sequences of viewing ROIs;no significant difference was identified in students' visual fixation on viewing the ROIs of programs between the FI and FD groups based on the latency of first fixation (LFF);a partly significant difference was identified in students' visual fixation on viewing the ROIs of programs between the FI and FD groups based on the duration of first fixation (DFF);in the FI group, students showed longer fixation durations and fixation counts than their FD counterparts on viewing the ROIs of programs;different gender have different gaze sequences of viewing ROIs;a partly significant difference was identified in students' visual fixation on viewing the ROIs of programs by gender based on the LFF and DFF;man students showed longer fixation durations than women students in viewing the ROIs of programs based on the total fixation duration (TFD);and based on fixation counts (FC), there were inconsistent comparison results in FC by gender in viewing the ROIs of programs.

关键词： Virtual Reality Eye Movement program debugging Visual Attention Cognitive Processes

来源：评论

学校读者我要写书评

暂无评论

A Systematic Review on program debugging Techniques 6th

A Systematic Review on Program Debugging Techniques

引用

6th International Conference on Advanced Computing, Networking, and Informatics, ICACNI 2018

作者： Ghosh, Debolina Singh, Jagannath School of Computer Engineering KIIT Deemed to be University Bhubaneswar751024 India

ISBN: (纸本)9789811396793

In software engineering, debugging is a most tedious job. Finding and correcting the bug takes much more time and effort than coding. Many researchers have worked for making the debugging process easier. Many existing debugging techniques are available. Here, in this paper, we review various new emerging trends of software debugging techniques which is mostly used by the developers or testers for a particular application. © 2020, Springer Nature Singapore Pte Ltd.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

An effective parallel program debugging approach based on timing annotation

arXiv

引用

arXiv 2021年

作者： Chang, Yun Wu, Hsin-I Tsay, Ren-Song Dept. of Computer Science National Tsing-Hua Univeristy Hshinchu City Taiwan

—We propose an effective parallel program debugging approach based on the timing annotation technique. With prevalent multi-core platforms, parallel programming is required to fully utilize the computing power. However, the non-determinism property and the associated concurrency bugs are notorious and remain to be great challenge to designers. We hence propose an effective program debugging approach using the timing annotation technique derived from the deterministic Multi-Core Instruction Set Simulation (MCISS) technology. We hence construct a deterministic execution environment for parallel program debugging and devise a few unique, effective and easy-to-use parallel debugging functions. We modify QEMU and GDB to implement and demonstrate our proposed idea. The usage of our debugger is almost identical to the conventional GDB debugger. Therefore, users may learn how to use the tool seamlessly. © 2021, CC BY-NC-ND.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Visual Attention Analysis During program debugging Using Virtual Reality Eye Tracker 2nd

Visual Attention Analysis During Program Debugging Using Vir...

引用

2nd International Conference on Innovative Technologies and Learning, ICITL 2019

作者： Wang, Chun-Chia Hung, Jason C. Wang, Shih-Cheng Huang, Yueh-Min School of Information and Design Chang Jung Christian University Tainan Taiwan Department of Computer Science and Information Engineering National Taichung University of Science and Technology Taichung Taiwan Department of Engineering Science National Cheng Kung University Tainan Taiwan

ISBN: (纸本)9783030353421

The immersion of virtual reality (VR) has transcended the existing experience of multimedia teaching. This paper aims to design a virtual reality eye tracker device to analyze the cognitive process of program debugging by adopting virtual reality technology to build a 3D code rendering system and, at the same time, using eye tracking technology to study visual attention as well as to analyze and compare the differences in internal behavioral cognition in terms of program debugging. This paper has 32 students as participants who have studied C++ programming language courses for more than one year in the department of computer science. With Unity 3D development tool, the experiment creates a virtual classroom scene and C++ programming language code. The participants’ eye movements are recorded by an eye tracker device integrated in a Head-Mounted Display (HMD). The eye movement defines the regions of interest (ROIs) according to the division of the program’s function, and the difference in visual attention between various ROIs in the code is discussed when the participant performs the program debugging task. The finding results are expected to improve the dilemma of the existing programming teaching, so that the instructors can provide appropriate teaching aids for students to achieve the purpose of programming teaching and improving the students’ programming competence. © Springer Nature Switzerland AG 2019.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Tracking Students' Cognitive Processes During program debugging-An Eye-Movement Approach

引用

IEEE TRANSACTIONS ON EDUCATION 2016年第3期59卷 175-186页

作者： Lin, Yu-Tzu Wu, Cheng-Chih Hou, Ting-Yun Lin, Yu-Chih Yang, Fang-Ying Chang, Chia-Hu Natl Taiwan Normal Univ Grad Inst Informat & Comp Educ Taipei Taiwan Yuanpei Univ Dept Biomed Engn Hsinchu 30015 Taiwan Natl Taiwan Normal Univ Grad Inst Sci Educ Taipei 10607 Taiwan Natl Taiwan Univ Grad Inst Networking & Multimedia Taipei 10617 Taiwan

This study explores students' cognitive processes while debugging programs by using an eye tracker. Students' eye movements during debugging were recorded by an eye tracker to investigate whether and how high- and low-performance students act differently during debugging. Thirty-eight computer science undergraduates were asked to debug two C programs. The path of students' gaze while following program codes was subjected to sequential analysis to reveal significant sequences of areas examined. These significant gaze path sequences were then compared to those of students with different debugging performances. The results show that, when debugging, high-performance students traced programs in a more logical manner, whereas low-performance students tended to stick to a line-by-line sequence and were unable to quickly derive the program's higher-level logic. Low-performance students also often jumped directly to certain suspected statements to find bugs, without following the program's logic. They also often needed to trace back to prior statements to recall information, and spent more time on manual computation. Based on the research results, adaptive instructional strategies and materials can be developed for students of different performance levels, to improve associated cognitive activities during debugging, which can foster learning during debugging and programming.

关键词： Cognition analysis eye-movement analysis program debugging programming instruction

来源：评论

学校读者我要写书评

暂无评论

Automated program debugging for multiple bugs based on semantic analysis 5th

Automated program debugging for multiple bugs based on seman...

引用

5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015

作者： Liu, Aishan Li, Li Luo, Jie Department of Computer Science Beihang University Beijing100191 China

ISBN: (纸本)9783319312194

Fault locating is a time-consuming process. In a previous paper, Liu proposed an algorithm named bounded debugging via multiple predicate switching (BMPS)[1], which try to find a successful execution trace by switching outcomes of multiple predicates. Substantively, BMPS focuses on the program faults which are caused by control flow. However, this kind of faults represent only a small fraction. In this paper, we present an algorithm combining BMPS with a semantic based debugging method, which is aimed at locating more than control flow related faults. The semantic based debugging algorithm generates a sequence of equations from the execution trace of a failed test case, and give a minimum faulty program segment according to solutions of the equations. Our algorithm can locate multiple faults in the program one by one through an iterative and interactive process. Moreover, an optimization based on use-define chain is applied to BMPS for improving efficiency of the algorithm, as well as some other methods. To evaluate out approach, we conduct experiment on Siemens suite. The result indicates that our method has significant improvement on both accuracy and efficiency. © Springer International Publishing Switzerland 2016.

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

Show Me Why It’s Correct: Saving 1/3 of debugging Time in program Repair with Interactive Runtime Comparison

引用

Proceedings of the ACM on programming Languages 2025年第OOPSLA1期9卷 1831-1857页

作者： Wang, Ruixin Zhao, Zhongkai Fang, Le Jiang, Nan Lou, Yiling Tan, Lin Zhang, Tianyi Purdue University United States National University of Singapore Singapore Fudan University China

Automated program Repair (APR) holds the promise of alleviating the burden of debugging and fixing software bugs. Despite this, developers still need to manually inspect each patch to confirm its correctness, which is tedious and time-consuming. This challenge is exacerbated in the presence of plausible patches, which accidentally pass test cases but may not correctly fix the bug. To address this challenge, we propose an interactive approach called iFix to facilitate patch understanding and comparison based on their runtime difference. iFix performs static analysis to identify runtime variables related to the buggy statement and captures their runtime values during execution for each patch. These values are then aligned across different patch candidates, allowing users to compare and contrast their runtime behavior. To evaluate iFix, we conducted a within-subjects user study with 28 participants. Compared with manual inspection and a state-of-the-art interactive patch filtering technique, iFix reduced participants’ task completion time by 36% and 33% while also improving their confidence by 50% and 20%, respectively. Besides, quantitative experiments demonstrate that iFix improves the ranking of correct patches by at least 39% compared with other patch ranking methods and is generalizable to different APR tools. © 2025 Copyright held by the owner/author(s).

关键词： program debugging

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：