Program-delta oriented debugging supporting method DMET

نویسندگان

  • Makoto Matsushita
  • Masayoshi Teraguti
  • Katsuro Inoue
چکیده

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

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

E ective Testing and Debugging Methods and Its Supporting System with Program Deltas

In the maintenance phase of software development, it should be checked that all features are performed correctly after some changes are applied to existing software. However, it is not easy to debug the software when a defect is found to the features which is not changed during the changes, although using a regression test. Existing approaches employs the program deltas to specify defects; they...

متن کامل

Finding Failure Causes through Automated Testing

A program fails. Under which circumstances does this failure occur? One single algorithm, the delta debugging algorithm, suffices to determine these failure-inducing circumstances. Delta debugging tests a program systematically and automatically to isolate failureinducing circumstances such as the program input, changes to the program code, or executed statements.

متن کامل

Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules

Delta abstractions are introduced as a mechanism for managing database states during the execution of active database rules. Delta abstractions build upon the use of object deltas, capturing changes to individual objects through a system-supported, collapsible type structure. The object delta structure is implemented using object-oriented concepts such as encapsulation and inheritance so that a...

متن کامل

Model Checking and Delta Debugging for Automated Fault Localization; A Tutorial

Debugging programs is a complicated and cumbersome task. It is an iterative process which includes hypothesizing the cause of a failure and validating the hypothesis. Since programs comprise of many components with complex interactions this chain often involves several trials. Fault localization (FL) is the task of identifying components that are likely to cause the failure. Automated fault loc...

متن کامل

A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information

Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dependence analyses into two categories, static and dynamic; the former requires little analysis costs, but the resulting slices are large. The latter has opposite characters. In this paper, we propose a program slicing m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Systems and Computers in Japan

دوره 37  شماره 

صفحات  -

تاریخ انتشار 2006