Принципы отладки программных продуктов

18.12.2010, 21:11. **Показов** 2757. **Ответов** 5

Author24 — интернет-сервис помощи студентам

принципы отладки программных продуктов. кто что знает пишите

@~~Kami-sama~~ · 19.12.2010, 18:06

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

@Хохол · 26.12.2010, 21:16

Kami-sama, жжешь.

@~~Kami-sama~~ · 26.12.2010, 21:41

Проблемы?

@CheshireCat · 24.03.2011, 10:09

Сообщение от Kami-sama

Для алгоритмов прошедших формальную верификацию потребности в "отладке" не возникает.

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

@resource2008 · 03.05.2011, 01:24

отладка...
если пишешь для лабораторной работы программу - основная задача "компилится и отлично"

если что-то маленькое и любительское - основная задача "компилится и вроде бы работает, и кажется даже правильно работает"

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

конечное тестирование готового продукта производится пользователями

natoosik
		1
	Принципы отладки программных продуктов 18.12.2010, 21:11. Показов 2757. Ответов 5 Метки нет (Все метки) принципы отладки программных продуктов. кто что знает пишите

@~~Kami-sama~~ Заблокирован
	19.12.2010, 18:06	2
	Отладка... Хм, что-то знакомое, что-то примитивное, что-то из эры императивных динозавров. Для алгоритмов прошедших формальную верификацию потребности в "отладке" не возникает. 0

@Хохол 476 / 444 / 34 Регистрация: 20.11.2009 Сообщений: 1,293
	26.12.2010, 21:16	3
	Kami-sama, жжешь. 0

@~~Kami-sama~~ Заблокирован
	26.12.2010, 21:41	4
	Проблемы? 0

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	24.03.2011, 10:09	5
	Сообщение от Kami-sama Для алгоритмов прошедших формальную верификацию потребности в "отладке" не возникает. Это, конечно же, верно. Проблема только в том, что декларатив хорош для тривиальных задачек в стиле "прочитали цифирки из одного файла - посчитали по умопомрачительно сложному, но формально верифицированному алгоритму - записали цифирки в другой файл, готово!". Для любой же реальной более-менее сложной задачи трудоемкость этой самой формальной верификации получается сущееееественно выше трудоемкости традиционной отладки....... 0

@resource2008 111 / 112 / 18 Регистрация: 11.03.2011 Сообщений: 421
	03.05.2011, 01:24	6
	отладка... если пишешь для лабораторной работы программу - основная задача "компилится и отлично" если что-то маленькое и любительское - основная задача "компилится и вроде бы работает, и кажется даже правильно работает" а по хорошему - тесты нужно писать. как вариант - отдельные тесты для отдельных небольших функций, групп функций, модулей, групп модулей и т.д. насколько это возможно. по возрастающей от маленького к большому. конечное тестирование готового продукта производится пользователями 0