Обнаружение ошибок, исправление ошибок, контроль: .Предотвращение ошибок с помощью тестирования или отладки программного обеспечения – G06F 11/36
Патенты в данной категории
СПОСОБ И УСТРОЙСТВО АВТОМАТИЗИРОВАННОЙ СЕРИАЛИЗАЦИИ ДЛЯ МАССОВОГО ПРОИЗВОДСТВА РАДИОЭЛЕКТРОННЫХ УСТРОЙСТВ
Изобретение относится к вычислительной технике. Технический результат заключается в обеспечении гарантированной записи серийного номера с этикетки через кабель и проводной интерфейс во внутреннюю память контроллера управления радиоэлектронных устройств (РЭУ) в процессе тестирования. Способ автоматизированной сериализации для массового производства РЭУ, в котором осуществляют: тестирование работы РЭУ по беспроводному интерфейсу выполняют на выделенном частотном канале с использованием технологического серийного номера; в процессе тестирования через беспроводной интерфейс в РЭУ записывают программу, с помощью которой проверяют установку запрета на чтение памяти программатором, причем при снятом запрете восстанавливают технологическую программу и прекращают процесс тестирования, а при установленном запрете заменяют технологическую программу на рабочую программу РЭУ по проводному или беспроводному интерфейсу; в случае успешного тестирования уменьшают предустановленное значение, записанное в памяти счетчика, маркируют корпус РЭУ штрихкодом и уникальным серийным номером со сквозной нумерацией, сканируют упомянутый штрихкод и записывают уникальный номер, связанный со штрихкодом, во внутреннюю память контроллера управления РЭУ по проводному интерфейсу, и переводят РЭУ на рабочий частотный канал. 2 н. и 1 з.п. ф-лы, 2 ил. |
2500019 патент выдан: опубликован: 27.11.2013 |
|
СПОСОБ ПРЕДСТАВЛЕНИЯ ИНФОРМАЦИИ, ИМЕЮЩЕЙ ОТНОШЕНИЕ К БЕЗОПАСНОСТИ, НА ДИСПЛЕЕ И УСТРОЙСТВО ДЛЯ ПРИМЕНЕНИЯ НАСТОЯЩЕГО СПОСОБА
Изобретение относится к безопасному способу представления или отображения информации путем определения критических для безопасности ошибок в процессе обработки информации. Техническим результатом является безопасное представление информации на дисплее. Способ безопасного представления информации, имеющей отношение к безопасности, включающий: ввод, по меньшей мере, одного вводимого параметра в процессор, компьютерную обработку вводимого параметра преобразованием его в последовательность видеоданных, которые представляют собой вводимый параметр, передачу последовательности видеоданных на дисплей и представление последовательности видеоданных на дисплее, при этом последовательность видеоданных передают в испытательное устройство, выполняют испытание безопасности компьютерной генерацией тестового кода для этой последовательности видеоданных, тестовый код проверяют в сравнении с несколькими контрольными кодами, далее идентифицированному контрольному коду назначают соответствующее возможное значение вводимого параметра и проверяют в сравнении со значением вводимого параметра с помощью испытательного устройства, генерирующего либо положительный, либо отрицательный результат испытания для вызова отклика, направленного на безопасность. Устройство предназначено для реализации данного способа. 2 н. и 20 з.п. ф-лы, 4 ил. |
2498395 патент выдан: опубликован: 10.11.2013 |
|
СПОСОБ АВТОМАТИЧЕСКОГО ГЕНЕРИРОВАНИЯ СЦЕНАРИЯ ДЛЯ ПРОВЕРКИ ПРАВИЛЬНОСТИ ФУНКЦИОНАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ, УСТАНОВЛЕННОЙ НА БОРТУ ЛЕТАТЕЛЬНОГО АППАРАТА, И УСТРОЙСТВО ДЛЯ ПРИМЕНЕНИЯ СПОСОБА
Изобретение относится к области обеспечения безопасности функционирования систем, когда работа этих систем зависит от исполнения последовательностей логических команд в вычислительном устройстве. Техническим результатом является обеспечение гибкости в разработке тестовых программ, а также повышение надежности тестовых программ. Способ генерирования сценария для проверки правильности функционального программного обеспечения системы, установленной на борту летательного аппарата, заключается в: а) интерактивная идентификация (20) разработчиком правильных тестовых ситуаций путем позиционирования точки ввода и точки остановки соответственно в начале и в конце функции функционального программного обеспечения в ходе его тестирования; б) отслеживание и запись (22) состояний переменных указанной функции при помощи позиции точки остановки и точки ввода; в) автоматическое генерирование (26) тестового сценария путем анализа, на первой стадии, состояний переменных, отслеживаемых во время идентификации тестовых ситуаций, и путем генерирования, на второй стадии, тестового сценария в виде исходного кода (13); г) автоматическое выполнение (30) генерированного тестового сценария в среде выполнения тестов. 2 н. и 10 з.п. ф-лы, 2 ил. |
2473115 патент выдан: опубликован: 20.01.2013 |
|
СПОСОБ ОТЛАДКИ ФУНКЦИОНАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ, УСТАНОВЛЕННОЙ НА БОРТУ ЛЕТАТЕЛЬНОГО АППАРАТА, И УСТРОЙСТВО ДЛЯ ЕГО ОСУЩЕСТВЛЕНИЯ
Изобретение относится к области обеспечения безопасности функционирования бортовой электронной системы. Техническим результатом является повышение надежности функционирования бортовой системы за счет повышения эффективности отладки программного обеспечения со сложной логикой. Способ отладки заключается в структурированном выполнении программы путем функциональной разметки нормального пути выполнения при помощи векторов состояния меток на функциональные блоки, а при обнаружении ошибки выполнять поиск функционального интервала нарушения на основании векторов состояния меток, обратное выполнение программы в этом функциональном интервале нарушения и определение и исправление ошибки. Устройство, моделирующее работу бортовой системы, содержащее процессор, осуществляющий способ отладки. 3 н. и 7 з.п. ф-лы, 3 ил. |
2454706 патент выдан: опубликован: 27.06.2012 |
|
СПОСОБ ПРОВЕРКИ ФУНКЦИОНИРОВАНИЯ ПРОТОКОЛОВ ИНФОРМАЦИОННЫХ СИСТЕМ
Изобретение относится к способам проверки функционирования протоколов информационных систем. Технический результат заключается в повышении безопасности информационных систем. Осуществляют построение физического сегмента тестируемой сети и множества последовательностей параметров полей заголовка пакета тестируемого протокола на основе метода полного перебора, из полученных последовательностей составляют тестовые пакеты, генерируют тестовые блоки, состоящие из набора тестовых и диагностического пакетов, после чего тестовые блоки отправляют с заданной интенсивностью, размерами блоков и структурой, причем завершает каждый блок тестовых пакетов диагностический пакет, реакцию системы на блоки тестовых пакетов анализируют по заданным правилам, в результате чего формируют хранилище критических последовательностей, на основе которого устанавливают фильтрующие правила путем извлечения из хранилища критических последовательностей соответствующих сигнатур и внедрения их в программные средства обеспечения информационной безопасности. 5 ил., 6 табл. |
2453905 патент выдан: опубликован: 20.06.2012 |
|
СПОСОБ ОБРАБОТКИ ОБЪЕМА ДАННЫХ, ИСПОЛЬЗУЕМОГО ВО ВРЕМЯ ФАЗЫ ОТЛАДКИ ФУНКЦИОНАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ, УСТАНОВЛЕННОЙ НА БОРТУ ЛЕТАТЕЛЬНОГО АППАРАТА, И УСТРОЙСТВО ДЛЯ ЕГО ОСУЩЕСТВЛЕНИЯ
Настоящее изобретение относится к способу обработки объема данных, используемых во время фазы отладки программы функционального программного обеспечения бортовой системы. Техническим результатом является минимизация необходимого объема памяти и времени отладки. Способ включает следующие этапы: а) разбивка (32) пути выполнения указанной рабочей программы на функциональные интервалы путем установки путевых точек в каждой функции программы, b) установка (33) контрольных точек, связанных с каждой путевой точкой, с) нормальное выполнение программы, при котором осуществляют: запись в память состояния выполнения программы в месте каждой путевой точки; при этом запись в память состояния выполнения приводит к стиранию состояния выполнения, ранее записанного для указанной путевой точки; при обнаружении ошибки осуществляют: поиск путевой точки, соответствующей нарушенной функции; поиск (41) исходного состояния выполнения программы; восстановление (42) этого исходного состояния выполнения; исправление (44) ошибки в нарушенной функции и повторное выполнение программы. 2 н. и 6 з.п. ф-лы, 2 ил. |
2451990 патент выдан: опубликован: 27.05.2012 |
|
СИСТЕМА ОЦЕНИВАНИЯ ОБЪЕМА РАБОТ ПО КОНТРОЛЮ ОТСУТСТВИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ
Изобретение относится к системам, специально предназначенным для оценивания объема работ по проведению сертификационных испытаний программного обеспечения на отсутствие недекларированных возможностей. Техническим результатом является более точная оценка объема работ по контролю отсутствия недекларированных возможностей в программном обеспечении. В структуру системы дополнительно введены группы, состоящие из блоков хранения и преобразования информации и реализующие выдачу перечня требования для выбранного уровня контроля отсутствия недекларированных возможностей, выбор необходимых автоматизированных средств, выбор и оптимизацию перечня требующих проверки ошибок проектирования, оценивание необходимых квалификационных требований специалистов для контроля отсутствия недекларированных возможностей в анализируемом программном обеспечении, детектирование и оценку сложности обхода примененных в анализируемом программном обеспечении средств защиты программного кода от анализа, прогнозирование и оптимизацию перечня возможных штатных взаимодействий анализируемого программного обеспечения с внешней программной средой функционирования, прогнозирование и оптимизацию перечня внешних направленных недекларированных воздействий для анализируемого программного обеспечения. 2 ил. |
2445684 патент выдан: опубликован: 20.03.2012 |
|
СХЕМА ОТЛАДКИ, СРАВНИВАЮЩАЯ РЕЖИМ ОБРАБОТКИ НАБОРА КОМАНД ПРОЦЕССОРА
Изобретения относятся к системам и способам отладки кода на процессоре посредством схемы отладки. Техническим результатом является повышение эффективности отладки команд в процессоре. Процессор в одном из вариантов содержит индикатор текущего режима обработки набора команд, место хранения данных, выполненное с возможностью хранить индикатор целевого режима обработки набора команд, исполнительный блок, выполненный с возможностью выполнения команд согласно текущему режиму обработки набора команд, и схему сравнения, выполненную с возможностью сравнивать текущий режим обработки набора команд и целевой режим обработки набора команд при выполнении каждой команды и выводить индикацию, если текущий режим обработки набора команд соответствует целевому режиму обработки набора команд. 4 н. и 24 з.п. ф-лы, 3 ил., 2 табл. |
2429525 патент выдан: опубликован: 20.09.2011 |
|
СИСТЕМА, УСТРОЙСТВО И СПОСОБ ДИНАМИЧЕСКОЙ НАСТРОЙКИ И КОНФИГУРИРОВАНИЯ ПРИЛОЖЕНИЙ
Изобретение относится к области настройки и/или конфигурирования программного обеспечения в устройствах. Технический результат заключается в обеспечении возможности динамической настройки, модифицирования и/или конфигурирования базового приложения, постоянно находящегося на терминале. Такой результат обеспечивается тем, что связанная с терминалом информация передается от терминала при начальной активации базового приложения на терминал. При этом базовое приложение включает общие связанные с коммерцией компоненты представления. Затем идентифицируется, с помощью модуля идентификации варианта пользовательского интерфейса, поставщик услуг, ассоциированный с общими связанными с коммерцией компонентами представления. Связанная с терминалом информация принимается в конфигурационной серверной системе, в которой извлекается вариантная информация приложения для терминала на основании связанной с терминалом информации. Эта вариантная информация приложения передается назад на терминал, и пользовательский интерфейс базового приложения изменяется так, как определено вариантной информацией приложения. 7 н. и 22 з.п. ф-лы, 6 ил. |
2422882 патент выдан: опубликован: 27.06.2011 |
|
СИСТЕМА И СПОСОБ ПРОЗРАЧНОЙ ТРАССИРОВКИ И ПРОФИЛИРОВАНИЯ ВИРТУАЛИЗИРОВАННЫХ ВСТРОЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
Изобретение относится к области вычислительной техники, а именно к системам и способам профилирования и трассировки виртуализированных вычислительных систем. Техническим результатом является увеличение точности систем прозрачной трассировки и профилирования встроенных виртуализированных вычислительных систем. Изобретение содержит монитор виртуальных машин (ВММ), аппаратуру встроенной вычислительной системы, удаленную трассирующую/профилирующую систему, отображающую трассировочную/профилировочную информацию и управляющую процессом трассировки/профилирования трассирующей/профилирующей ВМ, имеющую команды на формирование трассировочных/профилировочных вызовов от удаленной трассирующей/профилирующей системы, инициирующую формирование трассировочных/профилировочных вызовов в ВММ, получающую трассировочную/профилировочную информацию от трассируемой/профилируемой ВМ через ВММ и передающую эту информацию в удаленную трассирующую/профилирующую систему, трассируемую/профилируемую ВМ, формирующий трассировочные/профилировочные вызовы, которые обеспечивают установку точек профилирования и трассировки в заданных адресах памяти, с возможностью уведомления трассирующей/профилирующей ВМ о полученных данных, а также с возможностью получения от трассируемой/профилируемой ВМ трассировочной/профилировочной информации, предназначенной для трассирующей/профилирующей ВМ. 2 н. и 8 з.п. ф-лы, 3 ил. |
2411571 патент выдан: опубликован: 10.02.2011 |
|
СПОСОБ И УСТРОЙСТВО ДЛЯ УПРАВЛЕНИЯ ДОСТУПОМ К ПАМЯТИ В ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЕ ПО МЕНЬШЕЙ МЕРЕ С ДВУМЯ ИСПОЛНИТЕЛЬНЫМИ БЛОКАМИ
Изобретение относится к способу и устройству для сравнения выходных данных по меньшей мере двух исполнительных блоков микропроцессора. Технический результат заключается в обеспечении возможности переключения в переключаемой многопроцессорной системе между режимом повышенной производительности и режимом сравнения. Такой результат достигается тем, что в устройстве для управления доступом к памяти в вычислительной системе по меньшей мере с двумя исполнительными блоками, предусмотрены буферная память, в частности кэш-память, а также средства переключения и средства сравнения, причем переключение осуществляется между режимом повышенной производительности и режимом сравнения, причем в режиме сравнения доступ к буферной памяти закрывают для всех исполнительных блоков, а в режиме повышенной производительности доступ к буферной памяти открывают по меньшей мере для одного исполнительного блока. 2 н. и 11 з.п. ф-лы, 8 ил. |
2406114 патент выдан: опубликован: 10.12.2010 |
|
АНТИВИРУС ДЛЯ ХРАНИЛИЩА ЭЛЕМЕНТОВ
Изобретение относится к области антивирусной защиты. Техническим результатом является повышение надежности антивирусной защиты. Обеспечены системы и методологии для интеграции антивирусной АВ Подключаемой Программы (Программ) как части Хранилища Элементов. Семантику для работы АВ Подключаемой Программы (Программ) обеспечивает реляционное Хранилище Элементов путем использования компонента метаданных и компонента сканирования, связанных с Хранилищем Элементов. Компонент метаданных может обеспечивать значение сигнатуры, связанное с Хранилищем Элементов, которое может представлять время сканирования данных и результат для каждого просканированного элемента. Компонент сканирования может обеспечивать формирование очереди элементов в хранилище данных в синхронном и/или асинхронном режиме как для сканирования, так и для очистки посредством АВ Подключаемой Программы, предоставляемой поставщиками. 6 н. и 23 з.п. ф-лы, 14 ил. |
2393531 патент выдан: опубликован: 27.06.2010 |
|
СИСТЕМА И СПОСОБ ДЛЯ ВЫБОРА РЕЖИМОВ ВЫПОЛНЕНИЯ ТЕСТОВОГО ПРИМЕРА ДЛЯ АВТОМАТИЗАЦИИ ПОВТОРНО ВЫПОЛНЯЕМОГО ТЕСТИРОВАНИЯ
Изобретение относится к области тестирования программного обеспечения. Техническим результатом является облегчение тестирования программного обеспечения. Раскрыты система и способ для разделения режимов выполнения и тестовых примеров и для объединения режимов выполнения в менеджере режимов выполнения, который содержит или осуществляет связь с библиотекой режимов выполнения. Способ включает в себя выбор режима выполнения для выполнения этапа или действия в тестовом примере и передачу этого режима выполнения к тестовому примеру для выполнения. Дополнительно система и способ обеспечивают применение глобального и местного присвоения весовых коэффициентов к процессу выбора режима выполнения и предоставляют возможность повторного выполнения тестового примера с ранее выполняемыми режимами. 5 н. и 26 з.п. ф-лы, 6 ил. |
2390829 патент выдан: опубликован: 27.05.2010 |
|
АВТОМАТИЧЕСКАЯ ПРОВЕРКА КОНТРОЛЬНЫХ ПРИМЕРОВ, КОТОРАЯ НЕЯВНО СВЯЗАНА С АВТОМАТИЧЕСКИМ ИСПОЛНЕНИЕМ КОНТРОЛЬНЫХ ПРИМЕРОВ
Изобретение относится к области тестирования приложений, Техническим результатом является облегчение тестирования приложений. Раскрыты система и способ для верификации общесистемных результатов действия, примененного к приложению, и для предоставления ожидаемого состояния приложения в любое время или по запросу, в котором диспетчер проверки определяет ожидаемое состояние приложения и текущее состояние приложения, контрольный пример, поддерживающий обмен данными с диспетчером проверки, исполняет действие, а диспетчер проверки сравнивает ожидаемое состояние приложения и текущее состояние приложения. 3 н. и 30 з.п. ф-лы, 5 ил. |
2390826 патент выдан: опубликован: 27.05.2010 |
|
АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ КОДА МОДЕЛИРОВАНИЯ СХЕМЫ ОБМЕНА СООБЩЕНИЯМИ
Изобретение относится к механизмам автоматической генерации кода, который тестирует возможности тестовой вычислительной системы в отношении моделирования схемы обмена сообщениями. Техническим результатом является обеспечение механизма автоматического генерирования кода, который тестирует возможности тестовой вычислительной системы в отношении моделирования схемы обмена сообщениями. Вычислительная система генерации кода использует определение схемы обмена сообщениями для генерации кода моделирования. Для каждого состояния, в котором определение схемы обмена сообщениями позволяет передачу допустимых сообщений, генерируется код для этого состояния, который, по меньшей мере, моделирует передачу допустимого сообщения передачи. Для каждого состояния, в котором определение схемы обмена сообщениями позволяет прием допустимых сообщений, генерируется код для этого состояния, который моделирует прием допустимого сообщения приема. Если передача или прием сообщения приводит к переходу между состояниями, генерируется код, который вызывает соответствующий переход между состояниями в схеме обмена сообщениями. 2 н. и 28 з.п. ф-лы, 6 ил. |
2373565 патент выдан: опубликован: 20.11.2009 |
|
СПОСОБ КОНТРОЛЯ ФУНКЦИОНИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Изобретение относится к области вычислительной техники. Техническим результатом является обеспечение отказоустойчивого выполнения программным обеспечением своих функциональных возможностей с обеспечением защиты от случайного и преднамеренного вмешательства. Способ заключается в следующем: осуществляют запуск контролируемого программного обеспечения при запуске электронной вычислительной машины, вырабатывают ключ симметричного шифрования для взаимодействия модуля контроля и контролируемого программного обеспечения в ответ на сигнал инициализации, полученный при начальном запуске от программного обеспечения, модулю контроля сообщают идентификатор контролируемого программного обеспечения, набор контролируемых подсистем и ожидаемую интенсивность (динамику) получения сигналов оповещения от контролируемых подсистем, в процессе функционирования программного обеспечения модулем контроля отслеживают интенсивность (динамику) получения сигналов оповещения от контролируемых подсистем по криптографически защищенному каналу, в случае несоответствия реальной интенсивности (динамики) ожидаемой выполняют перезапуск электронной вычислительной машины. |
2331101 патент выдан: опубликован: 10.08.2008 |
|
СПОСОБ КОНТРОЛЯ ВЫПОЛНЕНИЯ КОМПЬЮТЕРНЫХ ПРОГРАММ В СООТВЕТСТВИИ С ИХ НАЗНАЧЕНИЕМ Изобретение относится к способу контроля выполнения компьютерных программ в соответствии с их назначением. Техническим результатом является защита компьютерных программ от противоправных манипуляций при их выполнении. Способ заключается в обеспечении запоминающего устройства защиты, недоступного вне системы, исполняющей контролируемую компьютерную программу, препятствии перезаписи адресов возврата, препятствии использования ошибочно запомненных адресов возврата и ошибочно перезаписанных адресов возврата. 9 з. п. ф-лы, 2 ил. | 2220443 патент выдан: опубликован: 27.12.2003 |
|