Слайд 2
![Корректность программных средств – это соответствие проверяемого объекта некоторому эталонному](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-1.jpg)
Корректность программных средств – это соответствие проверяемого объекта некоторому эталонному объекту
или совокупности более или менее формализованных характеристик и правил.
Корректность текстов программ – это степень соответствия исходных текстов программ формализованным правилам языков спецификаций и программирования.
Конструктивная корректность модулей – это соответствие им структуры общих правил структурного программирования и конкретным правилам оформления и внутренних построения программных модулей в данном заказе.
Функциональная корректность модулей – это корректность обработки исходных данных и получение результатов.
Слайд 3
![Конструктивная корректность данных определяется правилами их структурирования и упорядочивания. Функциональная](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-2.jpg)
Конструктивная корректность данных определяется правилами их структурирования и упорядочивания.
Функциональная корректность данных
связана в основном с конкретизацией их содержания в процессе использования программ, а также при подготовке данных внешним оппонентам.
Конструктивная корректность программных модулей определяется правилами структурного модульного построения программных комплексов и общими правилами организации межмодульных связей.
Это составляющее может быть проверено формализованными автоматизированными методами.
Функциональная корректность комплексов программ наиболее трудно формируется вследствие большого количества возможных эталонных значений и распределений.
В наиболее сложном случае, для программ реального времени, можно разделить на:
детерминированную корректность – должно быть обеспечено однозначное соответствие исходных и результирующих программ определяющее эталонное значение;
стохастическую корректность – статическое соответствие распределений и результирующих случайных величин заданным эталонным распределениям при соответствующих распределениях исходных данных;
динамическую корректность – это соответствие изменяющихся во времени результатов использования программ эталонным данным.
Слайд 4
![Синтаксический контроль корректности текстов программ – это проверка входного текста](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-3.jpg)
Синтаксический контроль корректности текстов программ – это проверка входного текста программы
на соответствие синтаксису языка программирования.
Семантический контроль корректности текстов программ – это проверка корректности применения и взаимодействия базовых конструкций языка программирования в тексте проверяемой программы.
Формализованный структурный контроль программ основывается на статистической проверке соответствия структуры программы и последовательности основных операций использования памяти в системе эталонных правил.
Верификация (подтверждение правильности) состоит в проверке и доказательстве корректности разработанной программы по отношению к совокупности формальных утверждений представленных программных спецификаций и полностью определяющем связи между входными и выходными данными программы.
Слайд 5
![Корректность комплексов программ](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-4.jpg)
Корректность комплексов программ
Слайд 6
![Схема взаимодействия компонент, определяющих обнаруженные отклонения программ от эталонных](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-5.jpg)
Схема взаимодействия компонент, определяющих обнаруженные отклонения программ от эталонных
Слайд 7
![Типы эталонов и методы проверки корректировки программ](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-6.jpg)
Типы эталонов и методы проверки корректировки программ
Слайд 8
![Методы получения эталонных значений](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-7.jpg)
Методы получения эталонных значений
Слайд 9
![Блок-схема системы верификаций программных модулей](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/210746/slide-8.jpg)
Блок-схема системы верификаций программных модулей