77281

To Reality of Automation Debugging of Programs with Large Executing Time

Научная статья

Информатика, кибернетика и программирование

Shrf Yekterinburg Debugging is process of locliztion nd correction of progrm errors. Modern debuggers supporting monitoring during progrm execution help in locliztion of errors. But lmost ll of monitoring control nd the dt nlysis re entrusted to progrmmers.

Английский

2015-02-02

23 KB

0 чел.

To Reality of Automation Debugging of Programs with Large Executing Time

Elena V. Rubilova, Sergey V. Sharf

Yekaterinburg

Debugging is a process of localization and correction of program errors. Modern debuggers supporting monitoring during program execution, help in localization of errors. But almost all of monitoring control and the data analysis are entrusted to programmers. It is seemed, that for many types of errors one may automate partly analysis process. There are tools that take a part of the analysis on itself for errors of the some types, for example, memory escapes and use of indeterminate indexes. The automatic analysis is widely applied in the systems supporting relative (comparative) debugging. The standard program and/or the standard run of given systems are used and traces of program execution are kept.

Notice however, that debugging is always the comparative process. But as usual the standard is presented only in a mental form in users mind. Thus for the beginning the error search it is important to know only about abnormality of the program data. In particular, abnormality markers may be connected with such program failures as division into a zero, the incorrect memory references or operations of an assert-condition. In case of “floating” errors, analysis of the program data generated during different runs, may allow to find out distinguished values of variables under consideration. In other cases it is possible to base on the programmer instruction.

It is difficult task to build dependences of concrete value from other. There is solving of its task during compilation processes, but for some unknown reason the results do not use in debuggers.

Our main idea consists of revealing of dependences for a variable containing the incorrect data, and finding based on them the place of an error in the program. To evaluate complexity of various approaches to realization of this idea the prototype of a relative debugger is developed now. This debugger is realized partly. Also the new command is added to GDB debugger.

Architecturally the relative debugger prototype consists of functional blocks, each of them may be realized separately. The prototype framework is realized as a set of Java classes and interfaces with concretization to debug by GDB-debugger C programs. Comparison of program data, a finding of discrepancy on control points and localization of initial discrepancy is carried out. The following problems were found out.

When programs are changed there are difficulties with automatic comparison of code fragments from one and another variants of the program. But when a usual debugger is under consideration there are no any changes in the program in case of a floating error. One of ways to overcome these difficulties is to realize an effective user-debugger interaction. That is efficiency may be achieved by well designed interface and increasing of debugging means.

In the case of programs with large executing time the error waiting time is too large also. In turn that is why the debugging time is large in the case when debuggers are based on restarts of programs. We suppose that in our case this time may be shorter by application of state conservation points. Furthermore the number of restarts may be reduced by deeper monitoring and the analysis of its results.

The addition of the new command in GDB debugger has shown, that this way is real also. The choice of control points at the following start sets a history of change of a variable. The analysis of a history is carried out due to installation of a point of tracking with preservation of a place of updating of variable values. The results of our projects allow to draw a conclusion about an opportunity of the further automation of debugging process. Thus the question is, first of all, simplification of search for difficult cases of floating errors in programs with large executing time, including parallel ones.


 

А также другие работы, которые могут Вас заинтересовать

69581. Удаленный доступ 4.83 MB
  Пример: пусть некоторый удаленный пользователь хочет подключиться к своей корпоративной сети будучи в командировке. Для этого в его корпоративной сети должен быть компьютер готовый принимать входящие подключения по телефонной сети общего пользования или по сети ISDN.
69582. Заголовок IP пакета 4.7 MB
  Так же заголовок IP пакета может дополнительно содержать в себе не обязательно используемые поля опции. Опции могут как присутствовать в пакете так и отсутствовать их длина при этом не может превысить 40 байт. Опции в IP пакете используются не часто в основном с целью диагностики...
69583. Практическая маршрутизация 3.72 MB
  При построении IP сетей особое внимание следует уделять соответствию присвоенных адресов интерфейсов маршрутизатора и подключенных кабелей. Иначе возможны ситуации когда, например, к порту маршрутизатора 1.0.0.1 подключен по невнимательности узел 2.0.0.10.
69584. Протокол ICMP 3.35 MB
  В любой IP сети, не зависимо от ее размеров и сложности построения, возникает потребность в диагностике различных проблем. Например, существует необходимость проверить возможность обмена пакетами с определенным узлом. С одной стороны, это можно сделать, обратившись к любой службе...
69585. RIP практика 3.01 MB
  На прошлом уроке были рассмотрены основные приемы конфигурации протокола RIP. Для закрепления полученных знаний и приобретения практических навыков конфигурирования составных сетей, работающих под управлением протокола RIP, рассмотрим примеры настроек приведенных схем.
69586. ICMP сетевой администратор 2.56 MB
  Проверить возможность обмениваться пакетами произвольной длины между своим узлом и любым узлом составной сети с помощью сообщений типа 0 и 8 (Echo и Echo Reply Message). Проверить время отклика стека на станции с помощью сообщений типа 13 и 14 (Timestamp и Timestamp Reply).
69587. ARP 2.54 MB
  Теоретическая возможность взаимодействия в составных сетях, как следует из рассмотренных ранее тем, существует. Для более детального изучения данного процесса необходимо перейти к изучению его отдельных составляющих. Последовательное рассмотрение этапов взаимодействия при передаче...
69588. ТЕПЛОВІДДАЧА ВЕРТИКАЛЬНОЇ ТРУБКИ ЗА УМОВ ВІЛЬНОГО РУХУ ПОВІТРЯ (ПРИРОДНА КОНВЕКЦІЯ) 414 KB
  У цій лабораторній роботі необхідно: Експериментально визначити значення локальних та середніх коефіцієнтів тепловіддачі для умов вільного руху повітря поблизу поверхні вертикальної трубки а також знайти локальну товщину граничного пласту рідини для фіксованих значень подовжньої...