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

Изобретение относится к компьютерным системам, основанным на специфических вычислительных моделях. Техническим результатом изобретения является увеличение вероятности обнаружения неисправностей электронной аппаратуры. Способ мутационного тестирования электронной аппаратуры и ее управляющего программного обеспечения (ПО) заключается в том, что на языках описания аппаратуры создают проект исправной модели электронного устройства, имитирующей поведение его каналов ввода-вывода и проект модели электронного устройства с неисправностями. Записывают получившиеся проекты модели в программируемую логическую интегральную схему (ПЛИС) устройства имитации неисправностей. Проводят тестирование на этой модели. Сравнивают результаты тестирования от исправной и неисправной моделей. Если в процессе тестирования исправной модели неисправностей не обнаруживают, а при тестировании неисправной обнаруживают весь массив внесенных неисправностей, то электронную аппаратуру или ее управляющее ПО считают прошедшими тестирование. 1 з.п. ф-лы.

 

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

Известен способ тестирования электронной аппаратуры, реализуемый при помощи устройства для имитации отказов и внутрисхемного тестирования элементов дискретной аппаратуры (патент РФ №2093885). Способ позволяет имитировать неисправности как на отдельных, так и на нескольких выводах цифровых элементов путем аппаратного макетирования. Обеспечивает возможность работы с элементами, имеющими двунаправленные шины, а также предусматривает использование устройства в качестве цифрового внутрисхемного тестера за счет создания аппаратно-программной защиты каналов устройства от перегрузки. Позволяет осуществлять автоматизированное управление процессом тестирования. Недостатками данного устройства являются: отсутствие реконфигурируемой, при помощи языков описания аппаратуры, аппаратной части тестового устройства, что увеличивает время, затрачиваемое на имитацию отказов; отсутствие в способе описания правил локализации неисправностей.

Известен способ анализа безопасности устройств с использованием метода внесения неисправностей основанного на языках описания аппаратуры (патент США №US8418012 B2). Способ заключается в том, что получают базовый проект тестируемого электронного устройства на языке описания аппаратуры. Создают математические модели неисправностей для конфигурируемой интегральной схемы тестируемого электронного устройства. Описывают эти неисправности на языке описания аппаратуры. Вносят описанные неисправности в базовый проект особой конфигурируемой интегральной схемы тестируемого устройства. Проводят несколько экспериментов по внесению неисправностей, где каждый эксперимент включает неисправность, по крайней мере, одного сигнала.

Недостатками данного способа являются: невозможность имитации неисправностей устройств, не имеющих в своем составе программируемых логических интегральных схем (ПЛИС), по причине того, что неисправности вносятся в ПЛИС самого тестируемого устройства, при этом в составе тестового комплекса ПЛИС отсутствует; отсутствие возможности управления включением/выключением неисправностей в моделях без перекомпиляций проекта ПЛИС при помощи программного обеспечения (ПО) высокого уровня; отсутствие в способе описания правил локализации неисправностей.

Наиболее близким (прототипом) является способ мутационного тестирования радиоэлектронной аппаратуры и ее управляющего ПО (патент РФ №2549523). Способ заключается в том, что на языке описания аппаратуры создают два проекта модели электронного устройства: с неисправностями и исправный; затем проводят тестирование с использованием обоих проектов; сравнивают результаты тестирования от исправной и неисправной моделей на каждой неисправности из заданного массива, если в процессе тестирования исправной модели неисправностей не обнаруживают, а при тестировании неисправной обнаруживают весь массив внесенных неисправностей, то тестируемую электронную аппаратуру или ее управляющее ПО считают прошедшими тестирование. При этом в состав тестового комплекса входит ПЛИС для вышеописанного моделирования электронных устройств.

Недостатком данного способа является отсутствие описания правил локализации неисправностей.

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

