Корректность программных средств

Корректность программного средства — соответствие проверяемого объекта некоторому эталонному объекту или совокупности более или менее формализованных эталонных характеристик и правил.

Корректность текстов программ — степень соответствия исходных программ формализованным правилам языков спецификаций и программирования.

Конструктивная корректность модулей — соответствие их структуры общим правилам структурного программирования и конкретным правилам оформления и внутреннего построения программных модулей в данном заказе.

Функциональная корректность модулей — корректность обработки исходных данных и получения результатов.

Конструктивная корректность данных определяется правилами их структурирования и упорядочения.

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

Конструктивная корректность программных модулей определяется правилами структурного, модульного построения программных комплексов и общими правилами ор-ванными автоматизированными методами.

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

В наиболее сложном случае для программ реального времени ее можно разделить на:

• * детерминированную корректность — должно быть обеспечено однозначное соответствие исходных и результирующих данных исполняемых программ определенным эталонным значениям;
• * стохастическую корректность — статистическое соответствие распределений результирующий случайных величин заданиям эталонным распределениям при соответствующих распределениях исходных данных;
• * динамическую корректность — соответствие изменяющихся во времени результатов исполнения программ эталонным данным.

Синтаксический контроль корректности текстов программ — проверка входного текста программ на соответствие синтаксису языка программирования. метрология программный метрический.

Семантический контроль текстов программ — проверка корректности применения и взаимодействия базовых конструкций языка программирования в тексте проверяемых программ.

Формализованный структурный контроль программ основывается на статической проверке соответствия структуры программ и последовательности основных операций использования памяти системе эталонных правил. метрологии программных продуктов.

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

6. Основные виды корректности комплексов программ.

7. Схема взаимодействия компонент, определяющих обнаруживаемые отклонения программ от эталонов.

8. Типы эталонов и методы проверки корректности программ.