1. Форумный чат переехал в Telegram.
  2. В сообществе нашего форума Вконтакте создан раздел по продаже электронных компонентов.
    Каждый может продать в нем свои залежавшиеся детали. Подробности здесь.

C/C++ Программирование по технологии NASA

Тема в разделе "Программирование", создана пользователем _VN_, 30 авг 2016.

  1. _VN_

    _VN_ В доску свой

    Сообщения:
    482
    Симпатии:
    64
    Род занятий:
    Инженер
    Адрес:
    Алматы
    Рекомендации для программистов NASA.
    https://habrahabr.ru/company/hexlet/blog/303160/
    "...2. У всех циклов должен быть предел. Проверяющая программа должна иметь возможность легко доказать, что определенное количество итераций не может быть превышено. Если предел невозможно доказать статически, то правило считается нарушенным..."
    Для каждой программы пишется проверяющая программа, в которой заложены константы и ограничители для контроля работы основной программы. Это позволяет контролировать ход выполнения основной программы и ускорить отладку в процессе разработки новой.
     
  2. radioengineer

    radioengineer Администратор Команда форума

    Сообщения:
    3.526
    Симпатии:
    348
    Адрес:
    Алматы
    Прочитал рекомендации и могу сказать, что этим правилам следуют практически все программисты, работающие с микроконтроллерами, возможно они не очевидны для "высокоуровневых" программистов и эти рекомендации скорее для них, но опять же следовать им есть смысл только, если работать над проектами, где требуется высокая надежность исполнения ПО.

Поделиться этой страницей