FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
0
Citation
0
Reference
10
Related Paper
Abstract:
Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a common occurrence and can propagate through code, leading to flawed results. This paper presents FlowFPX, a toolkit for systematically debugging floating-point exceptions by recording their flow, coalescing exception contexts, and fuzzing in select locations. These tools help scientists discover when exceptions happen and track down their origin, smoothing the way to a reliable codebase.A language specific interactive debugger is one of the tools that we expect in any mature programming environment. We present applications of TIDE: a generic debugging framework that is related to the ASF+SDF Meta-Environment. TIDE can be applied to different levels of debugging that occur in language design. Firstly, TIDE was used to obtain a full-fledged debugger for language specifications based on term rewriting. Secondly, TIDE can be instantiated for any other programming language, including but not limited to domain specific languages that are defined and implemented using ASF+SDF. We demonstrate the common debugging interface, and indicate the amount of effort needed to instantiate new debuggers based on TIDE.
Debugger
Interface (matter)
Algorithmic program debugging
Cite
Citations (30)
Algorithmic program debugging
Cite
Citations (1)
The debugging is that an embedded system develops the essential important link in the course, it accounts for 20%~50% of the whole construction period. This text makes an introduction to the commonly used debugging method, analyzed and relatively debugging methods and the characteristic of the debugging tools. Have offered reference for choosing the suitable debugging tools under different conditions , contribute to the embedded system and debug the improvement of performance.
Algorithmic program debugging
Cite
Citations (0)
We conducted a study to demonstrate that formal training in debugging helps students develop skills in diagnosing and removing defects from computer programs. To accomplish this goal in an assembly language course, we designed multiple activities to enhance students' debugging skills. These activities included debugging exercises, debugging logs, development logs and reflective memos, and collaborative assignments. In a previous paper, we reported positive qualitative results. Students agreed that formal debugging training enhanced their debugging skills. In this paper, we present positive quantitative results that support our previous qualitative results. Students who completed the optional debugging exercises spent significantly less time on debugging their programs than those who did not. Furthermore, we develop a model of debugging abilities and habits based on students' comments in their debugging logs, development logs, reflective memos, and evaluation surveys. Students and educators could use the model to diagnose students' current debugging skills and take actions to enhance their skills.
Algorithmic program debugging
Cite
Citations (72)
This chapter presents an overview of the issues affecting and the tools used for the debugging of rule bases. It describes the challenges in debugging rules, presents a classification of the debugging methods developed in academia and the tools currently used in practice. This chapter explains the main debugging paradigms for rule based systems: Procedural Debugging, Explanations, Why-Not Explanations, Algorithmic Debugging, Explorative Debugging, Automatic Theory Revision and Automatic Knowledge Refinement.
Algorithmic program debugging
Cite
Citations (6)
Debugging is a distinct subject in programming that is both comprehensive and challenging for novice programmers. However, instructors have limited opportunities to gain insights into the difficulties students encountered in isolated debugging processes. While qualitative studies have identified debugging strategies that novice programmers use and how they relate to theoretical debugging frameworks, limited larger scale quantitative analyses have been conducted to investigate how students' debugging behaviors observed in log data align with the identified strategies and how they relate to successful debugging. In this study, we used submission log data to understand how the existing debugging strategies are employed by students in an introductory CS course when solving homework problems. We identified strategies from existing debugging literature that can be observed with trace data and extracted features to reveal how efficient debugging is associated with debugging strategy usage. Our findings both align with and contradict past assumptions from previous studies by suggesting that minor code edition can be a beneficial strategy and that width and depth aggregations of the same debugging behavior can reveal opposite effects on debugging efficiency.
Algorithmic program debugging
TRACE (psycholinguistics)
Cite
Citations (3)
We conducted a study to demonstrate that formal training in debugging helps students develop skills in diagnosing and removing defects from computer programs. To accomplish this goal in an assembly language course, we designed multiple activities to enhance students' debugging skills. These activities included debugging exercises, debugging logs, development logs and reflective memos, and collaborative assignments. In a previous paper, we reported positive qualitative results. Students agreed that formal debugging training enhanced their debugging skills. In this paper, we present positive quantitative results that support our previous qualitative results. Students who completed the optional debugging exercises spent significantly less time on debugging their programs than those who did not. Furthermore, we develop a model of debugging abilities and habits based on students' comments in their debugging logs, development logs, reflective memos, and evaluation surveys. Students and educators could use the model to diagnose students' current debugging skills and take actions to enhance their skills.
Algorithmic program debugging
Cite
Citations (19)
In 1997, Henry Lieberman stated that debugging is the dirty little secret of computer science. Since then, several promising debugging technologies have been developed such as back-in-time debuggers and automatic fault localization methods. However, the last study about the state-of-the-art in debugging is still more than 15 years old and so it is not clear whether these new approaches have been applied in practice or not. For that reason, we investigate the current state of debugging in a new comprehensive study. First, we review the available literature and learn about current approaches and study results. Second, we observe several professional developers while debugging and interview them about their experiences. Based on these results, we create a questionnaire that should serve as the basis for a large-scale online debugging survey later on. With these results, we expect new insights into debugging practice that help to suggest new directions for future research.
Algorithmic program debugging
Software bug
Cite
Citations (15)
Algorithmic program debugging
Cite
Citations (93)
The nationally-recognized Susquehanna
Chorale will delight audiences of all
ages with a diverse mix of classic and
contemporary pieces. The ChoraleAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂA¢AÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂs
performances have been described
as AÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂA¢AÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂemotionally unfiltered, honest
music making, successful in their
aim to make the audience feel,
to be moved, to be part of the
performance - and all this while
working at an extremely high
musical level.AÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂA¢AÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂAÂA Experience choral
singing that will take you to new
heights!
Cite
Citations (0)