Automated Debugging Method Using Data Checking Specifications
スポンサーリンク
概要
- 論文の詳細を見る
An Automated Debugging Method for large-scale software systems and an experiment performed to determine its effectiveness are described. Debugging steps performed by experienced programmers, such as analyzing memory dump lists, can be done by machines even though there are a variety of target software. In paticular, checking data values, using templates of data structures declared in a program, can be perform by the machine more quickly and accurately. The method described here consists of Data Checking Specification description Language(DCSL), Data Checking Program Generation, and Execution History Information Compression for debugging. A prototype system CHASE(CHecking and Analyzing System for program Errors), that realizes partial specification of the method, was constructed and applied to two software systems (FORTRAN and COBOL compilers) in order to perform the automatic data checking experiment. About 15% of the seeded buges, which simulate real bugs of the compilers detected after delivery, were analyzed automatically by this experiment.
- 一般社団法人情報処理学会の論文
- 1983-11-20
著者
-
Takahashi Muneo
Data Communication Development Division Yokosuka Electrical Communication Laboratory Nippon Telegrap
-
NAGANO HIRONOBU
Data Communication Development Division, Yokosuka Electrical Communication Laboratory, Nippon Telegr
-
HANATA SHUETSU
Data Communication Development Division, Yokosuka Electrical Communication Laboratory, Nippon Telegr
-
MIKAMI TETSURO
Data Communication Development Division, Yokosuka Electrical Communication Laboratory, Nippon Telegr
-
Mikami Tetsuro
Data Communication Development Division Yokosuka Electrical Communication Laboratory Nippon Telegrap
-
Nagano Hironobu
Data Communication Development Division Yokosuka Electrical Communication Laboratory Nippon Telegrap
-
Hanata Shuetsu
Data Communication Development Division Yokosuka Electrical Communication Laboratory Nippon Telegrap