Реферат: Программное обеспечение

СОДЕРЖАНИЕ

1 Законы эволюции программных комплексов. 3

1.1 Общие положения. 3

1.2 Законы Лемана. 4

1.2 Практический кейс. 6

2 Анализируемые свойства требований к ПО.. 10

2.1 Общие положения. 10

2.2 Свойства требований. 12

2.3 Практический кейс. 15

3 Вспомогательные процессы ЖЦ ПО.. 17

3.1 Жизненный цикл ПО.. 17

3.2 Основные процессы.. 18

3.3 Вспомогательные процессы.. 19

3.3.1 Документирование. 19

3.3.2 Управление конфигурацией. 19

3.3.3 Обеспечение качества. 21

3.3.4 Верификация. 22

3.3.5 Аттестация. 23

3.3.6 Совместная оценка. 23

3.3.7 Аудит. 23

3.3.8 Разрешение проблем. 24

3.4 Практический кейс. 24

3.4.1 Стадия формирования требований. 24

3.4.2 Стадия проектирования. 26

3.4.3 Стадия разработки. 26

3.4.4 Стадия внедрения и эксплуатации. 27

3.4.5 Стадия сопровождения. 28

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ.. 29

1 Законы эволюции программных комплексов

1.1 Общие положения

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

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

Мейр Мэнни Леман сформулировал эмпирические законы [2], которые описывают неизбежные процессы и проблемы, происходящие с программным обеспечением в ходе его эксплуатации и развития на протяжении всего жизненного цикла. Этому поспособствовали его опыт работы в IBM и других компаниях, а также исследовательская деятельность в университетах Великобритании. Законы в целом описывают баланс между силами, из которых одни обеспечивают, а другие тормозят развитие информационных систем. В статье 1980 года «Programs, Life Cycles, and Laws of Software Evolution» Леман в соавторстве с Ласло Белади выделил три основные категории программ:

• S-программы (Specification programs) решают строго формализованные задачи, для которых можно задать точную математическую спецификацию (например, вычисление квадратного корня, сортировка массива). Такие программы не нуждаются в изменениях, если не меняется спецификация задачи.
• P-программы (Problem programs) моделируют некоторую часть реального мира, где задача формализована не полностью, и требуется учитывать особенности предметной области. P-программы реализуют процедуры, полностью определяющие их поведение (например, шахматные программы), и могут изменяться по мере того, как лучше понимается задача или изменяются требования.
• E-программы (Evolutionary programs) постоянно развиваются и изменяются вместе с изменениями внешней среды и требований пользователей. Это, как правило, крупные информационные системы, корпоративные приложения, операционные системы и т.д. E-программы требуют постоянной поддержки и эволюции. Исходя из этого, законы эволюции программного обеспечения применимы только к Е-программам.