Экспертная система Delphi.int.ru

Сообщество программистов
Общение, помощь, обмен опытом

Логин:
Пароль:
Регистрация | Забыли пароль?

Delphi.int.ru Expert

Другие разделы портала

Переход к вопросу:

#   

Статистика за сегодня:  


Лучшие эксперты

Подробнее »



Вопрос # 1 205

/ вопрос открыт /

Добрый вечер, уважаемые эксперты! Помогите, пожалуйста, ответить на вопрос:
Понятие о верификации программ.

Заранее спасибо.

Примечание #1 (17 декабря 2007, 18:59):
верификация программы - это математическое доказательство правильности алгоритма. А что именно представляет собой "математическое доказательство правильности алгоритма"?
Примечание #2 (17 декабря 2007, 19:00):
верификация программы - это математическое доказательство правильности алгоритма. А что именно представляет собой "математическое доказательство правильности алгоритма"?

s_ksuha Вопрос ожидает решения (принимаются ответы, доступен мини-форум)

Вопрос задала: s_ksuha (статус: Посетитель)
Вопрос отправлен: 17 декабря 2007, 18:07
Состояние вопроса: открыт, ответов: 1.

Ответ #1. Отвечает эксперт: Feniks

Здравствуйте, s_ksuha!
Довольно неоднозначная у Вас задача, т.е. вопрос. ИМХО, он уходит глубоко в теорию алгоритмов криптографии. Вот несколько сайтов с похожим материалом по результатом запросов на Гугле. Возможно они Вам хоть чем-то помогут.
1. Математическая логика и теория алгоритмов
Содержание.
1. Постановка задачи.
2. Построение модели.
3. Описание алгоритма
4. Доказательство правильности алгоритма
5. Блок-схема алгоритма
6. Описание переменных и программа
7. Расчёт вычислительной сложности
8. Тестирование
2. Методы формальной спецификации программ. Динамическая верификация программ. Понятие о статической и динамической. верификации.
3. Верификация программ и темпоральные логики. Основными этапами стадии верификации программ являются...
4. Курс лекций «Языки описания схем. Проблемы верификации»
5. Верификация программ. Понятие верификации. Методы верификации. Подготовка отладки. Тесты. Правила подготовки тестов.

Ответ отправил: Feniks (статус: Бакалавр)
Время отправки: 18 декабря 2007, 12:01


Мини-форум вопроса

Всего сообщений: 1; последнее сообщение — 17 декабря 2007, 18:56; участников в обсуждении: 1.
Feniks

Feniks (статус: Бакалавр), 17 декабря 2007, 18:56 [#1]:

А в чем, собственно, вопрос ? Объясните по подробней, что Вам именно надо. Наш Ваш запрос "Понятие о верификации программ" Гугл смело выдает 192 000 страниц, и первые 10 из них как раз об теории.

Чтобы оставлять сообщения в мини-форумах, Вы должны авторизироваться на сайте.

Версия движка: 2.6+ (26.01.2011)
Текущее время: 22 октября 2017, 03:53
Выполнено за 0.19 сек.
Рейтинг@Mail.ru