Функциональный тест

Функциональные тесты разрабатываются исходя из представлений разработчика о правильности функционирования объекта. Такими тестами чаще всего пользуются разработчики функциональных схем для их верификации. [c.110]

Абстрактные методы, называемые также методами с неявным анализом дефектов, позволяют оперировать моделью только исправной схемы, ориентированы на выявление произвольных неисправностей и в ряде случаев обеспечивают более высокую достоверность контроля. В частности, к абстрактным методам относятся методы разработки функциональных тестов. Однако абстрактные методы труднее формализовать, поэтому, несмотря на перспективность, они используются в действующих САПР мало. [c.111]

В чем различие структурных и функциональных тестов [c.127]

Функциональным тестом, подтверждающим наличие синдрома подключично-позвоночного обкрадывания, является проба реактивной гиперемии. Она [c.214]

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

Управляемый пробник — форма функционального теста, в котором тестируется печатная плата для того, чтобы выявить неисправный компонент или проводник. [c.394]

Тесты достигаемого уровня подразделяются на функциональные тесты и тесты производительности. Цель функционального теста достигаемого уровня состоит в том, чтобы определить, способна ли система выполнять желаемые функции. Тест достигаемого уровня производительности предназначен для определения, сколь быстро система может выполнять свою работу. [c.119]

Основные задачи функционального проектирования следующие разработка структурных схем, определение требований к выходным параметрам анализ и формирование ТЗ на разработку отдельных блоков ЭВА синтез функциональных и принципиальных схем полученных блоков контроль и выработка диагностических тестов проверка работоспособности синтезируемых блоков расчеты параметров пассивных компонентов и определение требований к параметрам активных компонентов формулировка ТЗ на проектирование компонентов выбор физической структуры, топологии компонентов расчеты параметров диффузионных профилей и полупроводниковых компонентов, электрических параметров, параметров технологических процессов эпитаксии, диффузии, окисления и др. вероятностные требования к выходным параметрам компонентов. [c.10]

Большие значения Гм обусловливают применение для анализа тестов наиболее экономичных методов моделирования логических и функциональных схем. Обычно используют параллельное синхронное трехзначное моделирование. Трехзначный алфавит целесообразен для отбраковки входных векторов Xft, приводящих к состязаниям сигналов в блоке, из-за которых результаты применения теста могут стать неопределенными. [c.259]

Теоретические работы, большинство которых посвящено построению и анализу функциональных и структурных схем, построению математической модели объекта и программы проверки, выбору диагностических параметров и контрольных точек, минимизации тестов и оптимизации процедур поиска и локализации неисправностей, прогнозированию будущего состояния диагностируемых объектов, выяснению условий, определяющих целесообразность восстановления работоспособности отдельных частей системы в процессе диагностирования путем замены отдельных блоков [5,6, 7, 8). Число опубликованных теоретических работ быстро возрастает, однако они до настоящего времени в основном охватывают лишь узкий круг вопросов, стоящих перед технической диагностикой. [c.5]

Комплексные (интегрированные) САПР, состоящие из совокупности подсистем предьщущих видов. Характерными примерами комплексных САПР являются AE/ AD/ AM-системы в машиностроении или САПР БИС. Так, САПР БИС включает в себя СУБД и подсистемы проектирования компонентов, принципиальных, логических и функциональных схем, топологии кристаллов, тестов для проверки годности изделий. Для управления столь сложными системами применяют специализированные системные среды. [c.29]

После получения результатов функционально-логического проектирования приступают к конструкторско-технологическому проектированию, синтезу тестов и окончательной верификации принятых проектных решений. [c.224]

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

В СТД используют следующие виды проверок функциональную алгоритмическую и логически-комбинационную. При функциональной проверке выявляют наличие сигнала на выходе объекта при поступлении сигнала на его вход отсутствие выходного сигнала является отказом. При алгоритмической проверке в соответствии с алгоритмом работы объекта проверяется последовательность выполнения функций. Логически-комбинационная проверка, называемая также тестовой, позволяет обнаруживать неисправности на любом уровне. На вход проверяемого объекта в этом случае подают специальный диагностический тест, специальные стимулирующие сигналы. [c.34]

И при числовой, и при функциональной оценке способности передавать пространственную информацию, анализ возможен лишь в том случае, если рассматривать отклик системы на некоторый заданный тест-объект. [c.79]

