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


 


Владельцы патента RU 2549523:

Открытое акционерное общество "Информационные спутниковые системы " имени академика М.Ф. Решетнева" (RU)

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

 

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

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

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

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

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

моделирования неисправностей и устройства управления тестовым комплексом.

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

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

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

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

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

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

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

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

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

Таким образом, заявляемым способом достигается:

- повышение функциональности тестирования радиоэлектронной аппаратуры и ее управляющего ПО путем реализации возможности проведения тестирования в отсутствие целевой аппаратуры (применяются модели аппаратуры на ПЛИС);

- уменьшение времени, затрачиваемого на тестирование по сравнению с аппаратной имитацией неисправностей (макетированием), ввиду применения программного моделирования на языках описания аппаратуры;

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

- уменьшение количества аппаратуры, требуемой для тестирования радиоэлектронной аппаратуры или ее управляющего ПО, путем объединения устройства имитации неисправностей и устройства управления тестированием.

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

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



 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Изобретение относится к авиационной технике, в частности к способам технического контроля и диагностирования бортовых систем (БС) беспилотного летательного аппарата (БПЛА). Техническим результатом является повышение эффективности проверки БС БПЛА. В заявленном способе дополнительно производят анализ и обработку данных, полученных от центральной ЭВМ комплекса посредством интеллектуальной системы поддержки принятия решений, осуществляют классификацию значений критичных параметров контроля, характеризующих критичные составные части БС БПЛА по качественному признаку, с присвоением каждому параметру качественной оценки для выявления предотказных состояний БС БПЛА и проведения упреждающего диагностирования, при обнаружении неразличимых неисправностей формируют оптимальные последовательности проведения диагностирования в виде первого ранжированного списка прецедентов и второго ранжированного списка решений инцидента, а также формируют окончательную оптимальную последовательность проведения диагностирования в виде третьего ранжированного списка прецедентов и решений инцидента, на основе обработки первого и второго списков. 2 н.п. ф-лы, 10 ил.
Наверх