Надежность программного обеспечения.

← →
Kostafey © (2007-05-27 15:01) [0]

Задавал уже этот вопрос, но ответа так и не получил.
Итак, хотелось бы знать какие современные методики оценки
надежности программного обеспечения существуют на сегодняшний день.

← →
Sergey Masloff (2007-05-27 15:11) [1]

Ровно те же что существовали 15 лет назад. Ничего принципиально нового не появилось.

← →
Kostafey © (2007-05-27 15:40) [2]

> Ровно те же что существовали 15 лет назад. Ничего принципиально
> нового не появилось.

Вообще, полезная информация. Серьезно. Ибо основные работы в этом направлении
с 74 по 90 - й годы у меня есть.
Я боялся упустить из виду современные подходы.

Общий выод такой. Оценки надежности ПО нет. Те что есть не являются общепризнанными,
содержат ряд изъянов, а все труды в этом направлении основной своей целью имеют
не разработку методики оценки надежности ПО, а разработку методики создания надежного ПО.

← →
Sergey Masloff (2007-05-27 16:01) [3]

Kostafey © (27.05.07 15:40) [2]
Ну почему же нет. Есть. Для критически важного ПО есть методики верификации. Естественно это очень специфические программы - так, понятия динамически выделяемой памяти в них просто нет, программа скомпонована статически, естественно вообще нет никакой операционной системы и программа обычно зашита в железку. Я сам этим не занимался но работал с людьми которые подобным софтом (и его верификацией) занимались много лет.

В данном случае речь идет о неких универсальных методиках, которые бы
позволяли оценивать надежность ПО, работающего на обычных современных PC
(так называемая платформа Wintel).

Конечно, меня не интересует надежность Nero или TotalCommander.
Речь идет о системах поддержки принятия решений в чрезвычайных ситуациях.

← →
P (2007-05-27 16:45) [5]

> Kostafey © (27.05.07 15:40) [2]
> Общий выод такой. Оценки надежности ПО нет. Те что есть
> не являются общепризнанными,
> содержат ряд изъянов, а все труды в этом направлении основной
> своей целью имеют
> не разработку методики оценки надежности ПО, а разработку
> методики создания надежного ПО.

Если точнее, то все методики эвристичны, так как задача не формализуема.

Надежность программного обеспечения. Найти похожие ветки