Законы Лемана

Законы Лемана — восемь принципов эволюции программного обеспечения, которые сформулировал Меир Мэнни Леман с 1974 по 1996 год. Этому поспособствовали как его опыт работы в IBM и других компаниях, так и исследовательская деятельность в университетах Великобритании. Законы в целом описывают баланс между силами, из которых одни обеспечивают, а другие тормозят развитие информационных систем.

КонтекстПравить

В статье 1976 года^[1] Леман в соавторстве с Л. А. Белади пишет о том, что в первую очередь речь идёт о больших многофункциональных программах, требующих постоянной поддержки и улучшения. Позже в связи с этим Леман выделил^[2] три категории программ:

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

Исходя из этого, законы эволюции программного обеспечения применимы только к Е-программам. Например, к ERP-системам.

ЗаконыПравить

Полная формулировка всех восьми законов, представленная ниже, опубликована Леманом в 1996 году.^[3]

(1974) Непрерывное изменение — используемая Е-программа должна быть непрерывно адаптируемой, иначе она будет становиться всё менее удовлетворительной.
(1974) Увеличение сложности — по мере того, как программа эволюционирует, её сложность растёт, если не производится работ по стабилизации и уменьшению сложности.
(1974) Саморегулирование — процесс эволюции программы является саморегулируемым, с близким к нормальному распределению масштабом атрибутов продукта и процесса.
(1978) Сохранение организационной стабильности (неизменная скорость работы) — средний эффективный глобальный уровень активности в эволюционирующей системе инвариантен к времени жизни продукта.
(1978) Сохранение осведомлённости — в течение активной жизни эволюционирующей программы основное содержание последующих релизов статистически неизменно.
(1991) Непрерывное развитие — функциональное содержание программы должно постоянно расширяться на протяжении жизненного цикла, чтобы поддерживать удовлетворённость пользователей.
(1996) Ухудшение качества — качество программ Е-типа будет восприниматься как ухудшающееся, если они не сопровождаются должным образом и не адаптируются к операционной среде.
(1996) Система обратной связи — процессы программирования Е-типа вместе составляют многоконтурные, многоуровневые системы обратной связи и должны рассматриваться как таковые, чтобы успешно изменяться и улучшаться.

ПримечанияПравить

↑ Belady, L. A., Lehman, M. M. A model of large program development (англ.) // IBM Systems Journal. — 1976. — Iss. 15, no. 3. — P. 225—252. — doi:10.1147/sj.153.0225. Архивировано 18 мая 2015 года.
↑ Lehman, M. M. Programs, life cycles, and laws of software evolution (англ.) // Proceedings of the IEEE. — 1980. — Iss. 68, no. 9. — P. 1060—1076. — doi:10.1109/PROC.1980.11805. Архивировано 18 мая 2015 года.
↑ Lehman, M. M. Laws of software evolution revisited (англ.) // Software process technology. — Springer Berlin Heidelberg, 1996. — P. 108—124. — doi:10.1007/BFb0017737. Архивировано 24 сентября 2015 года.

СсылкиПравить

Сопровождение программных систем
Законы Лемана (презентация) (англ.)

[1] Belady, L. A., Lehman, M. M. A model of large program development (англ.) // IBM Systems Journal. — 1976. — Iss. 15, no. 3. — P. 225—252. — doi:10.1147/sj.153.0225. Архивировано 18 мая 2015 года.

[2] Lehman, M. M. Programs, life cycles, and laws of software evolution (англ.) // Proceedings of the IEEE. — 1980. — Iss. 68, no. 9. — P. 1060—1076. — doi:10.1109/PROC.1980.11805. Архивировано 18 мая 2015 года.

[3] Lehman, M. M. Laws of software evolution revisited (англ.) // Software process technology. — Springer Berlin Heidelberg, 1996. — P. 108—124. — doi:10.1007/BFb0017737. Архивировано 24 сентября 2015 года.

[1]

[2]

[3]