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.


 

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

45744. Бахтин. Эстетика словесного творчества 28.5 KB
  Содержание: 1От составителя 2 Искусство и ответственность 3Автор и герой в эстетической деятельности 4Проблема отношения автора к герою 5Пространственная форма героя 6Временное целое героя проблема внутреннего человека души 7 Смысловое целое героя 8 Проблема автора 9 Из книги Проблемы творчества Достоевского 10 Постановка проблемы романа воспитания 11 Проблема речевых жанров I . Опыт философского анализа 13 К переработке книги о Достоевском 14 Из записей 1970 1971 годов 15К методологии гуманитарных наук В книге...
45745. Символический обмен и смерть 23.5 KB
  Установив этот факт Бодрийяр деконструирует оппозиции заявляя что принцип симуляции правит нами сегодня вместо прежнего принципа реальности. Этот эффект получил название эмансипации знака или симуляции которая характеризует современную эпоху. Отсюда Бодрийяр делает вывод что ни представительная демократия ни социальная революция в эру симуляции невозможна.
45746. Бэкон. Новый органон 28 KB
  Фрэнсис Бэкон 15611626 основатель современного индуктивного метода. Бэкон верил что он имеет метод при помощи которого индукция сможет сделать нечто большее чем это. Одна из наиболее знаменитых частей философии Бэкона это его перечисление того что он называет идолами под которыми подразумевает плохие привычки ума которые приводят людей к ошибкам.Индуктивный метод Бэкона ошибочен изза того что он недостаточно подчеркивал значение гипотез.
45747. Философия Макса Вебера 42.5 KB
  Макс Вебер отмечает несомненное преобладание протестантов среди владельцев капитала и предпринимателей. Книга включает 2 части 5 глав: Постановка проблемы Предварительные замечания и 3 главы; Профессиональная этика аскетического протестантизма 2 главы Вебер – социолог. Вебера показывает взаимосвязь протестантских религиозных ценностей и развития духа капитализма утверждая что в странах где эти ценности доминировали быстрее и легче утверждались капиталистические отношенияъВ книге М. Вебера “ПРОТЕСТАНТСКАЯ ЭТИКА И ДУХ...
45748. Философские исследования 33.5 KB
  Философские исследования - одна из двух наряду с Логико-философским трактатом важнейших работ крупнейшего философа XX века Людвига Витгенштейна суммирующая его поздние взгляды. В отличие от Трактата в данной работе объектом исследования Витгенштейна выступает не идеальный язык язык как картина мира который есть всё то что происходит а обыденный язык человеческого общения. Идеи Витгенштейна нашли отражение и в философии постмодернизма. Кроме того влияние Философских исследований прослеживается в современной литературе...
45749. Истина и метод 25 KB
  Истина и метод Whrheit und Methode 1960. Как и в сфере искусства в историческом познании истина раскрывается не только в научных суждениях выносимых с воображаемой дистанции по отношению к предмету и обеспеченных определенными правилами метода но и благодаря вовлеченности познающего в целостность исторического процесса который самим познающим и совершается. Эстетическая равно как и историческая истина есть истина которую совершают осуществляют.
45750. Гегель. Наука Логики 27.5 KB
  Наука Логики. В этом смысле наука логики есть изложение самой Абсолютной Идеи в ее необходимом развертывании. Именно в этом смысле Наука логики является фундаментом всей системы гегелевской философии. Следует заметить что Наука логики не опровергает формальную логику но по замыслу Гегеля развивает понимание логического до уровня спекулятивного.
45751. Гегель. Кто мыслит абстрактно? 31.5 KB
  Кто мыслит абстрактно в ней речь идетде о метафизике. доказывается что какие бы то ни было объяснения на этот счет совершенно излишни: именно потому что свет прекрасно знает что такое абстрактное он его и избегает. в добропорядочном обществе каждый из присутствующих прекрасно знает что значит мыслить и что такое абстрактно а именно в таком обществе мы и находимся. Вопрос стало быть заключается только в том чтобы показать на того кто мыслит абстрактно.
45752. Гуссерль. Картезианские размышления 40 KB
  Феноменология определяется в данной работе Гуссерля как самоистолкование трансцендентального ego показывающее как оно конституирует в себе трансцендентное; как трансцендентальный идеализм трансцендентальная теория познания в отличие от традиционной где основной проблемой является проблема трансцендентного бессмысленная в феноменологии. Трансцендентальнофеноменологическая редукция эпохé делая мир лишь опытом феноменом обнаруживает что естественному бытию мира в качестве самого по себе более первичного бытия предшествует бытие...