Под корректностью программы понимают её соответствие некоторому эталону или совокупности формализованных эталонных правил и характеристик.
Наиболее полным эталоном корректности программ является программная спецификация. Её особенностью является задание требований поведения программы для допустимых наборов входных данных. Поэтому корректная программа может неправильно работать или даже сбиваться на недопустимых наборах входных данных. Свойством устойчивости к недопустимым наборам входных данных обладает надежная программа — в этом заключается разница между надёжной и корректной программами.
Требования к корректности делятся в зависимости от двух типов критериев качества
- Для функциональных критериев они определяются предметной областью и функциями выполняемой программы.
- Для конструктивных критериев они определяются общими для всех программ свойствами.
В зависимости от проверяемых компонентов программ различают следующие виды их корректности, показанные на рис.11. 
Рис.11 1. Корректность текстов программ имеет только конструктивную составляющую; благодаря жёстким правилам языков программирования синтаксическая и семантическая корректность программ проверяется на этапе трансляции программы, и прошедшая трансляцию программа является корректной с этой точки зрения. 2. Корректность программных модулей имеет и конструктивную и функциональную составляющие:
- Конструктивная составляющая определяется правилами построения структуры программных модулей, задаваемыми в технологии и языке программирования.
- Функциональная составляющая корректности модулей зависит от предметной области и функциональных спецификаций программы.
Функциональная составляющая корректности может проверяться в различных условиях: Детерминированная — для фиксированных наборов входных данных должны быть получены конкретные значения результатов; Стохастическая — входные данные задаются случайными величинами с известными законами распределения и результаты также должны быть случайными величинами с требуемыми законами распределения и заданными корреляционными связями между входными и выходными данными. Динамическая — характерна для систем реального времени и определяется согласованием во времени порядка поступления входных данных и порядка выдачи результатов выполнения программы. В общем случае функциональные спецификации программы определяют и функциональ-ные требования к программе, и характеристики, с которыми они должны обеспечиваться, как это показано на рис.12. 
Рис.12 3.Корректность данных имеет конструктивную и функциональную составляющие. Структурная корректность данных относится к конструктивной составляющей и предполагает правильность построения структурированных данных в программе: массивов, стеков, очередей и т.п. Функциональная корректность данных определяется диапазонами изменения их значений и соответствием типов полей структур типам значений данных. 4. Корректность комплексов программ также имеет конструктивную и функциональную составляющие: конструктивная составляющая определяется корректностью структуры межмодульных связей по управлению и данным, определяемых в интерфейсных требованиях к программе; функциональной корректность комплекса программ определяется так же, как и функциональная корректность модулей.
Влияние корректности заголовков и текста на продвижение
Просто о сложном, сложно о простом. Что такое корректность программ. Вадим Винник
Источник: studfile.net
Корректность программных средств
Корректность программных средств – это соответствие
проверяемого объекта некоторому эталонному объекту или
совокупности более или менее формализованных
характеристик и правил.
Корректность текстов программ – это степень
соответствия исходных текстов программ
формализованным правилам языков спецификаций и
программирования.
Конструктивная корректность модулей – это соответствие
им структуры общих правил структурного
программирования и конкретным правилам оформления и
внутренних построения программных модулей в данном
заказе.
Функциональная корректность модулей – это корректность
обработки исходных данных и получение результатов.
3.
Конструктивная
корректность
данных
определяется
правилами
их
структурирования и упорядочивания.
Функциональная корректность данных связана в основном с конкретизацией их
содержания в процессе использования программ, а также при подготовке
данных внешним оппонентам.
Конструктивная корректность программных модулей определяется правилами
структурного модульного построения программных комплексов и общими
правилами организации межмодульных связей.
Это
составляющее
может
быть
проверено
формализованными
автоматизированными методами.
Функциональная корректность комплексов программ наиболее трудно
формируется вследствие большого количества возможных эталонных
значений и распределений.
В наиболее сложном случае, для программ реального времени, можно разделить
на:
детерминированную корректность – должно быть обеспечено однозначное
соответствие исходных и результирующих программ определяющее
эталонное значение;
стохастическую корректность – статическое соответствие распределений и
результирующих случайных величин заданным эталонным распределениям
при соответствующих распределениях исходных данных;
динамическую корректность – это соответствие изменяющихся во времени
результатов использования программ эталонным данным.
4.
Синтаксический контроль корректности текстов программ –
это проверка входного текста программы на соответствие
синтаксису языка программирования.
Семантический контроль корректности текстов программ –
это проверка корректности применения и взаимодействия
базовых конструкций языка программирования в тексте
проверяемой программы.
Формализованный
структурный
контроль
программ
основывается на статистической проверке соответствия
структуры программы и последовательности основных
операций использования памяти в системе эталонных правил.
Верификация (подтверждение правильности) состоит в проверке
и доказательстве корректности разработанной программы по
отношению к совокупности формальных утверждений
представленных программных спецификаций и полностью
определяющем связи между входными и выходными данными
программы.
5.
Корректность
комплексов
программ
Корректность
текстов
программ
Корректность
программных
модулей
Корректность
данных
синтаксический
структурная
Структурных
семантический
функциональная
Конкретных
значений
детерминирован
ная
Корректность
групп и
комплексов
программ
Структурная и
межмодульная
связи
Функциональна
я связь
детерминирован
ная
стохастическая
стохастическая
динамическая
6.
Модель области
определения исходных
данных
Эталоны:
1.формализованные правила;
2.программы спецификаций;
3. тесты.
Проверки программы:
1.исходные тексты;
2.результаты использования
Средства сравнения
программ и их
результатов с эталонами
Отклонение от
эталонов
7.
8.
Методы получения
эталонных значений
Ручные или компьютерные
расчеты по аналитическим
формулам
Использование результатов
функционирования ранее
разработанных реальных
комплексов программ или
их компонентов
Разработка упрощенной
или обобщенной
материальной модели
проверяемых программ
Разработка
правдоподобных гипотез и
постановка умозрительных
экспериментов.
Источник: ppt-online.org
Презентация, доклад Корректность программных средств
Вы можете изучить и скачать доклад-презентацию на тему Корректность программных средств. Презентация на заданную тему содержит 10 слайдов. Для просмотра воспользуйтесь проигрывателем, если материал оказался полезным для Вас — поделитесь им с друзьями с помощью социальных кнопок и добавьте наш сайт презентаций в закладки!
Презентации » Образование » Корректность программных средств
Слайды и текст этой презентации
Слайд 1
Описание слайда:
Корректность программных средств
Слайд 2
Описание слайда:
Корректность программных средств – это соответствие проверяемого объекта некоторому эталонному объекту или совокупности более или менее формализованных характеристик и правил. Корректность программных средств – это соответствие проверяемого объекта некоторому эталонному объекту или совокупности более или менее формализованных характеристик и правил. Корректность текстов программ – это степень соответствия исходных текстов программ формализованным правилам языков спецификаций и программирования. Конструктивная корректность модулей – это соответствие им структуры общих правил структурного программирования и конкретным правилам оформления и внутренних построения программных модулей в данном заказе. Функциональная корректность модулей – это корректность обработки исходных данных и получение результатов.
Слайд 3
Описание слайда:
Конструктивная корректность данных определяется правилами их структурирования и упорядочивания. Конструктивная корректность данных определяется правилами их структурирования и упорядочивания. Функциональная корректность данных связана в основном с конкретизацией их содержания в процессе использования программ, а также при подготовке данных внешним оппонентам.
Конструктивная корректность программных модулей определяется правилами структурного модульного построения программных комплексов и общими правилами организации межмодульных связей. Это составляющее может быть проверено формализованными автоматизированными методами. Функциональная корректность комплексов программ наиболее трудно формируется вследствие большого количества возможных эталонных значений и распределений. В наиболее сложном случае, для программ реального времени, можно разделить на: детерминированную корректность – должно быть обеспечено однозначное соответствие исходных и результирующих программ определяющее эталонное значение; стохастическую корректность – статическое соответствие распределений и результирующих случайных величин заданным эталонным распределениям при соответствующих распределениях исходных данных; динамическую корректность – это соответствие изменяющихся во времени результатов использования программ эталонным данным.
Слайд 4
Описание слайда:
Синтаксический контроль корректности текстов программ – это проверка входного текста программы на соответствие синтаксису языка программирования. Синтаксический контроль корректности текстов программ – это проверка входного текста программы на соответствие синтаксису языка программирования. Семантический контроль корректности текстов программ – это проверка корректности применения и взаимодействия базовых конструкций языка программирования в тексте проверяемой программы. Формализованный структурный контроль программ основывается на статистической проверке соответствия структуры программы и последовательности основных операций использования памяти в системе эталонных правил. Верификация (подтверждение правильности) состоит в проверке и доказательстве корректности разработанной программы по отношению к совокупности формальных утверждений представленных программных спецификаций и полностью определяющем связи между входными и выходными данными программы.
Слайд 5
Источник: myslide.ru