caxapa.ru :: Тема MISRA здесь затрагивалась несколько раз, и все пришли к выводу, что она накладывает излишние ограничения на фантазию программиста. Например, нельзя использовать #undef. Это значит, или я, или MISRA.

Vladimir Ljaschko (18.07.2013 12:48, просмотров: 130) ответил amx на Кто-нибудь использует статический анализ кода при разработке ПО (встроенного и нет)?

Тема MISRA здесь затрагивалась несколько раз, и все пришли к выводу, что она накладывает излишние ограничения на фантазию программиста. Например, нельзя использовать #undef. Это значит, или я, или MISRA.

Ответить

- IAR-у можно отключить некоторые проверки, думаю это лучше чем отказаться полностью. Собственно затеял обсуждение наткнувшись на обсуждение в рассылке по splint. ~233k строк кода для H8 и ни одного предупреждения, понятно что некоторые специфичные amx(40 знак., 18.07.2013 12:59, ссылка)
  - Занятная цитата: "Our project is medium size for embeded microcontroller ... 233546 source lines". Ну что, товарищи, а какой у вас "средний размер программы"? :-) - SciFi(18.07.2013 13:48)
    - Скорей embedded microprocessor. Такие объёмы не умещаются во внутренние памяти H8 (до мегабайта) или из 233 тыс. строк 2/3 и больше не используются, или там специфичное что-то (данные?), или там код в стиле "оплата сдельная, построчно". - fk0(18.07.2013 14:41)
      - Там дальше есть: "It is not a soo big microcontroller, it is a Hitachi 2148 with 4K of RAM amx(89 знак., 18.07.2013 14:55)
        
        Ну да, примеры выдающегося кода имеюцца -> - SciFi(18.07.2013 15:01, ссылка)
        
        Реального кода там, наверное, строчек 10 :) - amx(18.07.2013 15:10 - 15:14)
        
        Последние 10 строк особенно ценны :) - Evgeny_CD(18.07.2013 15:35)
        
        Хотя на второй взгляд, это же не просто пустые комментарии, по ним генерируется документация, что есть очень даже ценно. - amx(18.07.2013 15:39)
        
        Для библиотеки прокатит: юзверю туда лезть не надо. А вот в обычном коде это аццкий бред: нельзя так уродовать исходник. - SciFi(18.07.2013 15:44)
        
        Это понял даже я. Тима закрывающих скобок, для доксижена. Так вот, делать это все надо по другому. Evgeny_CD(374 знак., 18.07.2013 15:42)
      - Имею живой пример: 50000 строк - 100 килобайт кода. - SciFi(18.07.2013 14:51)
        
        PIC24: C30 v3.31, ~40-50к LOC -- 256к flash, грубо, k=5, float, const=18kbytes + 15kbytes во внешнем хранилище. fk0(1562 знак., 18.07.2013 16:16 - 16:19)
        
        Уточнение. Для AVR k=4! Любительские контроллеры не так уж и плохи (в проекте была atmega16 с 16к flash). - fk0(18.09.2013 20:57)
        
        Ну я так и подумал. Не люблю плотный код - читать тяжелее. - SciFi(18.07.2013 16:27)
  - Некоторые ничего не значащие ограничения остались и у меня, но смысла в них, если все потом дубиной заколочено? ;) - Vladimir Ljaschko(18.07.2013 13:29)
- lint весьма полезен, считаю - Snaky(18.07.2013 12:49)

Средства и методы разработки