Введение к работе
Актуальность работы. Методы разработки современного программного-обеспечения ^коммерческого качества преследуют цель - получить в минимальные сроки программный продукт, удовлетворяющий всем требованиям, спецификациям и приемочным критериям.
В последние годы появились инструментальные системы
визуального проектирования и разработки, снижающие
трудоемкость соответствующих этапов чп счет автоматизации
рутинных операций. Вместе с тем, по-прежнему существует
проблема получения качественного программного продукта,
удовлетворяющего спецификациям. Получить программный продукт
с подобными свойствами, начиная разработку от нуля,
практически невозможно. Однако фирмы-производители
программного обеспечения нередко достигают хороших результатов, повторно используя (переиспольэуя) созданные ранее библиотеки компонент и заготовок, оказавшиеся необходимыми в составе разрабатываемого продукта.
Сборочный подход к программированию является основой
повышения производительности труда при создании
качественного программного продукта в условиях, когда новый продукт создается на основе проверенных временем и верифицированных компонент.
Целью работы является создание методики и
инструментальных средств поддержки проектирования
программного продукта в рамках сборочной технологии программирования, поддерживающих автоматическую сборку программного продукта по спецификациям, созданным с
4.
применением визуального подхода. Задачей методики является достижение следующих целей:
1. Снижение трудоемкости разработки спецификаций и
проектирования.
2. Реализация продукта фиксированного уровня надежности
достигаемого путем систематического контроля корректности
продукта в период разработки.
3. Увеличение производительности разработки, то есть
гарантия планируемых сроков окончания выполнения как
отдельных этапов, так и всего проекта в целом.
В процессе достижения поставленной цели решены следующие задачи:
1. Выполнен анализ существующих объектных и компонентных
технологий разработки программного обеспечения, а также
анализ различных классов инструментальных систем
автоматизации проектирования и разработки.
2. Выявлены требования, которым должна удовлетворять
методика сборочного программирования, позволяющая
разрабатывать корректное программное обеспечение.
-
Дано теоретическое обоснование разрабатываемой методики.
-
Разработана методика проектирования программного обеспечения на базе сборочной технологии программирования.
5. Сформулированы принципы реализации инструментальной
системы автоматизации проектирования, поддерживающей
предложенную методику.
6. Создан прототип интегрированной инструментальной
системы автоматизации проектирования.
1. Проведены исследования по применению методики на
5.
нескольких проектах средней сложности с использованием разработанного прототипа инструментальной системы.
Научную хоаиану представляют предложенные автором:
1. _ -Формальная 'модель корректного многовходного -
многовыходного модуля.
2. Формальное ' обоснование композиции многовходных--
многовыходных модулей, позволяющей получать корректные
составные модули на основе корректных компонент.
3. Методика конструирования спецификаций с
использованием визуальной техники.
4. Методика автоматической сборки программной системы на
базе разработанных спецификаций.
5. Результаты исследований конкретных проектов,
построенных с использованием предложенной методики.
Практическая цамжооть. Практическая ценность работы
определяется созданием прототипа интегрирование;!
инструментальной системы автоматизации проектирования программного обеспечения; методикой проектирования продуктов при использовании сборочной технологии.
Общий объем разработанного программного обеспечения составил 67К строк исходного текста на языке C++.
Виадраииа рввультато» работы. Разработанные методы и
средства' , автоматизации проектирования программного
обеспечения внедрены в СПП РАИ, НПФ "Юпитер" (Санкт-Петербург) , ЗАО "Северо-Западная Лаборатория" (Санкт-Петербург) и в учебном цикле "Технология программирования" кафедры "Информационные и управляющие системы" СПбГТУ.
Апробация ' работы. Основные результаты рзОоты
докладывались и обсуждались на международной научно-
6.
технической конференции "Информационные технологии ь моделировании и управлении" (Санкт-Петербург, 1996), на семинарах кафедры "Информационные и управляющие системы" СПСГТУ, а также на симпозиуме по моделированию в г. Финикс, США.
Публикации по «шм дисо«р««цмм. Основные результаты диссертационной работы опубликованы в 6 научных работах.
Структур* и объем диссертации. Диссертация состоит иэ введения, четырех глав, заключения и списка литературы. Основная часть работы изложена на 135 страницах и содержит 35 рисунков и 5 таблиц. Список литературы включает 82 наименования.
