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.


 

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

4852. Развитие малого предпринимательства в России 324.5 KB
  Развитие малого предпринимательства в России Введение Экономика любой страны не может нормально развиваться без оптимального сочетания крупного, среднего и малого бизнеса. Это доказывает мировая практика. Неотъемлемой частью рыночных отношений являе...
4853. Разработка бизнес-плана предприятия общественного питания ООО Гурман в г. Когалыме 509.5 KB
  Отечественные предприятия имеют относительно небольшой опыт работы в условиях рынка, да и рыночные отношения, еще далеки от их уровня в развитых странах. На многих предприятиях до настоящего времени современные подходы к планированию деятел...
4854. Мотивации трудовой деятельности персонала: теория и практика 406 KB
  Мотивации трудовой деятельности персонала: теория и практика В работе исследованы теоретические основы, в сущности, мотивация трудовой деятельности, мотивация персонала как системы, методы стимулирования персонала. Практический аспект мотивации труд...
4855. Технологии и методы программирования. Конспект лекций 297 KB
  Введение В курсе программирование рассматривается, как методология формализации записи решения задач на языке непосредственно не определяемым исполнителем, но понимаемым им до степени реализации. Эта позиция шире, чем изучение собственно конкретных...
4856. Объектно-ориентированное программирование на языке С++ 343.5 KB
  Объектно-ориентированное программирование на языке С++. Объектно-ориентированное программирование как методология проектирования программных средств. Что такое объектно-ориентированное программирование? Объектно-ориентированное программирование...
4857. Программирование на языке ассемблера 337.5 KB
  Введение Язык ассемблера — это символическое представление машинного языка. Все процессы в персональном компьютере (ПК) на самом низком, аппаратном уровне приводятся в действие только командами (инструкциями) машинного языка. По-настоящему реши...
4858. Основы микропрограммирования на языке Ассемблера. Лабораторные работы 322.5 KB
  Создание первой программы на языке Ассемблера Программирование арифметических операций Работа со строками Написание собственного обработчика прерывания Связь подпрограмм на Ассемблере с программами на языке высокого уровня Лабораторная работа №1 Со...
4859. Спектральный анализ кусочно-линейных функций с разрывами 183.5 KB
  Спектральный анализ кусочно-линейных функций с разрывами Цель работы Разработать приложение Спектральный анализ кусочно-линейных функций с разрывами. Разработать собственный компонент и использовать его в разработанном приложении. Задание к ла...
4860. Развитие языков программирования. Роль С++ в контексте современного программирования 49.5 KB
  Развитие языков программирования. Роль С++ в контексте современного программирования. Под программой будем понимать набор данных и инструкций, выполняемых вычислительным устройством с целью преобразования данных в рамках некоторой задачи, решае...