Правила NASA для написания программного обеспечения

Некоторые ошибки могут привести к серьезным последствиям. Приводим правила написания критического программного обеспечения от NASA. С теорией критического программного обеспечения можно ознакомиться тут. Ограничение на простые конструкции потока управления Не используйте инструкции goto, конструкторы setjmp/longjmp и прямую/косвенную рекурсии. Упрощенный поток управления преобразуется в более надежные возможности для проверки и часто приводит к улучшению четкости кода. Без рекурсии […]