Программные продукты и системы

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

Подробное описание дается в статье «Прогнозирование надежности программного обеспечения на основе модели неоднородного пуассоновского процесса и бутстреп-методов», авторы: Гуда А.Н., Чубейко С.В. (Ростовский государственный университет путей сообщения, г. Ростов-на-Дону).