An execution backtracking facility in interactive source debuggers allows users to mirror their thought processes while debugging — working backwards from the location where an error is manifested and determining the conditions under which the error occurred. Such a facility also allows a user to change program characteristics and reexecute from arbitrary points within the program under examina...

あらまし 正常に機能することが事前にわかっているリビジョンと,欠陥が含まれるリビジョンとの差分に着 目して自動的にテストを行うことで,欠陥の原因を特定する研究が行われている.しかし,テストの度にソース プログラムからソフトウェアを作成する必要があるため,非常に多くのテスト時間が必要となっていた.また, テスト作業にのみ重点が置かれており,デバグ作業まで考慮されておらず,実用的とはいえなかった. そこで本研究では,従来よりもテスト実行時間を減らし,テストからデバグまでの一連の流れを支援することで 実際のソフトウェア保守に利用可能なデバグ手法 DMETの提案を行う.また,本手法の有効性を確認するため, DMETを用いた開発支援環境 DSUSの実装を行い,比較実験を行った.その結果,DMETを用いることにより, デバグ時間全体を短縮できることがわかった. キーワード リビジョン管理,差分,デバグ

"Act in haste and repent at leisure; code too soon, and debug forever." Raymond Kennington In their paper on debugging, Lora Delwiche and Susan Slaughter say that good debuggers make good programmers. Let's take that one step further to say that good analysts and problem-solvers make good programmers. Just because a SAS® program is free of errors, warnings, notes, and bugs does not guarantee th...

Developing model-based automatic debugging strategies has been an active research area for several years. We analyze shortcomings of previous modeling approaches when dealing with objectoriented languages and present a revised modeling approach. We employ Abstract Interpretation, a technique borrowed from program analysis, to improve the debugging of programs including loops, recursive procedur...

This report documents the program and the outcomes of Dagstuhl Seminar 13061 “Fault Prediction, Localization, and Repair”. Software debugging, which involves localizing, understanding, and removing the cause of a failure, is a notoriously difficult, extremely time consuming, and human-intensive activity. For this reason, researchers have invested a great deal of effort in developing automated t...

Visual parallel programming environments significantly can help nonexperienced end-users to write their applications for parallel computers or other parallel/distributed platforms. P-GRADE is an integrated visual programming environment that supports the whole life-cycle of parallel program development. It also facilitates fast reengineering of sequential programs into parallel ones. A unified ...

The testing and debugging of complex programs has always been one of the most cost-determining factors in software design. This is even more true when parallel programs are considered. Debugging them is often based on a debugging cycle. First we make an assumption about the probable source of the bug, and next the validity of this assumption is verified. By repeatedly applying this technique, w...

An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, methods for debugging an answer-set program are recognised as a crucial step in this regard. Initial work on debugging in ASP mainly focused on propositional programs, yet practical debuggers need to handle programs with ...

In this paper we describe a program analysis system called CLPKIDS, that is based on program dependence analysis, to support development of software engineering tools for understanding, testing, debugging, maintenance and complexity measurement of concurrent logic programs.

The main goal of Fiddle, a distributed debugging engine, is to provide a flexible platform for developing debugging tools. Fiddle provides a layered set of interfaces with a minimal set of debugging functionalities, for the inspection and control of distributed and multi-threaded applications. This paper illustrates how Fiddle is used to support integrated testing and debugging. The approach de...