Описание:Цель курса - познакомить слушателей с практическими аспектами такой области как надёжность программного обеспечения, получить представление о том, как разрабатывать надёжное программное обеспечение (ПО).
В программу курса входит изучение следующих разделов:
* верификация ПО
* статический анализ ПО
* эффективные подходы к тестированию ПО
* средства анализа надёжности ПО
* обработка данных об отказах для принятия решений.