Исходное сообщение
"Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." Отправлено anonymous vulgaris, 19-Июн-11 23:08
> Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных)   вообще странно представить себе разработку софта для самолета или тачки на свободном софте. а стандартный инструментарий для этого дела к нему близко не лежит и конечно всем чем надо оснащен. а ссылка то как раз на свободный линт. или вы его не пользуете? тогда к чему разговоры об автопроверках? ну а линт за деньги понятно получше бесплатного > Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не > сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну > что тут скажешь... Часть запретов рекомендательные. Но в аде в таких же применениях будет то же самое. И чем больше правил не нарушите тем легче будет сертифицировать. а динамическая память в серьезном встраиваемом приложении понятно и так не нужна. стандарт писали понимающие люди >> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница > Странные вопросы у вас. :) От себя могу сказать, что разница большая. > :) где тут вопрос? повторю еще раз - надежность системы определяется ее самым слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств но только в одном месте