посоветуйте пожалуйста литературу/ресурсы по сабжу; интересует методология разработки и тестирования критически важного софта. Желательно не сильно заумно-теоретическое.
Здравствуйте, DreamMaker, Вы писали:
DM>посоветуйте пожалуйста литературу/ресурсы по сабжу; интересует методология разработки и тестирования критически важного софта. Желательно не сильно заумно-теоретическое.
DM>
Главное для критически важного софта — верификация. К сожалению, без заумно-теоретического не обойтись.
http://is.ifmo.ru/books/_principles_of_model_checking.pdf
Здравствуйте, DreamMaker, Вы писали:
DM>посоветуйте пожалуйста литературу/ресурсы по сабжу; интересует методология разработки и тестирования критически важного софта. Желательно не сильно заумно-теоретическое.
Есть две книги на русском.
1.
http://www.ozon.ru/context/detail/id/2182741/
Это перевод книжки французских спецов — как говорится. от авторов.
2.
http://www.ozon.ru/context/detail/id/4797670/
Это уже книжка, написанная нашим — Карповым.
Показалась несколько более понятной, чем первая.
Здравствуйте, DreamMaker, Вы писали:
DM>посоветуйте пожалуйста литературу/ресурсы по сабжу; интересует методология разработки и тестирования критически важного софта. Желательно не сильно заумно-теоретическое.
Методология —
cleanroom.
Здравствуйте, DreamMaker, Вы писали:
DM>посоветуйте пожалуйста литературу/ресурсы по сабжу;
Leanna Rierson. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance.
http://www.amazon.com/Leanna-Rierson/e/B00DX97HXS
Очень практическая вещь (среди себе подобных
)
Здравствуйте, DreamMaker, Вы писали:
DM>посоветуйте пожалуйста литературу/ресурсы по сабжу; интересует методология разработки и тестирования критически важного софта. Желательно не сильно заумно-теоретическое.
Всё просто, как кирпичные заводы "Унитрон" ))
http://www.sei.cmu.edu/reports/10tr033.pdf
Автор(ы): Э. М. Кларк, О. Грамберг, Д. Пелед
