Файл: отладка и тестирование программного обеспечения.pdf

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

Формальная верификация функционально-потоковых параллельным программ, базирующаяся на переборе комбинаций данных, поступающих в асинхронные списки, позволяет проверить зависимость вычислений от последовательности данных и тем самым выявить ряд программных ошибок, связанных с этой особенностью языка программирования.

Список литературы

1. Керниган Брайан. Практика программирования. М.: Вильямс. 2015, 288 стр.

2. Коликова Т.В.. Котляров В.П. Основы тестирования программного обеспечения. М.. Бином. 2010, 285 стр.

3. Хант Э.. Программист-прагматик. Путь от подмастерья к мастеру. М.: ЛОРИ. 2016. 288 стр.

4. Котляров В.П. Технология программирования. Основы современного тестирования программного обеспечения, разработанного на С#: учеб, пособие / под общ. ред. В.П. Котлярова. СПб: СПбГПУ, 2004.

5. Басок Б.М. Тестирование готового к использованию программного продукта // ИТ-Стандарт. - 2018. - Т. 1. - №1-1(14). - С. 1-7.

6. Гусев Е.В., Стефанцов А.В. Технология разработки надежного программного обеспечения // Наноиндустрия. - 2018. - №S. - С. 167-168.

7. Литвиненко А.М., Сметанин К.А. Генерация тестовых данных с использованием генетических алгоритмов // Вестник Липецкого государственного технического университета. - 2018. - №1. - С. 29-35.

8. Золотухина Е.Б., Макарова Е.А. Обзор методов тестирования программного обеспечения И Аллея науки. 2018. - №6. - С. 10-18.

9. Бейзер Б. Тестирование «черного ящика». Технология функционального тестирования программного обеспечения. СПб.: Питер, 2004.

10. Тамре Л. Введение в тестирование программного обеспечения. М.: Вильямс, 2003.

11. Котляров В. IL, Коликова Т.В. Основы тестирования программного обеспечения - М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2006. - 285с.