Поставленная задача изобретения решается тем, что в проекты ПЛИС, реализованные на языках описания аппаратуры, намеренно вносят модели неисправностей; затем проводят тестирование с целью оценки вероятности обнаружения внесенных моделей неисправностей тестируемой аппаратурой или ПО; на языке описания аппаратуры создают проект исправной модели электронного устройства, имитирующей поведение каналов ввода-вывода объекта испытаний (электронного устройства, разрабатываемого для конечного потребителя); записывают получившийся проект модели в ПЛИС устройства имитации неисправностей, встроенного в устройство управления процессом тестирования и содержащего интерфейсные каналы ввода-вывода; проводят тестирование на этой модели; результаты тестирования заносят в протокол при помощи устройства управления процессом тестирования; на языках описания аппаратуры создают проект модели объекта тестирования с неисправностями, причем предусматривают возможность их включения/выключения в процессе тестирования без перекомпиляции проекта, при помощи управляющего ПО высокого уровня; записывают получившийся проект модели в ПЛИС устройства имитации неисправностей, встроенного в устройство управления процессом тестирования; при помощи устройства управления процессом тестирования формируют массив управляющих воздействий поочередно включающих неисправности, реализованные в модели и указанные в массиве; проводят тестирование на этой модели; результаты тестирования заносят в протокол при помощи устройства управления процессом тестирования; при помощи устройства управления тестированием, сравнивают результаты тестирования от исправной и неисправной моделей на каждой неисправности из заданного массива, если в процессе тестирования исправной модели неисправностей не обнаруживают, а при тестировании неисправной, обнаруживают весь массив внесенных неисправностей, то тестируемую аппаратуру или ПО считают прошедшими тестирование; если в процессе тестирования исправной модели обнаруживают неисправности, то определяют коэффициент первого этапа R1=1/о, где о - количество обнаруженных неисправностей; если в процессе тестирования неисправной модели обнаруживают не все неисправности, то определяют коэффициент второго этапа R2=ov/oo, где ov - количество внесенных в модель неисправностей, оо - количество обнаруженных неисправностей.

Метод мутационного тестирования основывается на намеренном внесении неисправностей (мутаций) в объект тестирования (электронную аппаратуру, разрабатываемую для конечного потребителя) или его модель с последующим тестированием их наличия (ikit.sfu-kras.ru/files/ikit/7_Mutacionnoe_testirovanie.pdf - сайт Сибирского федерального университета; Budd Т. A. Mutation Analysis of Program Test Data. PhD thesis. - New Haven CT, Yale University, 1980).

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

1. Неисправность каждого элемента компонентной базы моделируемой аппаратуры и каждого элемента управляющего ПО не менее одного раза.

2. Неисправность в каждой из возможных ветвей алгоритма работы моделируемой системы не менее одного раза.

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

4. Неисправности всех стандартов и интерфейсов передачи данных, представленных в тестируемой аппаратуре не менее одного раза.

5. Неисправности всех типов данных представленных в ПО тестируемой аппаратуры не менее одного раза.

6. Неисправности всех диапазонов данных представленных в ПО тестируемой аппаратуры не менее одного раза.

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

Способ осуществляют следующим образом.

На языке описания аппаратуры создают проект исправной модели электронного устройства, имитирующей поведение каналов ввода-вывода объекта тестирования (электронного устройства или его частей), связывающих устройство имитации неисправностей с устройством управления процессом тестирования, содержащим устройства контроля. Записывают получившийся проект в ПЛИС устройства имитации неисправностей, встроенного в устройство управления процессом тестирования и содержащего интерфейсные каналы ввода-вывода. Реализация модели на ПЛИС позволяет исключить моделирование временных промежутков, так как современные ПЛИС поддерживают такой же уровень скоростей, как и аппаратура, создаваемая для конечного потребителя, имеющая чисто аппаратную реализацию. В то же время на ПЛИС можно реализовывать любые устройства, требуемые для тестирования, путем простого перепрограммирования, что занимает гораздо меньше времени, чем аппаратное макетирование, которое требует приобретения реальной компонентной базы электроники и сложного процесса ее монтажа на печатные платы. Далее проводят тестирование модели. Результаты тестирования автоматически заносятся в протокол устройством управления процессом тестирования. На языке описания аппаратуры создают проект модели электронной аппаратуры с неисправностями, причем предусматривают возможность их включения/выключения в процессе тестирования, при помощи управляющего ПО высокого уровня, что сильно сокращает количество перекомпиляций проектов ПЛИС. Например, необходимо имитировать 10 различных неисправностей, причем ввести их в процесс тестирования во всех возможных комбинациях. На каждую комбинацию потребуется переделать проект ПЛИС и провести его перекомпиляцию. Допустим, что наличие неисправности это 1, а отсутствие 0, это значит, что количество перекомпиляций (исключая исправную модель) составит 1023 (1111111111двоичная=1024десятичная). В предлагаемом способе в проекте ПЛИС модели предусматривают возможность включения/выключения каждой отдельной неисправности путем введения программируемой логической структуры «ЕСЛИ», которая управляется ПО высокого уровня формированием массива управляющих воздействии включения/выключения. Далее записывают получившийся проект в ПЛИС того же самого устройства имитации неисправностей, встроенного в устройство управления процессом тестирования. При помощи устройства управления процессом тестирования формируется массив управляющих воздействий автоматически поочередно включающих неисправности, реализованные в модели и указанные в массиве. Проводят тестирование на этой модели. Результаты тестирования автоматически заносятся в протокол устройством управления процессом тестирования. При помощи устройства управления тестированием, сравнивают результаты тестирования от исправной и неисправной моделей на каждой неисправности из заданного массива. Если в процессе тестирования исправной модели неисправностей не обнаружено, а также обнаружен весь массив внесенных неисправностей в неисправную модель, то аппаратура или ее управляющее ПО считаются прошедшими тестирование. Если в процессе тестирования исправной модели обнаруживают неисправности, то определяют коэффициент первого этапа R1=1/о, где о - количество обнаруженных неисправностей. Если в процессе тестирования неисправной модели обнаруживают не все неисправности, то определяют коэффициент второго этапа R2=ov/oo, где ov - количество включенных в модель неисправностей, оо - количество обнаруженных неисправностей.

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

Необходимо отметить, что, в рамках предлагаемого способа мутационного тестирования аппаратуры и ее управляющего ПО, модели на ПЛИС функционируют как «Черный ящик», лишь функционально имитируя поведение каналов ввода-вывода электронных устройств или их частей, при этом ставится задачей максимально адекватно воспроизвести входные и выходные сигналы по временным параметрам, для обеспечения взаимодействия с внешней аппаратурой, подключенной к данным каналам в процессе тестирования. Внутренняя реализация моделей на ПЛИС имеет лишь отдаленную схожесть с внутренней реализацией имитируемого прибора.

Устройство управления процессом тестирования реализовано в крейт-шасси, управляемом крейт-контроллером, к которому подключаются манипуляторы (мышь и клавиатура). Данные о процессе тестирования выводятся на монитор. Управление крейт-контроллером обеспечивает операционная система и пакет прикладных программ. Также при помощи пакета прикладных программ задается массив неисправностей для неисправной модели. Данные, полученные в процессе тестирования, протоколируются, и результаты сравниваются. Вычисляются коэффициенты покрытия неисправностей проведенного тестирования (R1 и R2). Устройство имитации неисправностей в модульном исполнении, содержащее ПЛИС и каналы ввода-вывода для соединения с устройством управления, встраивают в крейт-шасси устройства управления. При помощи вышеописанного пакета прикладных программ оператор задает, какие неисправности и в какой последовательности включать в тестирование, и запускает процесс. Для каждой комбинации неисправностей автоматически поочередно проводится тестирование. Результаты автоматически анализируются и заносятся в протокол, содержащийся в памяти крейт-контроллера устройства управления.

Выбор моделируемых неисправностей определяется следующими правилами:

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

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

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

4. Необходимо имитировать неисправности обмена по всем стандартам и интерфейсам передачи данных, представленных в моделируемой аппаратуре, не менее одного раза. К подобным относятся, например, внутри- или межприборные интерфейсы: Ethernet, MKO, DMA-T, RS-232, USB, SPI, LVDS и.т.п.

5. Необходимо имитировать неисправности всех типов данных представленных в ПО моделируемой аппаратуры не менее одного раза. Подмена ожидаемых элементом ПО входных или выходных данных данными другого типа. Например, если функция принимает входной параметр типа Word подать на него значение типа Byte.

6. Необходимо имитировать неисправности всех диапазонов данных представленных в ПО моделируемой аппаратуры не менее одного раза. Например, если входной параметр функции управляющего ПО имитируемой электронной аппаратуры должен находиться в диапазоне от 100 до 200, подать на него значение 90.

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

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

