А примерно так оно и делалось в военке в советское время. Программы
анализировались и их работа доказывалась, динамическая аллокация памяти была
строгим табу и т.п. О каких-то, прости г-ди QA, которые, типа, проверяют
чего такого кумарпателы написали, ни у кого и мысли не было... Оно, местами,
и сейчас так -- взять, например, ту же стандартную FreeRTOS и ее
сертифицированную коммерческую версию SafeRTOS, которая использует
исключительно преаллоцированные структуры данных -- но только очень сильно
местами. Подавляющее же большинство делается кумарпателами, переучеными из
погонщиков слонов в жаба-программистов на трёхмесячных курсах, которые
вообще не понимают чего они делают и потом сей продукт отдаётся
кумарпателовскому же QA, который нажимает капы и "тестирует" продукт на
предмет хоть какой-то работоспособности и соответствию техзаданию (которого,
кстати, тоже не существует). Потому в результате получается невообразимых
размеров г@овно, тормозное и кривое, как турецкая сабля, постоянно падающее
если работающее вообще. На этом всём паразитирует еще огромное множество
всяких прожэкт-манагеров, скрам, агайл, дезигн-паттернов и иже. Самое
главное -- побыстрее вытолнуть г@овнище за ворота, time-to-market.
А вторая новость хорошая -- г@овна много :) (c) анекдот...