Cтраница 3
По ПМА1 были получены решающие правила, реализующие полное разделение заданных подмножеств. С целью проверки эффективности решающих правил была задана тестовая последовательность из 23 историй болезни, не включенных в ОП. Результаты классификации согласно выражению ( 3) подтвердились полностью. [31]
Контроль программ включает ряд действий, напоминающих последовательность работы при создании программы: формулирование целей, разработка, запись и проверка тестовых последовательностей, анализ результатов. Для осуществления надежного контроля решающее значение имеет правильная разработка тестовых последовательностей. [32]
Важнейшей задачей, встающей перед разработчиками современной электронной аппаратуры, является создание ( или использование готового) технологического инструментария и методологии его применения для различных этапов жизни электронного изделия. Важность этих вопросов связана с тем, что системная верификация и генерация тестовых последовательностей может требовать до 70 % проектного времени. Традиционно выделяются следующие этапы, связанные с разработкой и использованием специального технологического оборудования: макетирование проекта, изготовление опытных образцов, изготовление серийных образцов, модификация и замена устаревших версий изделия. Каждый из этапов характеризуется как специфическим перечнем задач, так и требуемым инструментарием, специальной квалификацией персонала и методологией работы. На современном уровне развития технологии разработки электронных компонентов необходимость Применения специального технологического оборудования смещается в область все более ранних этапов проектирования. Теперь даже не всегда просто различить, где инструментарий для проектирования, а где части проектируемого изделия. [33]
![]() |
Кодировка команд. [34] |
В процессе дешифрации команды выбирается 32-битный регистр ID. Поскольку регистр bypass загружает ноль в начале цикла сканирования, a ID - 1 в свой младший бит, то проверка первого бита выдвигаемых данных во время передаваемой тестовой последовательности данных, за которой следует выход из состояния тест-логика-сброс контроллера, покажет включен ли данный регистр в проект. [35]
ISO 10303 относится к методам тестирования моделей на языке Express. В этих стандартах представлены общие положения для определения соответствия моделей требованиям стандартов STEP, включая организацию тестирования ( аккредитацию, сертификацию, взаимоотношения между контролерами и клиентами), устанавливаются структура и порядок использования тестовых последовательностей, описываются методы тестирования, требования к контролерам и клиентам. [36]
Если все элементы цепочки работают исправно, и в цепочке имеются ИС, поддерживающие команды и методы граничного сканирования, то существующие программы могут автоматически проверять исправность межсоединений и определять места нарушения контактов или наличия паразитных соединений. При хорошей организации тестовых последовательностей возможна локализация существующей неисправности с точностью до отдельной сканирующей ячейки. [37]
![]() |
Глазковая диаграмма. [38] |
В качестве тестовой последовательности, используемой для выравнивания, часто выбирается шумоподобная последовательность с широкополосным спектром, с помощью которой оценивается отклик канала. В простейшем смысле настройка может заключаться в передаче простого короткого импульса ( приблизительно, идеального импульса) с последующим изучением импульсного отклика канала. На практике в качестве тестовой последовательности предпочтителен не одиночный импульс, а псевдошумовой сигнал, поскольку последний имеет большую среднюю мощность, а значит, большее отношение сигнал / шум при одинаковых максимальных переданных мощностях. [39]
Очевидно что правильная реализация алгоритма отложенных вычислений определяется корректным формированием базы данных. Выделим следующие виды ошибок и разработаем тестовые последовательности, обнаруживающие эти ошибки. [40]
Естественно, что все описанные выше возможности реализуются в том случае, когда управление БИС, входящими в состав JTAG-цепочки, выполняется достаточно интеллектуальным контроллером, обеспечивающим подачу предварительно разработанных тестовых последовательностей и контроль последовательностей, получаемых в результате тестирования. Тестовые последовательности, как правило, создаются специальным программным обеспечением. Программное обеспечение, автоматизирующее процесс подготовки тестовых последовательностей, опирается на систему межсоединений, реализованных на плате и на тестирующие возможности БИС, расположенных на этой плате. [41]
С повышением степени интеграции и функциональной сложности интегральных схем измерение статических и динамических параметров становится трудоемким. В этом случае особое значение приобретает контроль функционирования на частотах, близких к рабочим. Этот вид контроля заключается в автоматическом формировании тестовых последовательностей с последующей оценкой правильности прохождения этой последовательности через проверяемую интегральную схему. [42]
Предполагается дальнейшее развитие протокольного отладчика. В частности, анализ трассы может быть автоматизирован. Для этого на вход протокольного отладчика будет поступать тестовая последовательность, подготовленная вручную или автоматически из формальной спецификации, а отладчик при обнаружении расхождений тестовой и трассовой последовательностей будет выдавать необходимую разработчику информацию. [43]
Указанную версию можно использовать для описания процедур инициализации систем, а также фрагментов, работа которых при некоторых условий прекращается навсегда. Обычно такой оператор завершает программы генерации тестов, означая окончание тестовой последовательности. [44]
Другой подход предполагает получение тестовых последовательностей на основе анализа логики программы. Здесь задача заключается в разработке таких тестовых последовательностей, при реализации которых каждая команда программы выполняется по меньшей мере один раз. Основной целью данного метода является проверка логики выполнения всех ветвей программы. При этом тестовая последовательность генерируется без учета внешних спецификаций. [45]