Корректность программного обеспечения

Предмет Программирование

👍 Проверено Автор24

свойство безошибочной реализации требуемого алгоритма, при отсутствии таких мешающих факторов, как: ошибки входных данных, ошибки операторов ЭВМ (людей), сбоев и отказов ЭВМ.

Научные статьи на тему «Корректность программного обеспечения»

Электронные ключи

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

Статья от экспертов

АРХИТЕКТУРА ИНФОРМАЦИОННОЙ СИСТЕМЫ ДЛЯ ПРОВЕРКИ ПОДЛИННОСТИ МЕДИЦИНСКИХ ДАННЫХ В АРХИВЕ DICOM

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

Creative Commons

Научный журнал

Стандарты и критерии качества ПО

Определение 1 Качество ПО - это степень, в которой программное обеспечение соответствует потребностям...
надлежащего качества программного обеспечения (ПО)....
Качество ПО представляет собой степень, в которой программное обеспечение соответствует ожиданиям его...
Требования и оценка качества систем и программного обеспечения (SQuaRE)....
Критерий корректности подразумевает логическую корректность.

Статья от экспертов

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

В данной работе, относящейся к области разработки специального математического и программного обеспечения системного анализа, рассматривается ряд вопросов, связанных с представлением, анализом и движением данных в системах обработки информации. Разработана концепция контроля корректности бухгалтерских данных средствами реляционной интерактивной логики. Разновидности утверждений о корректных или некорректных данных выделены исходя из организации данных и траекторий их движения в программном комплексе«1С: Бухгалтерия предприятия» и требований нормативных документов. Требования к корректности данных задаются в виде контрольных утверждений, которые записываются в виде логических неравенств, уравнений и их систем. Контрольные утверждения зависят от полей стандартных объектов платформы «1С: Предприятие» документов, регистров бухгалтерии, регистров накопления, регистров сведений и др. Контрольные утверждения записываются в виде логических формул, которые преобразуются в реляционные запросы...

Creative Commons

Научный журнал

Еще термины по предмету «Программирование»

Символьный (литерный) тип

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

Статическая переменная

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

J Java

объектно-ориентированный язык программирования, разработанных компанией Sun Microsystems.

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot