Под корректностью программы понимают её соответствие некоторому эталону или совокупности формализованных эталонных правил и характеристик. Наиболее полным эталоном корректности программ является программная спецификация. Её особенностью является задание требований поведения программы для допустимых наборов входных данных. Поэтому корректная программа может неправильно работать или даже сбиваться на недопустимых наборах входных данных. Свойством устойчивости к недопустимым наборам входных данных обладает надежная программа - в этом заключается разница между надёжной и корректной программами. В зависимости от проверяемых компонентов программ различают следующие виды их корректности, показанные на рис. Корректность текстов программ имеет только конструктивную составляющую; благодаря жёстким правилам языков программирования синтаксическая и семантическая корректность программ проверяется на этапе трансляции программы, и прошедшая трансляцию программа является корректной с этой точки зрения. Корректность программных модулей имеет и конструктивную и функциональную составляющие:. Детерминированная - для фиксированных наборов входных данных должны быть получены конкретные значения результатов;. Стохастическая - входные данные задаются случайными величинами с известными законами распределения и результаты также должны быть случайными величинами с требуемыми законами распределения и заданными корреляционными связями между входными и выходными данными. Динамическая - характерна для систем реального времени и определяется согласованием во времени порядка поступления входных данных и порядка выдачи результатов выполнения программы. В общем случае функциональные спецификации программы определяют и функциональ-ные требования к программе, и характеристики, с которыми они должны обеспечиваться, как это показано на рис. Структурная корректность данных относится к конструктивной составляющей и предполагает правильность построения структурированных данных в программе: Функциональная корректность данных определяется диапазонами изменения их значений и соответствием типов полей структур типам значений данных. Корректность комплексов программ также имеет конструктивную и функциональную составляющие: Эталоны для проверки корректности программ могут использоваться в следующих трех формах, поясняемых с помощью рис. Формализованные правила - имеют достаточно неопределенностей, так как опреде-ляются двумя видами требований:. Программные спецификации - относятся к функциональным эталонам и в основ-ном обеспечивают проверку корректности программ в статике. В зависимости от стадии и характера проверки разделяются тесты делятся на статические и динамические. Статическое тестирование - ручное тестирование программ, начиная со стадии формирования требований к программе. На стадии кодирования при статическом тестировании некоторую часть маршрутов исполнения тестируют вручную. Динамическое тестирование подразумевает достаточно полную структурную и функциональную проверку выполнения программы. Этот способ особенно подходит при детерминированном тестировании, так как имеется возможность сравнить результаты тестирования с ожидаемыми результатами. Имеются ограничения в использовании этого метода, если неизвестны или отсутствуют аналитические выражения связывающие входные данные и результаты; иногда требуется использовать много допущений. При этом ряд данных моделируется другим способом и по другим алгоритмам, нежели испытываемая программа и на других ЭВМ. Причем наборы входных данных создаются по случайным законам, что обеспечивает высокую гибкость этого способа. При этом используется ранее накопленный опыт испытателя или других исследователей, выраженный в экспертных оценках ожидаемых результатов. Степень достоверности проверки корректности программ при использовании этих методов убывает по номерам способов формирования эталонов. Менее достоверные тесты приходится использовать из-за недостаточности сил и средств. Предыдущая 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 Следующая. Понятие исполнения обязательства, принципы. Соотношение законности, права и власти. Понятие и виды источников форм права. Понятие и структура политической системы общества. Понятие и формы реализации права. Понятие правомерного поведения и правонарушения. Взаимосвязь юридической психологии с другими науками Биологическая роль буферных систем Плиты перекрытия Упражнений с гимнастической палкой Организация мероприятий по ликвидации незаразных болезней животных. Организация лечебных мероприятий Коррозионные диаграммы Дидактические принципы Каменского Кислотный и щелочной гидролиз пептидов. Производство строительной извести по мокрому способу из влажного мела Устройство и производительность дноуглубительных снарядов. Орг - год. Материал сайта представляется для ознакомительного и учебного использования.
Характеристика чс техногенного характера взрывы пожары
Home is where the heart is перевод
Метрология программного обеспечения
Статистические характеристики нагрузки схн это
Многих по следующим причинам
Общая характеристика растительных тканей
Значение сна зубы
Правила гри в гандбол
Сколько туристов посещают санкт петербург
Сайт фипи орфоэпический словарь
Тест процессоров fx
Поздравления с днем рождения татьяны открытки
Лекция 8. Понятие корректности программ.
Проволочный каркас своими руками своими руками
Программа акцент самоучитель
Схема трц золотой вавилон проспект мира
Состав призывной комиссии 2017
Виноград озон описание фото
Показатели качества и надежности программных средств
Долго яблоня описание
Стерлитамак альметьевск расписание
Глисты hominis чем лучше лечить
Как удалить программу зона