Составители:
функционирования аппаратуры, представленным на языке спецификаций
высокого уровня;
• приборы для сбора значений сигналов многих линий в течение одного и
того же промежутка времени, который определяется задаваемыми,
программируемыми событиями − комбинацией или последовательностью
сигналов на линиях;
• приборы для обработки и представления собранной информации в виде
временных диаграмм, таблиц логических состояний (таблиц истинности), либо
на языке высокого уровня, например языке регистровых передач.
5.3. Тестирование и автономная отладка программных
средств
Создание и весь последующий жизненный цикл надежного
программного обеспечения для современных информационно-вычислительных
систем – многоэтапный и трудоемкий процесс, который упрощенно можно
охарактеризовать как перевод требований технического задания сначала в
точные спецификации и, наконец, в текст программы [8, 11, 15].
Сложность программного продукта как объекта проектирования –
основная причина ошибок перевода и, следовательно, ненадежности
программного обеспечения. Для снижения сложности проекта используют
принципы теории систем: независимость компонентов системы и
иерархическая структура проекта программного обеспечения. Разработаны
принципы и технология модульного проектирования, объектно-
ориентированный подход.
Распространенный подход к обеспечению надежности проектируемого
программного обеспечения – это тестирование. Цель тестирования –
выявление ошибок, вкравшихся в программу на разных стадиях
проектирования. При таком подходе при написании программ акцент делается
на их тестируемость, т.е. на создание программ, которые удобно тестировать,
а безошибочность и корректность программы в значительной степени зависят
от творческих способностей и интуиции разработчика.
В отличие от интуитивного подхода, который мы охарактеризовали
выше, рассматриваемый далее подход, верификация (доказательство
правильности) алгоритмов и программ, трактует программирование как точную
математическую науку.
Для описания алгоритмов используются различные методы,
отличающиеся степенью детализации и формализации. Теоретическое
Страницы
- « первая
- ‹ предыдущая
- …
- 94
- 95
- 96
- 97
- 98
- …
- следующая ›
- последняя »
