|
Вопрос # 1 205/ вопрос открыт / |
|
Добрый вечер, уважаемые эксперты! Помогите, пожалуйста, ответить на вопрос:
Понятие о верификации программ.
Заранее спасибо.
Примечание #1 (17 декабря 2007, 18:59): верификация программы - это математическое доказательство правильности алгоритма. А что именно представляет собой "математическое доказательство правильности алгоритма"?
Примечание #2 (17 декабря 2007, 19:00): верификация программы - это математическое доказательство правильности алгоритма. А что именно представляет собой "математическое доказательство правильности алгоритма"?
 |
Вопрос задала: 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 (статус: Бакалавр), 17 декабря 2007, 18:56 [#1]:
А в чем, собственно, вопрос ? Объясните по подробней, что Вам именно надо. Наш Ваш запрос "Понятие о верификации программ" Гугл смело выдает 192 000 страниц, и первые 10 из них как раз об теории.
|
Чтобы оставлять сообщения в мини-форумах, Вы должны авторизироваться на сайте.
|