1. Способ мутационного тестирования электронной аппаратуры и ее управляющего программного обеспечения (ПО), при реализации которого в проекты программируемых логических интегральных схем (ПЛИС), реализованные на языках описания аппаратуры, намеренно вносят модели неисправностей, затем проводят тестирование с целью оценки вероятности обнаружения тестируемой аппаратурой или ее управляющим ПО внесенных моделей неисправностей, заключающийся в том, что на языке описания аппаратуры создают проект исправной модели электронного устройства, имитирующей поведение его каналов ввода-вывода; записывают получившийся проект исправной модели в ПЛИС устройства имитации неисправностей, содержащего интерфейсные каналы ввода-вывода; проводят тестирование исправной модели; результаты тестирования заносят в протокол при помощи устройства управления процессом тестирования (УУПТ); на языках описания аппаратуры создают проект модели электронного устройства с неисправностями (ПМСН), причем предусматривают возможность их включения/выключения без перекомпиляции проекта в процессе тестирования при помощи управляющего программного обеспечения высокого уровня; записывают получившийся ПМСН в ПЛИС устройства имитации неисправностей; при помощи УУПТ формируют массив управляющих воздействий, поочередно включающих неисправности, реализованные в модели ПМСН и указанные в массиве; проводят такое же тестирование этой модели ПМСН, как и в предыдущем случае с исправной моделью; результаты тестирования заносят в протокол при помощи устройства управления процессом тестирования; при помощи устройства управления процессом тестирования сравнивают результаты тестирования от исправной и неисправной моделей на каждой неисправности из заданного массива, если в процессе тестирования исправной модели неисправностей не обнаруживают, а при тестировании неисправной обнаруживают весь массив внесенных неисправностей, то тестируемую электронную аппаратуру или ее управляющее ПО считают прошедшими тестирование; если в процессе тестирования исправной модели обнаруживают неисправности, то определяют коэффициент первого этапа R1=l/о, где о - количество обнаруженных неисправностей; если в процессе тестирования неисправной модели обнаруживают не все неисправности, то определяют коэффициент второго этапа R2=ov/oo, где ov - количество внесенных в модель неисправностей, оо - количество обнаруженных неисправностей, отличающийся тем, что имитируют неисправность каждого электронного элемента моделируемой аппаратуры и каждого элемента управляющего ПО не менее одного раза; имитируют неисправность в каждой из возможных ветвей алгоритма работы моделируемой системы не менее одного раза; имитируют невыполнение каждой функции, которую выполняет моделируемая аппаратура, не менее одного раза; имитируют неисправности всех стандартов и интерфейсов передачи данных, представленных в моделируемой аппаратуре, не менее одного раза; имитируют неисправности всех типов данных, представленных в ПО моделируемой аппаратуры, не менее одного раза; имитируют неисправности всех диапазонов данных, представленных в ПО моделируемой аппаратуры, не менее одного раза.

2. Способ по п. 1, отличающийся тем, что тестирование исправной модели и модели с неисправностями проводят одновременно.



 

Похожие патенты:

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

Использование: для создания интегрального элемента логики на основе многослойных структур из наноразмерных слоев металлов и изоляторов. Сущность изобретения заключается в том, что наноразмерный искусственный нейрон на основе многослойной структуры содержит первый слой металла M1, первый слой изолятора И1, слой хранения заряда СХЗ, второй слой изолятора И2 и второй слой метала М2, при этом первый слой изолятора И1 выполнен из материала с высокой степенью нелинейности вольт-амперной характеристики, причем такой, что сопротивление изолятора И1 резко падает при превышении заданной напряженности электрического поля, а второй слой изолятора И2 представляет собой тонкопленочный материал, характеризующийся возможностью обеспечения соответствующего заданного уровня тока через него для различных направлений протекания тока: из второго слоя металла М2 в слой хранения заряда СХЗ и в противоположном направлении.

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

Изобретение относится к вычислительной технике и может быть использовано при построении систем обработки информации в нейросетевом базисе, в том числе для распознавания образов (классификации).

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

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

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

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

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

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

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

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

Изобретение относится к области обработки данных, в частности к связи между администратором элементов и точкой доступа (AP) беспроводной локальной вычислительной сети (WLAN).

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

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

Изобретение относится к области вычислительных систем. Технический результат заключается в расширении арсенала средств.

Изобретение относится к средствам хранения данных. Технический результат заключается в сокращении времени обработки запросов в случае сбоя работы устройства.

Группа изобретений относится к средствам диагностики электропитания. Технический результат – создание средств диагностики электропитания для устройств беспроводной связи.

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

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

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

Изобретение относится к компьютерным системам, основанным на специфических вычислительных моделях. Техническим результатом изобретения является увеличение вероятности обнаружения неисправностей электронной аппаратуры. Способ мутационного тестирования электронной аппаратуры и ее управляющего программного обеспечения заключается в том, что на языках описания аппаратуры создают проект исправной модели электронного устройства, имитирующей поведение его каналов ввода-вывода и проект модели электронного устройства с неисправностями. Записывают получившиеся проекты модели в программируемую логическую интегральную схему устройства имитации неисправностей. Проводят тестирование на этой модели. Сравнивают результаты тестирования от исправной и неисправной моделей. Если в процессе тестирования исправной модели неисправностей не обнаруживают, а при тестировании неисправной обнаруживают весь массив внесенных неисправностей, то электронную аппаратуру или ее управляющее ПО считают прошедшими тестирование. 1 з.п. ф-лы.

Наверх