Экспоненциальное распределение хорошо описывают случаи, когда основная масса восстановлений выполняется быстро, а значительные задержки в восстановлении наблюдаются редко, т, е. когда число восстановлений уменьшается с увеличением их длительности. Время восстановления оказывается близким к экспоненциальному распределению в случаях, когда поиск и устранение функциональных дефектов с целью восстановления работоспособности объекта, например в системах адресования кранов-штабелеров, осуществляется рядом проверок (тестов), каждая из которых приводит к необходимому результату с некоторой вероятностью. [c.75]

Анализ функциональной модели проверяемого устройства показывает, что отказ любого элемента вызывает нерабочее состояние тех элементов, входы которых связаны с выходом отказавшего. Поэтому каждому отказавшему элементу будет соответствовать вполне определенное состояние всего устройства. Чтобы иметь возможность определить любой отказавший элемент, необходимо определить число проверок, на котором все состояния проверяемого устройства были бы попарно различимы. Множество проверок, на которых все возможные состояния проверяемого объекта различимы, принято называть диагностическим тестом. Проверки, образующие диагностический тест, позволяют определить, в каком состоянии находится объект. Если ставится задача определения отказавшего элемента, то необходимость в осуществлении некоторых проверок теста отпадает. Это вытекает из условий построения функциональной модели. Действительно, проверки элементов, входы которых связаны с отказавшим элементом, будут давать всегда отрицательный результат. Исходя из этого при поиске отказавшего элемента необходимо упорядочить проверки, образующие диагностический тест, т. е. расположить их так, чтобы при любом отказе не осуществлять проверок, не несущих дополнительной информации об отказавшем элементе. Чтобы оценить эффективность упорядочения диагностического теста, необходимо иметь критерии оценки. Таким очевидным критерием может служить минимальное значение средней цены поиска, где под ценой поиска понимается или среднее время поиска, или среднее число проверок. [c.279]

Если функциональная модель устройства имеет узловую структуру, т. е. выход одного элемента связан с входами нескольких элементов, то в чистом виде метод средней точки применить нельзя. В этом случае диагностический тест можно упорядочить следующим образом [c.282]

Примеры маршрутов проектирования. Рассмотрим типичный маршрут проектирования ЭВМ на БИС. Проектирование начинается с разработки алгоритмов, реализуемых аппаратной частью ЭВМ. Алгоритмы записываются на одном из языков описания регистровых структур или микропрограмм. Модель ЭВМ, полученная на уровне регистровых передач, отрабатывается с помощью предлагаемых разработчиком тестов. Далее последовательно выполняются процедуры преобразования алгоритмического описания в функциональную схему, в которой элементами являются функциональные узлы, и покрытия этой схемы функциональными ячейками избранной топологии. Функционально-логическое проектирование завершается выполнением логической верификации, во время которой проверяется соответствие полученной схемы из функциональных ячеек исходному алгоритму функционирования. Обнаруженные ошибки устраняются путем возврата и повторного выполнения предыдущих процедур. [c.16]

Основные задачи функционально-логического проектирования цифровой аппаратуры разработка алгоритмов, реализующих воплощаемые в аппаратуре функции, синтез и верификация функциональных и принципиальных схем, контролирующих и диагностических тестов. [c.99]

Логический уровень характеризуется использованием полных моделей, составляемых из моделей отдельных логических элементов (триггеров, элементов И — НЕ, ИЛИ — НЕ). Эти модели могут отражать выполнение логических функций с учетом (или без учета) временных задержек. Основные задачи, решаемые с помощью моделей этого уровня, — верификация функциональных и принципиальных схем дискретных устройств, анализ контролирующих и диагностических тестов. [c.102]

Отдельная элементарная проверка недостаточна для правильной идентификации состояния объекта, поскольку условие (5.3) может выполняться и при наличии неисправностей. Поэтому реализуется совокупность элементарных проверок S = si, S2,. .., 5 , называемая тестом. Различают тесты функциональные и структурные. [c.110]

Структурные методы направлены на получение структурных тестов. Особенности этих методов — явное задание множества неисправностей и необходимость при подборе элементарной проверки для каждой неисправности проводить трудоемкое исследование модели функциональной схемы. Поэтому мощность заданного множества неисправностей не должна быть большой. Обычно ограничиваются конкретным классом неисправностей, например одиночных константных неисправностей. [c.111]

