Испытания надёжности программы, Как он происхожит и есть ли спец. ПО для ... Опции

[Дон Амброзио]

Интересует как происходят испытания программ на надёжность (именно программ, а не "железа", которым эта программа управляет) и есть ли какой-то спец софт для испытания программ.

Я, например, слышал, что СИ исходники можно "испытать" какой-то программой не помню как называется, вроде LIM...Не помню точно.. Т.е. даёшь этому LIM-у свой исходник и он начинает его тестить...

Существуют ли какие-то ГОСТ-ы или другие регламентирующие документы о том, как должны происходить испытания программног обеспечения на надёжность и по каким критериям ставят заключение надёжна программа или нет

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

Сообщение отредактировал Дон Амброзио - Mar 13 2008, 21:09

[i-mir]

На сколько я понимаю, сейчас имеются три подхода к оценке ПО:
1. Чистая комбинаторика, где анализируется возможность написания кода с ошибками,
которые могут быть логическими, синтаксическими. Как результат получаем эффективность
различных языков в области допущения ошибок.
2. Статистический подход, где принимается например нормальный закон наличия ошибок
в ПО и анализируется динамика работы над ошибками.
3. Технологический подход, где анализируются методы и инструменты создания ПО.
Он в большей степени основан на том, что качественная организация процесса
в результате приведет к качественному ПО.

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





Сообщение отредактировал i-mir - May 7 2011, 12:45