Основные элементы программной документации

Вопросы и задачи для самостоятельного решения

Формальные преобразования

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

Метод формальных преобразований похож на каскадный метод [22], и основное отличие заключается в описании требований в виде формальной спецификации, а процессы проектирования, реализации и тестирования заменены процессом формальных преобразований.

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

Однако очевидно, что этот метод требует наличия формальных спецификаций, составление которых является нетривиальной задачей. Именно поэтому формальные преобразования редко используются постоянно и в большинстве случаев применяются для части сложной системы при реализации отдельных алгоритмов или в специфических областях где он оказывается оправдан [162. Linger R.C. Cleanroom process model //IEEE Software. – 1994. – 11(2). – P. 50-58, 165. Лефингвел Д., Удриг Д. Принципы работы с требования к программному обеспечению. Унифицированный подход. – М.: Издат. дом. «Вильямс», 2002].

Что включает в себя понятие ЖЦ разработки?

Что такое ЖЦ программы?

Имеет ли преимущества поэтапная модель ЖЦ разработки по сравнению со спиральной? Если да, то какие?

Какие основные этапы разработки программных систем Вам известны?

Все приказы отдавайте устно. Не оставляйте записей и документов, которые могут обернуться против вас.

Артур Блох

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

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