Как определить корректность работы устройств

Узбекское Агентство
Связи и Информатизации

Ташкентский Университет Информационных Технологий

Кафедра
«Программное обеспечение информационных технологий»

Направления:

5521900 Информатика и
информационные технологии,
5523500 Защита информации,
5523600 Электронная коммерция,
5811200 Сервис (информационный сервис),
5811300 Сервис (электронные и
компьютерные технологии),
5320200 Информатика и
библиотековедение,
5140900 Профессиональное образование
(по направлению
информатика и
информационные технологии).

Выдержки из лекций

Корректность программ

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

Корректность или правильность программы наиболее полно определяется степенью ее соответствия предъявляемым к ней формальным требованиям программной спецификации.

При отсутствии полностью формализованной спецификации требований в качестве эталона, которому должны соответствовать программа и результаты ее функционирования, иногда исполь­зуются неформализованные пред-ставления разработчика, поль­зователя или заказчика программ.

Однако понятие корректности программ по отношению к запросам пользователя или заказчика сопряжено с неопре­деленностью самого эталона, которому должна соответствовать программа. Вследствие этого понятие корректности программ становится субъективным и его невозможно определить коли­чественно.

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

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

Формальные правила проектирования программ устанав­ливаются стандартами и инструкциями подготовки текстов прог­рамм и их структурного построения. Эталоны этого вида включают описание языка программирования, правила оформления текстов программ и описания данных, они являются наиболее уни­версальными и в ряде случаев формализуются на уровне ГОСТов на языки программирования и базу данных.

Будем считать программное изделие правильным, если оно:

— решает действительно ту задачу, для которой оно было
разработано;

— не «зависает» и не заканчивает свою работу аварийно;

— удовлетворяет всем требованиям из документа «Соглашение о требованиях» («Техническое задание») с учетом их уточнений в процессе проектирования программного изделия;

— разработано в соответствии с формальными правилами проектирования программного обеспечения.

Под корректностью программы понимают её соответствие некоторому эталону или совокупности формализованных эталонных правил и характеристик.

Наиболее полным эталоном корректности программ является программная спецификация. Её особенностью является задание требований поведения программы для допустимых наборов входных данных. Поэтому корректная программа может неправильно работать или даже сбиваться на недопустимых наборах входных данных. Свойством устойчивости к недопустимым наборам входных данных обладает надежная программа — в этом заключается разница между надёжной и корректной программами.

Требования к корректности делятся в зависимости от двух типов критериев качества:

· Для функциональных критериев они определяются предметной областью и функциями выполняемой программы.

· Для конструктивных критериев они определяются общими для всех программ свойствами.

Читайте также:  Как оплатить игру через мтс

В зависимости от проверяемых компонентов программ различают следующие виды их корректности, показанные на рис.11.

1. Корректность текстов программ имеет только конструктивную составляющую; благодаря жёстким правилам языков программирования синтаксическая и семантическая корректность программ проверяется на этапе трансляции программы, и прошедшая трансляцию программа является корректной с этой точки зрения.

2. Корректность программных модулей имеет и конструктивную и функциональную составляющие:

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

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

Функциональная составляющая корректности может проверяться в различных условиях:

Детерминированная — для фиксированных наборов входных данных должны быть получены конкретные значения результатов;

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

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

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

3.Корректность данных имеет конструктивную и функциональную составляющие.

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

4. Корректность комплексов программ также имеет конструктивную и функциональную составляющие: конструктивная составляющая определяется корректностью структуры межмодульных связей по управлению и данным, определяемых в интерфейсных требованиях к программе; функциональной корректность комплекса программ определяется так же, как и функциональная корректность модулей.

II. Эталоны и методы проверки корректности.

Эталоны для проверки корректности программ могут использоваться в следующих трех формах, поясняемых с помощью рис.13:

1. Формализованные правила.

2. Программные спецификации.

Формализованные правила — имеют достаточно неопределенностей, так как опреде-ляются двумя видами требований:

* требования стандартов (общероссийских и стандартов предприятий);

* требования языков и технологий программирования.

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

2. Программные спецификации — относятся к функциональным эталонам и в основ-ном обеспечивают проверку корректности программ в статике.

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

Как формируются эталоны для тестирования? Существует несколько способов формирования эталонов:

1) Использование аналитических выражений. Этот способ особенно подходит при детерминированном тестировании, так как имеется возможность сравнить результаты тестирования с ожидаемыми результатами. Имеются ограничения в использовании этого метода, если неизвестны или отсутствуют аналитические выражения связывающие входные данные и результаты; иногда требуется использовать много допущений.

Читайте также:  Как заархивировать фотографии для отправки по почте

2) Использование моделирования на ЭВМ. Способ является универсальным. При этом ряд данных моделируется другим способом и по другим алгоритмам, нежели испытываемая программа и на других ЭВМ. Причем наборы входных данных создаются по случайным законам, что обеспечивает высокую гибкость этого способа.

3) Использование результатов испытаний предшествующих вариантов программ.

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

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

В 1-ом случае обеспечивается 100% гарантия корректности программ, в третьем случае такой уверенности нет, но мы можем убедиться в том, что программа работает так же или иначе, чем аналогичный вариант. Менее достоверные тесты приходится использовать из-за недостаточности сил и средств.

