Презентация на тему: Инструменты отладки
презентация к уроку

Слайд 1

Честно сделанные ошибки следует считать не неудачами, а семенами для основной деятельности по их исправлению. Стивен Джей Гоулд ( Stephen Jay Gould , 1941–2002), американский геолог, палеонтолог и философ науки.

Слайд 2

Инструменты отладки

Слайд 3

Содержание занятия: Основные понятия. Методы отладки программ Заповеди отладки Инструменты отладки Практическое задание.

Слайд 4

Отладка ПС - это деятельность, направленная на обнаружение и исправление ошибок в ПС с использованием процессов выполнения его программ. Тестирование ПС - это процесс выполнения его программ на некотором наборе данных, для которого заранее известен результат применения или известны правила поведения этих программ. Указанный набор данных называется тестовым или просто тестом . Основные понятия

Слайд 5

Основные понятия В зарубежной литературе отладку часто понимают только как процесс поиска и исправления ошибок (без тестирования), факт наличия которых устанавливается при тестировании. Иногда тестирование и отладку считают синонимами. В нашей стране в понятие отладки обычно включают и тестирование, поэтому мы будем следовать сложившейся традиции. Впрочем совместное рассмотрение в данной лекции этих процессов делает указанное разночтение не столь существенным. Следует однако отметить, что тестирование используется и как часть процесса аттестации ПС

Слайд 6

Методы отладки программ Д ля от­сле­жи­ва­ния и кон­тро­ля со­стоя­ний вы­чис­лительного про­цес­са при их от­лад­ке при­ме­ня­ют: руч­ную (desk checking) ; по­ша­го­вую ( single-step operation ) ; отладку программ по пред­ва­ри­тель­но за­дан­ным точ­кам ос­та­но­ва ( break­points – мет­кам опе­ра­то­ров) ; и др.

Слайд 7

Заповеди отладки Заповедь 1. Считайте тестирование ключевой задачей разработки ПС, поручайте его самым квалифицированным и одаренным программистам; нежелательно тестировать свою собственную программу. Заповедь 2. Хорош тот тест, для которого высока вероятность обнаружить ошибку, а не тот, который демонстрирует правильную работу программы. Заповедь 3. Готовьте тесты как для правильных, так и для неправильных данных.

Слайд 8

Заповедь 4. Избегайте невоспроизводимых тестов, документируйте их пропуск через компьютер; детально изучайте результаты каждого теста. Заповедь 5. Каждый модуль подключайте к программе только один раз; никогда не изменяйте программу, чтобы облегчить ее тестирование. Заповедь 6. Пропускайте заново все тесты, связанные с проверкой работы какой-либо программы ПС или ее взаимодействия с другими программами, если в нее были внесены изменения (например, в результате устранения ошибки). Заповеди отладки

Слайд 9

Инструменты отладки Раз­ра­бо­та­ны специальные про­грамм­ные сред­ст­ва (ин­ст­ру­мен­ты) для про­ве­де­ния отладки программ, сре­ди ко­то­рых наи­бо­лее по­пу­ляр­ны так называемые от­лад­чи­ки. Они име­ют удоб­ный поль­зо­ва­тель­ский ин­тер­фейс, по­зво­ля­ют про­во­дить отладку программ по­ша­го­во и с пред­ва­ри­тель­но за­дан­ны­ми (за­ка­зан­ны­ми) точ­ка­ми ос­та­но­ва, про­смат­ри­вать и из­ме­нять со­стоя­ние вы­де­лен­ной об­лас­ти па­мя­ти, кон­тро­ли­ро­вать различную ин­фор­ма­цию на эта­пе вы­пол­не­ния.

Слайд 10

Инструменты отладки От­лад­чи­ки час­то ин­тег­ри­ро­ва­ны в сис­те­му раз­ра­бот­ки ко­да про­грамм ( например Eclipse CDT, MS Visual Studio ). Ши­ро­ко ис­поль­зу­ют­ся ин­ст­ру­мен­ты ди­на­мического и ста­тического ана­ли­за. Ди­на­ми­че­ские ана­ли­за­торы ( Valgrind ) кон­тро­ли­ру­ют вре­мя вы­пол­не­ния уча­ст­ков ко­да про­грам­мы, на­хо­дят точ­ки (об­лас­ти) не­кор­рект­ной ра­бо­ты с па­мя­тью и объ­ек­та­ми опе­ра­ци­он­ной сис­те­мы и др. Ста­ти­че­ские ана­ли­за­то­ры ( например Kloc­work ) вы­яв­ля­ют ошиб­ки вы­хо­да (об­ра­ще­ния) за гра­ни­цы мас­си­вов, по­тен­ци­аль­ные про­бле­мы безо­пас­но­сти, т. н. утеч­ки па­мя­ти, не­кор­рект­ность ис­поль­зо­ва­ния сис­тем­ных ре­сур­сов и др.

Слайд 11

Инструменты отладки По­пу­ляр­ны так­же ска­не­ры ин­тер­фей­сов (напр., Wire­shark , по­зво­ляю­щий осу­ще­ст­в­лять се­те­вой мо­ни­то­ринг). Од­на­ко для ана­ли­за ти­пич­ных оши­бок па­рал­лель­ных или мно­го­по­точ­ных при­ло­же­ний, напр. т. н. гон­ки дан­ных, ту­пи­ков (вза­им­ной бло­ки­ров­ки про­цес­сов), по­то­ков в со­стоя­нии ожи­да­ния, по­те­рян­ных сиг­на­лов, тре­бу­ют­ся спе­циа­ли­зир . сред­ст­ва от­лад­ки па­рал­лель­ных при­ло­же­ний (напр., Intel Thre­ad Checker ). Сле­ду­ет от­ме­тить, что наи­бо­лее эф­фек­тив­но ком­плекс­ное при­ме­не­ние ин­ст­рументов О. п., по­сколь­ку кон­крет­ные про­грамм­ные сред­ст­ва обес­пе­чи­ва­ют по­иск лишь оп­ре­де­лён­ных ти­пов оши­бок.

Слайд 12

Литература 1 . Вигерс , Карл Разработка требований к программному обеспечению / Карл Вигерс , Джой Битти. - М.: БХВ-Петербург, Русская Редакция, 2014. - 736 c. 2 . Касперски , Крис Техника отладки программ без исходных текстов / Крис Касперски . - М.: "БХВ-Петербург", 2005. - 832 c. 3. Керниган , Брайан Практика программирования / Брайан Керниган , Роб Пайк . - М.: Вильямс, 2015. - 288 c. 4. Клейн, Тобиас Дневник охотника за ошибками. Путешествие через джунгли проблем безопасности программного обеспечения / Тобиас Клейн. - М.: "ДМК пресс. Электронные книги", 2013. - 240 c. 5 . Левинсон, Джефф Тестирование ПО с помощью Visual Studio 2010 / Джефф Левинсон. - М.: ЭКОМ Паблишерз , 2012. - 314 c. 6 . Фаулер , Мартин Рефакторинг . Улучшение существующего кода / Мартин Фаулер . - М.: Символ-плюс, 2008. - 432 c .