14 июл. 2013 г.

Разработка надежного ПО @НАСА

# Строгий стандарт кодирования
- Правила основаны на анализе прошлых дефектов
- Автоматическая проверка на стандарт при сборке

# Обязательный внутренний курс сертификации
- Риски
- Defensive Programming
- Экзамен

# Code review

# Concurrency correctness
- http://spinroot.com

# Unit & integration tests

# Резервирование
- Не аппаратное, именно программное
- Упрощенная версия ПО для режима сбоя