Не нашли то, что искали? Воспользуйтесь поиском:

Лучшие изречения: Да какие ж вы математики, если запаролиться нормально не можете. 8448 — | 7340 — или читать все.

78.85.5.224 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.

Отключите adBlock!
и обновите страницу (F5)

очень нужно

Диагностика рабочего места

После установки программного комплекса «Спринтер» нужно проверить правильность работы средств криптографической защиты информации, возможность доступа к серверу электронной почты Оператора и совместимость с другими программными средствами.

Для выполнения процедуры тестирования необходимо:

  1. Запустить программу «Референт».
  2. В окне программы «Референт» в разделе «Выходной контроль» на панели инструментов нажать кнопку (Диагностика рабочего места) или выбрать меню «Сервис – Диагностика рабочего места».

Примечание. Если программа «Референт» настроена на работу с несколькими почтовыми ящиками, то сначала нужно будет выбрать те ящики, для которых необходима проверка. Поставьте галочки слева от названий почтовых ящиков и нажмите кнопку «Начать».

  • Установить в компьютер ключевой носитель (дискету, e-Token и т.д.).
  • После того как диагностика рабочего места будет проведена, в окне программы появится результат проверки.
  • Для проверки одного почтового ящика окно программы будет иметь вид:

    Для проверки нескольких почтовых ящиков окно программы будет иметь вид:

    Слева добавляется поле с названиями почтовых ящиков. В нем можно выбрать тот ящик, работоспособность которого вы планируете проверить.

    Сверху в окне будет располагаться запись о результате проверки:

    • Система готова к работе;
    • Работа в системе ограничена;
    • Система не готова к работе.

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

    Также в окне программы располагаются три вкладки:

    • Проверка криптографии;
    • Проверка возможности подключения;
    • Проверка совместимости.

    На вкладке «Проверка криптографии» указаны сведения о личных сертификатах, о корневых сертификатах, о сертификатах контролирующих органов и сведения о проверке криптоопераций.

    Читайте также:  Как почистить кэш ccleaner

    На вкладке «Проверка возможности подключения» указаны сведения о доступе по почтовому протоколу и о возможности подключения к серверу Оператора.

    На вкладке «Проверка совместимости» указаны сведения о проверки версии совместимых программ, сведения о криптографи и сведения о библиотеке CryptoTun.dll.

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

    • — тест пройден успешно;
    • — имеются ошибки;
    • — имеются предупреждения.

    Рядом с текстом ошибки располагаются рекомендации по ее устранению.

    После устранения обнаруженных ошибок рекомендуется выполнить диагностику рабочего места повторно.

    Успешный результат диагностики рабочего места означает, что:

    • Программа «Референт» настроена на доступ к серверу электронной почты специализированного оператора связи по протоколам SMTP/POP3 – для обеспечения отправки/приема сообщений электронной почты, и по протоколам http/https;
    • Почтовый ящик зарегистрирован на сервере электронной почты специализированного оператора связи;
    • Средства криптографической защиты информации корректно установлены и настроены на рабочем месте.
    • Все совместимые программы имеют актуальную версию.

    Примечание. Если при помощи одного ПК «Спринтер» вы представляете отчетность нескольких организаций, рекомендуется повторить процедуру диагностики рабочего места для каждой из них.

    После проведения диагностики рабочего места нажмите кнопку «Готово».

    Если в процессе диагностики были выявлены ошибки, нажмите кнопку «Отправить отчет об ошибке». Сообщение с описанием вашей ситуации будет отправлено нашим техническим специалистам, и мы сделаем все возможное, чтобы помочь вам устранить все затруднения.

    Также, вы можете ознакомиться с видеоинструкцией по проведению диагностики рабочего места.

    Настройка программы «Референт» для работы по сети

    Если вы устанавливаете ПК «Спринтер» на сетевом ресурсе, каталог установки ПК «Спринтер» обязательно нужно подключить как сетевой диск.

    Если при запуске программы «Референт» с вашего рабочего места откроется окно «Нет связи с сервером баз данных», следует произвести дополнительную настройку.

    Для этого необходимо:

    • перейти к удаленному компьютеру, на жестком диске которого установлен ПК «Спринтер»;
    • из каталога установки программы (по умолчанию это папка Dipost) запустить файл LaunchFirebird.exe;
    • в открывшемся окне «Параметры сервера баз данных» ввести имя этого удаленного компьютера (или его IP-адрес в локальной сети) и порт для службы;
    • нажать на кнопку «Продолжить».

    Чтобы посмотреть имя компьютера, необходимо:

    • перейти в меню «Пуск» и кликнуть правой кнопкой мыши по полю «Мой компьютер»;
    • выбрать из выпадающего меню пункт «Свойства»;
    • в открывшемся окне «Свойства системы» перейти на вкладку «Имя компьютера».

    ВАЖНО! Для настройки сервера баз данных потребуются права локального администратора и отключение всех программ, которые могут блокировать порт баз данных FireBird (Firebird Server использует по умолчанию 93 порт 3050) и полный доступ к системному Реестру (антивирусные программы и различные виды Firewall).

    После выполнения данных действий необходимо перезапустить программу «Референт» на вашем рабочем месте.

    Adblock
    detector