Программная инженерия

Сильное влияние на развитие технологии программирования оказал Э. Дейкстра (Edsger W. Dijkstra) [3], предложивший метод структурного программирования. Одновременно с публикациями его идей стали достоянием гласности работы Ч. Хоара, показавшего, что любая программа может быть математически (формально) проанализирована, и это позволяет избежать части ошибок, при использовании соответствующих формальных приёмах проверки программ и алгоритмов.

Дейкста же заметил, что язык программирования влияет на способ мышления [1]. Освоение алгоритмических языков программирования заставляет мыслить формальными категориями, «прививает» определённую логику, которая несколько отличается от логики написания программ на машинно-ориентированном языке. Программирование – это конструирование достаточно сложных объектов с большим количеством связей [2] и, чтобы конструировать, следует последовательно использовать элементарные принципы конструирования, начиная от проектирования функций, модулей, абстрактных типов данных и заканчивая построением сложной системы.

Сложность современных программных продуктов уже достигла такого уровня, когда для создания конечной системы необходимо участие нескольких разработчиков в течение достаточно долгого времени. При этом встаёт проблема координации их действий, фиксации всех договорённостей, разработка исходных требований и их согласование с конечными пользователями и заказчиками. Разработка программ уже стала инженерией, и чёткое следование заранее выработанному процессу построения системы – залог успеха.

Кроме написания работающей программы существует проблема оценки степени соответствия этой программы предъявляемым к ней требованиям. Тут необходимо проводить тестирование, которое не всегда будет являться полным, но в конечном итоге должно привести к появлению качественного продукта, т.е. программы, соответствующей ожиданиям.

В некоторых критических к ошибкам областях применения программных средств предусмотрена процедура сертификации или аттестации. Её итогом является решение сертифицирующего органа о возможности применения программного продукта в той или иной области. Соответственно, существуют положения регламентирующие процедуру сертификации, которые предъявляют определённые требования и к процедуре разработки программного обеспечения.

Примером такого документа может служить ГОСТ Р 51904-2002 «Программное обеспечение встроенных систем. Общие требования к разработке и документированию». Во многих случаях этот документ требует выполнения в процессе тестирования каждой команды машинного программного кода. Это позволяет убедиться не только в том, что программа делает то, что нужно, но и быть уверенным, что она не делает того, что не предусмотрено требованиями.

Дата добавления: 2014-12-26