Файл: Отладка и тестирование программ: основные подходы и ограничения (Отладка программ).pdf

ЗАКЛЮЧЕНИЕ

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

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

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

Также были подробно рассмотрены такие понятия, как контрактное программирование и модульное тестирование, приведены примере на языке программирования Python, изучены библиотеки doctest и unittest для организации тестирования программ, написанных на этом языке.

Таким образом, цели и задачи курсовой работы выполнены в полном объеме.

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

• • • 1. Арсеновски, Даниэль Рефакторинг в C# и ASP.NET для профессионалов / Даниэль Арсеновски. – М.: Вильямс, 2010. – 528 c.
      2. Вирт Н. Алгоритмы и структуры данных. Новая версия для Оберона / Н. Вирт; пер. Д. Б. Подшивалов. – 2–е изд., испр. – М.: ДМК Пресс, 2012. – 272 с.
      3. Давыдов В.Г. Visual С++. Разработка Windows–приложений с помощью MFS и API функций / В.Г. Давыдов – СПб.: БХВ – Петербург, 2008. – 576 с.
      4. Демидович Е.М. Основы алгоритмизации и программирования. Язык СИ, учебное пособие / Е. М. Демидович. – 2–е изд., испр. и доп. – СПб.: БХВ – Петербург, 2008. – 440 с.
      5. Касперски, Крис Техника отладки программ без исходных текстов / Крис Касперски. – М.: БХВ–Петербург, 2005. – 165 c.
      6. Керниган, Брайан Практика программирования / Брайан Керниган, Роб Пайк. – М.: Вильямс, 2015. – 288 c.
      7. Кнут Д. Искусство программирования // The art of computer programming: [в 3 т.]. Т.1. Основные алгоритмы / Д. Кнут; ред. Ю. В. Козаченко. – 3–е изд. – М.: Вильямс, 2014. 720 с.
      8. Колдаев В.Д. Основы алгоритмизации и программирования: Учебное пособие / Колдаев В.Д; под ред. проф.Л.Г. Гагариной – М.: ИД ФОРУМ, НИЦ ИНФРА–М, 2016. – 416 с.
      9. Кон, Майк Пользовательские истории. Гибкая разработка программного обеспечения / Майк Кон. – Москва: СПб. [и др.]: Питер, 2012. – 256 c.
      10. Костельцев А. GTK+. Разработка переносимых графических интерфейсов / А. Костельцев – И.: Санкт–Петебург, 2013. – 368 с.
      11. Мэйерс, Скотт Наиболее эффективное использование С++. 35 новых рекомендаций по улучшению ваших программ и проектов / Скотт Мэйерс. – М.: ДМК Пресс, 2014. – 298 c.
      12. Ошероув, Рой Искусство автономного тестирования с примерами на С# / Рой Ошероув. – М.: ДМК Пресс, 2016. – 360 c.
      13. Поляк, Б. Т. Введение в оптимизацию / Б.Т. Поляк. – М.: Ленанд, 2014. – 392 c.
      14. Рэшка, Дж. Тестирование программного обеспечения / Дж. Рэшка. – М.: ЛОРИ, 2013. – 898 c.
      15. Троелсен Э. Язык программирования C# 5.0 и платформа .NET 4.5 / Э. Троелсен, 6–е изд. – М.: Издательский дом «Вильямс», 2013. – 1312 с.
      16. Фаулер, Мартин Рефакторинг. Улучшение существующего кода / Мартин Фаулер. – М.: Символ–плюс, 2008. – 432 c.
      17. Хант, Э. Программист–прагматик. Путь от подмастерья к мастеру / Э. Хант, Д. Томас. – М.: ЛОРИ, 2016. – 270 c.
      18. Хоп, Грегор Шаблоны интеграции корпоративных приложений / Грегор Хоп, Бобби Вульф. – М.: Вильямс, 2015. – 672 c.
      19. Шилдт Г. Полный справочник по С#, 4–ое издание / Г. Шилдт; пер. с англ. – М.: Издательский дом «Вильямс», 2015. – 704 с.
      20. Эванс, Эрик Предметно–ориентированное проектирование (DDD). Структуризация сложных программных систем / Эрик Эванс. – М.: Вильямс, 2015. – 448 c.