ВВЕДЕНИЕ
ГЛАВА 1 ОБЗОР СУЩЕСТВУЮЩИХ МЕТОДОВ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ПРОГРАММНЫХ СИСТЕМ И ПОСТАНОВКА ЗАДАЧИ ИССЛЕДОВАНИЯ.
1.1 ЖИЗНЕННЫЙ ЦИКЛ ПС
1.2 МОДЕЛИ ЖИЗНЕННОГО ЦИКЛА ПО.
1.3 ОСНОВНЫЕ ИСТОЧНИКИ ОШИБОК
1.4 ПОСТАНОВКА ЗАДАЧИ ТЕСТИРОВАНИЯ ПРОГРАММНЫХ СИСТЕМ.
1.5 ОСОБЕННОСТИ ТЕСТОВОГО ДИАГНОСТИРОВАНИЯ ПС
1.6 МЕТОДЫ ПОСТРОЕНИЯ ТЕСТОВ.
1.7 ПОСТАНОВКА ЗАДАЧИ ИССЛЕДОВАНИЯ.
ГЛАВА 2 МАТЕМАТИЧЕСКАЯ МОДЕЛЬ И СТРАТЕГИИ ОПРЕДЕЛЕНИЯ СОСТОЯНИЯ ПРОГРАММНЫХ СИСТЕМ.
2.1 ОРИЕНТИРОВАННЫЙ УПОРЯДОЧЕННЫЙ ГРАФ.
2.2 МАТРИЧНАЯ МОДЕЛЬ.
2.3 ОБОБЩННАЯ ВЕРОЯТНОСТНОСТРУКТУРНАЯ МОДЕЛЬ.
2.4 СТРАТЕГИЯ ОПРЕДЕЛЕНИЯ СОСТОЯНИЯ СИСТЕМЫ
2.5 ВЫВОДЫ.
ГЛАВА 3 МЕТОДЫ И АЛГОРИТМЫ ОБЕСПЕЧЕНИЯ КОНТРОЛЕПРИГОДНОСТИ ПРОГРАММНЫХ СИСТЕМ.
3.1 ОПТИМИЗАЦИЯ ПРИНЯТИЯ РЕШЕНИЯ О СОСТОЯНИИ ПС
3.2 ОПТИМИЗАЦИЯ ВЫБОРА МНОЖЕСТВА ТЕСТОВ
3.3 ОРГАНИЗАЦИЯ ВИРТУАЛЬНЫХ ПРОГРАММНЫХ МОДУЛЕЙ ВПМ
3.4 ВЫВОДЫ.
ГЛАВА 4 ПРАКТИЧЕСКИЕ АСПЕКТЫ ПРОБЛЕМЫ ОБЕСПЕЧЕНИЯ КОНТРОЛЕПРИГОДНОСТИ ПРОГРАММНОГО КОМПЛЕКСА
4.1 ИМИТАЦИОННАЯ МОДЕЛЬ МКАНАЛЬНОЙ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ.
4.2 ВЫВОДЫ.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
ПРИЛОЖЕНИЯ.
КОД ПРОГРАММЫ, РЕАЛИЗУЮЩЕЙ АЛГОРИТМ ПРИНЯТИЯ
РЕШЕНИЯ О СОСТОЯНИИ СИСТЕМЫ.
КОД ПРОГРАММЫ, РЕАЛИЗУЮЩЕЙ АЛГОРИТМ РАЗБИЕНИЯ
БЛОКОВ ПО КОНСТРУКТИВНЫМ ЕДИНИЦАМ.
КОД ПРОГРАММЫ, РЕАЛИЗУЮЩИЙ АЛГОРИТМ ОПТИМИЗАЦИИ
МАТРИЦЫ ПУТЕЙ.
ВВЕДЕНИЕ
Создание программных систем ПС с постоянно расширяющимся составом программных модулей, приводит к необходимости правильного и своевременного решения проблемы обеспечения их надежной и эффективной работы.
В обеспечении требуемого уровня надежности и качества функционирования ПС особая роль принадлежит диагностированию, по результатам которого определяется их действительное состояние. Эффективность диагностирования ПС в свою очередь во многом определяется их контролепригодностью. Разработка ПС без учета требований контролепригодности приводит к большим затратам на тестирование, которые в среднем составляют общих затрат на разработку программ, а в отдельных случаях и более.
Основной вклад в решение проблемы диагностирования ПС внесли П.П.Пархоменко, П.А.Правильщиков, В.А.Гуляев, В.В. Липаев,
В.И.Сагунов, С.И.Беляева, Р.Гласс, Т.Тайер, Г.Майерс, .V. и другие российские и зарубежные ученые. Тем не менее, остается еще обширная область нерешенных вопросов и проблем, например, не решена в общем виде задача локализации ошибок произвольной кратности. Кроме этого, на пути реализации известных алгоритмов возникают сложности, связанные с большим объемом вычислений.
Таким образом, проблема разработки методов и алгоритмов обеспечения контролепригодности ПС является актуальной.
В диссертационной работе обосновывается целесообразность применения информационного подхода для решения данной проблемы и включение статистического моделирования в процесс
диагностирования, что позволяет обойти трудности реализации, связанные с большим объемом вычислений.
Диссертационная работа выполнялась по межвузовской научнотехнической программе Диагностические и информационнопоисковые системы.
Актуальность
- Київ+380960830922