Причины создания автоматиз систем

к таким работам относятся виды работ, носящие рутинный характер.

1) ведение проектной и программной документации в ходе разработки ПО, введение согласованности проектной документации и программ на всем протяжении разработки.

2) Проверка совместимости интерфейсов программных модулей.

3) Подготовка исходных данных для тестирования. Организация работы тестов. и анализ результатов.

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

В США разработка таких программных инструментов более 600, которые отличаются своими методиками, реализованными методами, языками кодирования, средствами описания. более того даже для 1 класса задач данное ПО резко отличалось по способам реализации, ПО не позволяло оценить качество разработки, а одну и ту же задачу надо было решать 1 или 2-мя способами.

Причины обилия такого многообразия числа автоматизированных систем ПО состоят в следующем:

1) технология программирования отсутствовала как научная дисциплина.

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

3) Ориентация большинства таких инструментальных систем на отдельные этапы жизненного цикла ПО или на отдельные виды деятельности. Например, тестирование или документация.

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

Поэтому автоматизированная разработка сложных систем ПО как правило обеспечивается большими технологическими комплексами по разработке ПО или системами поддержки разработки ПО. Такие технологические комплексы позволяют автоматизировать выполнение различных видов деятельности разработки на всех этапах жизненного цикла или их части. Такие как RТS, SDS, SOFTING, суперформат, ритм и т.д.

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

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

1) Создание проектной информации и ввод ее в централизованную базу данных на различных этапах разработки жизненного цикла ПО.

2) Автоматическая генерация некоторых компонентов ПО или проекта.

3) Анализ правильности и согласованности проектной информации и ее замкнутости и полнота информации.

 4) Оценка текущего состояния разработки и качества выполнения работ.

5) Планирование хода разработки и контроль за выполнением плана.

6) Общая организация работ в соответствии с некоторой технической схемой.

7) Подготовка и выдача результатов разработки. разработчиком ПО и руководителям разработки. Определение информ. …. разработок.

8) Оформление всей документации в наглядном виде, оформленной в соответствии . со стандартами.

Как правило все технологические. комплексы разработаны по принципу min или введенной единожды информации. Анализ правильности проектной информации может включать в себя ряд взаимодополняющих  друг друга способов.

1) Разнообразные процедуры статического анализа полноты, замкнутости и согласованности информации

2) Формальное доказательство правильности программы (верификация).

3)Символьное исполнение программ.

4) Тестирование.

5) Разнообразные способы пошагового прохождения программы и выдачи информации о всех промежуточных результатах.

Инструменты технологического комплекса

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

Лекция 5

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

 В некоторых технологических комплексах предусмотрены средства генерации кода в виде тестов, по соответствующим спецификациям.

Под спецификацией будем понимать документ определенной структуры данных.

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

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

Известны 2 технологических комплекса ARGUS и РИТМ, в которых оценки качества разработки основана на простейшем математическом аппарате. В ряде технологических комплексов есть технологические средства персонального контроля сроков работы(1) планирование сроков выполнения работы конкретными исполнителями. 2) Контроль за соблюдением сроков выполнения работы). Такие процедуры как правило имеются в большинстве технологических комплексах, в некоторых технологических комплексах в частности ARGUS и РТК имеются средства автоматизации и построения сетевых графиков, всех этапов выполнения разработки.