Методы и средства инженерии программного обеспечения



         

Конструирование ПО (Software Construction)


 Конструирование ПО – создание работающего ПО с привлечением методов  верификации,  кодирования  и  тестирования компонентов. К инструментам конструирования ПО отнесены языки программирования  и конструирования, а также программные методы и инструментальные системы (компиляторы, СУБД, генераторы отчетов, системы управления версиями, конфигурацией, тестированием и др.). К формальным средствам описания процесса конструирования ПО, взаимосвязей  между человеком и компьютером и с учетом среды окружения отнесены языки конструирования.

Область знаний «Конструирование ПО (Software Construction)»  включает следующие разделы:

– снижение сложности  (Reduction in Complexity),

– предупреждение отклонений от стиля  (Anticipation of Diversity),

– структуризация для  проверок (Structuring for Validation),

– использование внешних стандартов (Use of External Standards)

 

Основу данной области составляют задачи понижения сложности конструирования программного продукта, предупреждение отклонений от стиля (лингвистического, формального, визуального и др.), которое обеспечивается применением наиболее подходящих стилей  конструирования, структуризация ПО и использование внешних стандартов.

Лингвистический стиль основан на использовании словесных инструкций  и выражений для представлений отдельных элементов (конструкций) программ. Он используется  при конструировании несложных  конструкций и приводится  к виду  традиционных функций и процедур,  логическому и функциональному их программированию и др.

Формальный стиль используется для  точного, однозначного и формального определения компонентов  системы. В результате его применения обеспечивается  конструирование сложных систем с  минимальным количеством ошибок, которые могут возникнуть в связи с неоднозначностью определений или  обобщений  при конструировании ПО неформальными методами.

Визуальный стиль является наиболее универсальным стилем конструирования ПО. Он  позволяет разработчикам  проекта представлять в наглядном виде  сложные программные конструкции.


Содержание  Назад  Вперед