В небольших системах (в микроконтроллерах) простое средство в виде подключаемого вручную набора тест-программ, которые работают в том же адресном пространстве, что и прикладные программы, часто вскрывает природу отказа. Если тест-программы не работают, вероятно, имеет. место отказ в аппаратных средствах, а вся тест-последовательность проверит главные функциональные блоки системы и покажет, не кроется ли отказ в прикладных программах. Ввести такое тест-ПЗУ в систему можно несколькими способами. В наиболее простом Варианте следует удалить системное ПЗУ и вставить в его панельку (сокет) тест-ПЗУ. При таком подходе используются те аппаратные средства системы, которые [c.37]

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

Учитывая целостность, анатомическую и функциональную взаимосвязанность составляющих системы мозгового кровообращения, при оценке изменений параметров кровотока по интракраниальным артериям (например, по средней мозговой) в ответ на определенный нагрузочный тест необходимо рассматривать реакцию не изолированной артерии, а двух одноименных одновременно и только на этом основывать классификацию типов реакций. [c.112]

Функциональная модель шины 260 Функциональная проверка 120 Функциональное покрытие 271 Функциональное представление 137 Функциональный тест 372 Фэггин, Федерико 37 [c.406]

В маршрутах проектирования БИС и СБИС к числу основных проектных процедур относятся верификация логических и функциональных схем, синтез и анализ тестов. В этих процедурах требуется многократное выполнение моделирования логических схем. Однако высокая размерность задач логического моделирования (СБИС насчитывают.десятки—сотни тысяч вентилей) существенно ограничивает возможности многовариантного анализа. Так, современные программы анализа логических схем на универсальных ЭВМ могут обеспечить скорость моделирования приблизительно 10 вентилей в секунду (т. е. на анализ реакции схемы из 10 вентилей на один набор входных воздействий затрачивается 1 с машинного времени), что значительно ниже требуемого уровня. Преодоление затруднений, обусловливаемых чрезмерной трудоемкостью вычислений, происходит в двух направлениях. Первое из них основано на использовании общих положений блочно-иерархического подхода и выражается в переходе к представлениям подуровня регистровых передач, рассмотренным в 4.7. Второе направление основано на применении специализированных вычислительных средств логического моделирования, называемых спецпроцессорами или машинами логического моделирования (МЛМ), Важно отметить, что появление СБИС не только порождает потребности в таких спецпроцессорах, но и обусловливает возможности их создания с приемлемыми затратами. Разработанные к настоящему времени МЛМ функционируют совместно с универсальными ЭВМ и обеспечивают скорость моделирования 10 —10 вентилей в секунду. [c.254]

Используя микроЭВМ и микропроцессоры, встроенные непосредственно в приборы дефектоскопии, можно будет решить многие задачи расширить функциональные возможности цриборов и сократить время на их настройку, калибровку и перестройку режимов работы повысить достоверность и точность контроля благодаря самодиагностике по специальным тестам и переходу к многопараметровым измерениям повысить производительность контроля сокращением времени измерений получить документ контроля с результатами статистического анализа обслуживать приборы низкоквалифицированным персоналом с перспективой полной автоматизации контроля через автоматическую систему управления технологическими процессами. [c.147]

Формирование тестов по некоторым промежуточным величинам, функционально связанным с измеряемой. HanpnMej). при измерении температуры с помощью термопреобразователя сопротивления можно формировать тесты не по температуре, а но сопротивлению, т. к. сопротивление преобразователя фу1и<-ционально связано с температурой. В рассматриваемом случае необходимо знать функциональную зависимость между промежуточной и измеряемой величинами, а также ногрещ-пость этого преобразования, которая полностью входит в результирующую погрешность измерения. [c.114]

Наконец, стандарт STEP касается и третьей компоненты проектирования — программной реализации стандартного АР. Для каждого стандартного протокола его разработчиками составляется набор абстрактных тестов, по которому проверяется реализация протокола на соответствие требованиям АР (см. рис. 8). Следует отметить, что структура функциональной модели приложения (и, следовательно, представление в ЭВМ функциональных связей между понятиями) не определяется стандартом STEP, а лишь ограничивается снизу требованием, чтобы ЭВМ владела понятиями информационной модели, по крайней мере, на уровне минимальных требований, заданных набором абстрактных тестов. [c.26]

По способу получения диагностической информации техническую диагностику разделяют на тестовую и функциональную. В тестовой диагностике информацию о техническом состоянии получают в резулшйге воздействия на объект соответствующего теста. Тестовая диагностика основана на использовании различных методов неразрушающего контроля. Контроль при этом осуществляется, как правило, на неработающем оборудовании. Тестовая диагностика может производиться как в собранном, так и в разобранном состоянии. Функциональную диагностику проводят только на работающем оборудовании в собранном состоянии. [c.16]

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

Четвертый класс — поверхностно-активные органические вещества, которые за счет их функциональных групп — гидроксильных, карбоксильных, амино-, нит-ро, сульфогрупп и других — адсорбируются на зернах вяжущих и продуктах их гидратации. Это приводит обычно к пластификации теста и бетонной смеси, замедлению процессов схватывания и твердения, воздухово-влечению и ряду других воздействий. Известны, например, добавки четвертого класса такого состава, который делает вяжущее вещество водоотталкивающим (гидрофобным). К числу более известных пластифицирующих поверхностно-активных добавок относится сульфитнодрожжевая бражка (СДБ), вводимая обычно в количестве 0,1—0,2 %, к числу гидрофобизирующих воздухововлекающих — абиетат натрия, газообразующих — кремнийорганические соединения, такие, как ККЖ-94, вводимые в количестве 0,01—0,02 % по массе вяжущего. [c.72]

В 4-й главе описываются системы реального времени, инструментальные, многопользовательские, тест-мониторные и мобильные (машинонезависимые) ОС, процедурно-, и функционально ориентированные пакеты прикладных программ, системы сетевой телеобработки (однородные и неоднородные с ЕС ЭВМ). [c.4]

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

Основной способ верификации схем при функционально-логическом проектировании — моделирование процессов в схеме при подаче на ее входы специальных тестовых воздействий. Для полного контроля работоспособности комбинационной схемы нужно выполнить столько вариантов моделирования, сколько различных комбинаций сигналов может появиться на ее входах. В последовательностной схеме проявление каждого входного воздействия зависит от состояния, в котором схема находилась перед возбуждением, т. е. от состояния ее элементов памяти. Если в схеме имеется п входов и пг элементов памяти, то оценкой числа вариантов моделирования оказывается значение 2"+ . Практическая реализация такого большого числа вариантов невозможна, необходимо уметь создавать тесты существенно меньшей длины и обеспечивающие достаточную полноту контроля. Важность проблемы тестирования обусловлена тем, что тесты нужны не только для верификации при проектировании схем, но и для контроля продукции в процессе производства. [c.100]

В эмуляторе необходимо предусмотреть несколько тестов ЗУПВ. Функциональный контроль ячеек ЗУПВ осуществляется стандартными тестами шахматных наборов в ячейки ЗУПВ записываются и считываются [c.209]

Для получения достоверной информации о состоянии ауторегуляции необходимо в качестве функциональных нагрузочных тестов использовать воздействия, имитирующие стимулы, свойственные системе регуляции мозгового кровообращения [44]. [c.108]

Достаточно распространены и просты в исполнении тесты, основанные на изменении функциональной активности мозга. Четкая зависимость мозгового кровотока от изменений функциональной активности мозга была установлена при использовании радиологических методов [60-66], а также методики водородного клиренса с применением имплантированных в мозг электродов [67-69]. При этом отмечена прямая зависимость изменений мозгового кровотока от нейрональной активности. Однако все эти методы основаны на оценке скорости выведения индикаторов из мозговой ткани, что не позволяет выявить бьютрое усиление или ослабление мозгового кровотока, легко определяемое ультразвуковыми методами. [c.110]

Для оценки функциональной состоятельности метаболического механизма регуляции сосудистого тонуса могут быть использованы проба с физической нагрузкой и тредмил-тест. В качестве физической нагрузки при исследовании артерий верхней конечности используют сжимание-разжимание руки в кулак с частотой около 60 в минуту в течение 1 -2 мин либо сгибание-разгибание кисти в лучезапястном суставе с частотой около 30 в минуту также в течение 1-2 мин (рис. 4.64). При исследовании артерий нижних конечностей используют сгибание-разгиба-ние стопы в голеностопном суставе с частотой около 60 в минуту в течение 1 -2 мин либо сгибание-разги-бание ноги в коленном суставе с частотой около 30 в минуту в течение 1-2 мин. Динамическая оценка показателей кровотока проводится через 30 и 60 с после окончания стимуляции и далее каждую минуту до полного восстановления исходных величин. Развивающийся дилататорный сосудистый ответ обусловлен вторичной реакцией дистального циркуляторного русла на усиление метаболических процессов, связанное с активацией скелетной мускулатуры, участвующей в движении. Результатом этого является возрастание скорости кровотока и снижение индексов периферического сопротивления в магистральных стволах на верхних и нижних конечностях. [c.119]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...