85610

Построение проверяющих и диагностических тестов

Курсовая

Коммуникация, связь, радиоэлектроника и цифровые приборы

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

Русский

2015-03-28

785.5 KB

7 чел.

Федеральное агентство железнодорожного транспорта РФ

Уральский государственный университет путей сообщения

Кафедра: «А и Т на ж.д. транспорте»

Курсовая работа

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

на тему «Построение проверяющих и диагностических тестов»

Вариант № 15

   Проверил:

               Выполнил:

   преподаватель

студент гр. Ша-413

   Постников А.Н.

                            Шумаков А.Н.

Екатеринбург

2006

Введение

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

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

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

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

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

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

Понятие “состояние объекта диагноза” является ключевым в технической диагностике. Состояние определяется параметрами, которыми характеризуется каждая система. В качестве параметров могут выступать значения сигналов какого-либо рода на отдельных выходах системы и возможность системы выполнять те или иные отдельные функции. Параметры делят на основные и вспомогательные. Основные параметры характеризуют выполнение системой заданных функций, а вспомогательные — удобство эксплуатации, внешний вид и т. п.

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

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

1 Построение тестов для непрерывной системы

1.1 Построение проверяющего теста

Рисунок 1 – Функциональная схема объекта

Согласно схеме, представленной на рис.1, составим таблицу функций неисправностей(ТФН).
    

   

    Таблица 1 - Таблица функций неисправностей

Проверка

Результат проверки

S0

S1

S2

S3

S4

S5

S6

S7

S8

П1

1

0

1

1

1

1

1

1

1

П2

1

1

0

1

1

1

1

1

1

П3

1

1

0

0

0

1

0

1

1

П4

1

1

1

1

0

1

1

1

1

П5

1

0

1

1

1

0

1

1

1

П6

1

1

0

1

0

1

0

1

1

П7

1

1

0

0

0

1

0

0

1

П8

1

1

1

1

0

1

1

1

0

Запишем функции исправного и неисправных состояний:

F – функция исправного объекта;

fi – функция i-того состояния неисправного объекта или функция i-той неисправности;

F= π1 v π2 v π3 v π4 v π5 v π6 v π7 v π8

f1= π2 v π3 v π4 v π6 v π7 v π8

f2= π1 v π4 v π5 v π8

f3= π1 v π2 v π4 v π5 v π6  v π8

f4= π1 v π2 v π5 

f5= π1 v π2 v π3 v π4 v π6 v π7 v π8

f6= π1 v π2  v π4 v π5 v π8

f7= π1 v π2 v π3 v π4 v π5 v π6 v π8

f8= π1 v π2 v π3 v π4 v π5 v π6 v π7

При построении проверяющего теста Тп для каждой неисправности вычисляют проверяющую функцию:

;  (1.1)

φ1= π1 v π5 

φ2= π2 v π3 v π6 v π7

φ3= π3 v π7 

φ4= π3 v π4 v π6 v π7 v π8

φ5= π5 

φ6= π3 v π6 v π7 

φ7= π7 

φ8= π8

Проверочный тест определяется по следующему выражению:

Тп1φ2φ3φn ,  (1.2)

где n – число неисправностей.

Запишем проверяющий тест и произведём его минимизацию:

Тп1φ2φ3φ4φ5φ6φ7φ8

Тп= (π1 v π5)(π2 v π3 v π6 v π7)(π3 v π7) (π3 v π4 v π6 v π7 v π8)(π3 v π6 v π7) π7π5  π8 = π5π7π8

  1.  Построение диагностического теста

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

;  (1.3)

φ1,2= π1 v π2 v π3 v π5 v π6 v π7 

φ1,3= π1 v π3 v π5 v π7

φ1,4= π1 v π3 v π4 v π5 v π6 v π7 v π8

φ1,5= π1

φ1,6=  π1 v π3 v π5 v π6 v π7

φ1,7= π1 v π5 v π7 

φ1,8= π1 v π5 v π8

φ2,3= π2 v π6

φ2,4= π2 v π4  v π8 

φ2,5= π2 v π3 v π5 v π6 v π7

φ2,6= π2

φ2,7= π2 v π3 v π6

φ2,8= π2 v π3 v π6 v π7 v π8 

φ3,5= π3 v π5 v π7

φ3,6= π6

φ3,7= π3

φ3,8= π3 v π7 v π8

φ4,5= π3 v π4 v π5 v π6 v π7  v π8

φ4,6= π4 v π8 

φ4,7= π3 v π4  v π6 v π8

φ4,8= π3 v π4 v π6 v π7 

φ5,6= π3 v π5 v π6 v π7

φ5,7= π5 v π7

φ5,8= π5 v π8 

φ6,7= π3 v π6  

φ6,8= π3 v π6 v π7 v π8

φ7,8= π7 v π8 

В зависимости от решаемой задачи диагноза возможно использование одного из двух вариантов диагностического теста.

Если заведомо известно, что система неисправна, то перед тестированием ставится задача – обнаружение неисправного элемента.

В этом случае тест Тд вычисляют как логическое произведение различающих функций:

Тд= φ1,21,3*…..*φ n-1.n;  (1.4)

Тд  =(π1 v π2 v π3 v π4 v π5 v π6 v π7)( π1 v π3 v π5 v π7)( π1 v π3 v π4 v π5 v π6 v π7 v π8) π1 (π1 v π3 v π5 v π6 v π7)( π1 v π5 v π7)( π1 v π5 v π8)( π2 v π6)( π2 v π4 v π7 v π8)( π2 v π3 v π5 v π6 v π7) π2 (π2 v π3 v π6)( π2 v π3 v π6 v π7 v π8)( π3 v π5 v π7) π6 π3 (π3 v π7 v π8)( π3 v π4 v π5 v π6 v π7  v π8)( π4 v π8)( π3 v π4 v π7)( π3 v π5 v π6 v π7)( π5 v π7)( π5 v π8)( π3 v π6)( π3 v π6 v π7 v π8)( π7 v π8) = π1π2π3π5π6π8  v π1π2π3π6π7π8 v π1π2π3π4π5π6π7

Полученное выражение  содержит два минимальных теста:

Тд1= π1π2π3π5π6π8;

Тд2= π1π2π3π6π7π8;

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

Тд= Тп φ1,2 φ1,3,……,φn-1,n;  (1,5)

Тд= π5 π7π8 (π1π2π3π5π6π8  v π1π2π3π6π7π8)

= π1 π2 π3 π5π6 π7π8 v π1 π2 π3 π5π6 π7π8

Тд1 = π1 π2 π3 π5π6 π7π8

Между Тд и Тд выбираем Тд и строим словарь неисправностей для Тд1 – Тд2 . Словарь неисправностей является частью ТФН. Его представляют в виде таблицы, строки которой соответствуют проверкам, содержащимся в Тд, а графы соответствующим классам эквивалентных неисправностей. Словарь неисправностей для Тд приведен в таблицах:

Таблица 2 - Словарь неисправностей для Тд1

Проверка

Результат проверки

S1

S2

S3

S4

S5

S6

S7

S8

П1

0

1

1

1

1

1

1

1

П2

1

0

1

1

1

1

1

1

П3

1

0

0

0

1

0

1

1

П5

0

1

1

1

0

1

1

1

П6

1

0

1

0

1

0

1

1

П8

1

1

1

0

1

1

1

0

Таблица 3 - Словарь неисправностей для Тд2

Проверка

Результат проверки

S1

S2

S3

S4

S5

S6

S7

S8

П1

0

1

1

1

1

1

1

1

П2

1

0

1

1

1

1

1

1

П3

1

0

0

0

1

0

1

1

П6

1

0

1

0

1

0

1

1

П7

1

0

0

0

1

0

0

1

П8

1

1

1

0

1

1

1

0

2 Построение тестов для комбинационной релейно-контактной схемы

2.1 Построение проверяющего теста

Рассмотрим построение тестов для комбинационной релейно-контактной схемы, заданной в виде ФАЛ.

F = {0,1,2,4,6} a,b,c.

F = {000,001,010,100,110}

Минимизируем данную ФАЛ с помощью карты Карно:

  

Рисунок 2 – Карта Карно функции F

В результате получаем минимизированную функцию:

 

Комбинационная релейно-контактная схема, соответствующая полученной ФАЛ приведена на  рис. 3:

Рисунок 3 – Комбинационная релейно-контактная схема

Элементарная проверка для схемы заключается в подаче на ее входы определенного набора значений входных переменных и определении факта наличия проводимости схемы по состоянию реле F.

Определим функции неисправностей:

Составим ТФН (таблица 5):

Таблица 5 -  Таблица функций неисправностей

Вх. набор

F

f1

f2

f3

f4

f5

f6

При внесении неисправности

abc

a1

a0

b1

b0

c1

c0

0

000

0

1

0

0

0

0

0

1

001

0

1

0

1

0

0

0

2

010

0

1

0

0

0

1

0

3

011

1

1

1

1

0

1

0

4

100

1

1

0

1

1

1

1

5

101

1

1

0

1

1

1

1

6

110

1

1

0

1

1

1

1

7

111

1

1

1

1

1

1

1

Определим проверяющие функции:

Φ1= 0 v 1 v 2

φ2= 4 v 5 v 6

φ3= 1

φ4= 3

φ5= 2

Проверяющий тест, в соответствии с выражением (1.2) равен:

Тп = φ1φ2φ3φ4φ5

Тп = (0 v 1 v 2)(4 v 5 v 6)123,  раскрыв скобки, получим:

Тп = 1234 v 1235 v 1236.

Данный проверяющий тест содержит 3 минимальных теста:

Тп1 = 1234;

Тп2 = 1235;

Тп3 = 1236. 

2.2. Построение диагностического теста.

Для построения диагностического теста определим различающие функции, согласно выражению (1.3):

φ1,2 = 0 v 1 v 2 v 4 v 5 v 6

φ1,3 = 0 v 2

φ1,4 = 0 v 1 v 2 v 3

φ1,5 = 0 v 1

φ2,3 = 1 v 4 v 5 v 6

φ2,4 = 3 v 4 v 5 v 6

φ2,5 = 2 v 4 v 5 v 6

φ3,4 = 1 v 3

φ3,5 = 1 v 2

φ4,5 = 2 v 3

Диагностический тест строится согласно выражению (1.4). Для данного случая имеет вид:

Тд =  (0 v 1 v 2 v 4 v 5 v 6)( 0 v 2)( 0 v 1 v 2 v 3)( 0 v 1)( 1 v 4 v 5 v 6)( 3 v 4 v 5 v 6)( 2 v 4 v 5 v 6)( 1 v 3)( 1 v 2)( 2 v 3) = 124 v 0134 v 0234 v 125 v 0135 v 0235 v 126 v 0136 v 0236 v 123 v 0123

Выражение содержит 4 минимальных теста:

Тд1 = 123

Тд2 = 124

Тд3 = 125

Тд4 = 126

Воспользовавшись выражением (1.5), определим Тд:

Тд= (1234 v 1235 v 1236)(123v124v125v126)

Упростив выражение, получим:

Тд= 1234v12345v12346v1235v12356v1236

Это выражение содержит 3 минимальных теста:

Тд1= 1234   

Тд2= 1235

Тд3= 1236

Из Тд и Тд выбираем Тд и составляем словари неисправностей для тестов

Тд1 -  Тд4.

Таблица 6 - Словарь неисправностей для Тд1

Вх. набор

F

f1

f2

f3

f4

f5

f6

При внесении неисправности

abc

a1

a0

b1

b0

c1

c0

1

001

0

1

0

1

0

0

0

2

010

0

1

0

0

0

1

0

3

011

1

1

1

1

0

1

0

Таблица 7 - Словарь неисправностей для Тд2

Вх. набор

F

f1

f2

f3

f4

f5

f6

При внесении неисправности

abc

a1

a0

b1

b0

c1

c0

1

001

0

1

0

1

0

0

0

2

010

0

1

0

0

0

1

0

4

100

1

1

0

1

1

1

1

Таблица 8 - Словарь неисправностей для Тд3

Вх. набор

F

f1

f2

f3

f4

f5

f6

При внесении неисправности

abc

a1

a0

b1

b0

c1

c0

1

001

0

1

0

1

0

0

0

2

010

0

1

0

0

0

1

0

5

101

1

1

0

1

1

1

1

Таблица 9 - Словарь неисправностей для Тд4

Вх. набор

F

f1

f2

f3

f4

f5

f6

При внесении неисправности

abc

a1

a0

b1

b0

c1

c0

1

001

0

1

0

1

0

0

0

2

010

0

1

0

0

0

1

0

6

110

1

1

0

1

1

1

1

В таблице мы выделили классы эквивалентных неисправностей. Поиск неисправности осуществляют таким образом. На входы схемы последовательно подаются входные наборы, входящие в диагностический тест. Для каждого случая фиксируются значения выхода схемы (например, по состоянию реле F). Полученные результаты сравнивают с данными, приведенными в табл.. Если значения совпадают, то схема исправна. В противном случае полученные значения состояния реле F указывают на класс эквивалентных неисправностей, внутри которого находится неисправность, имеющаяся в схеме. Точное указание неисправности внутри класса эквивалентных неисправностей возможно только при измерениях во внутренних точках схемы.

2.3 Метод цепей и сечений

Недостатком ТФН являются ее большие размеры. При расчете тестов на ЭВМ для хранения ТФН требуется большой объем памяти, что снижает размерность решаемых задач. В связи с этим для различных объектов диагноза разработаны специальные модели и методы, которые не имеют универсального характера, но с учетом особенностей объекта позволяют более просто решать задачи построения тестов.

Рисунок 4 – Комбинационная релейно-контактная схема

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

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

В алгоритм вычисления проверяющей функции какого-то определенного контакта для неисправности типа «разрыв» (φº) выписывают все цепи, содержащие этот контакт и все сечения, содержащие этот контакт, определяют все сечения, урезанные на этом контакте. Каждую выписанную цепь рассматривают в сочетании с каждым урезанным сечением. Для них определяют входные наборы, на которых они одновременно существуют. Поверяющую функцию находят как объединение всех полученных наборов.

Алгоритм вычисления проверяющей функции для КЗ (φ¹) аналогичен алгоритму вычисления проверяющей функции для неисправности типа «разрыв», только термин цепь необходимо заменить  на термин сечение.

Схема, представленная на рисунке 4, содержит 2 цепи:  и , а также 2 сечения:  и

  •  Для контакта «a» определим проверочную функцию φºа.

Контакт входит в цепь , а так же в сечение и

Сечение урезанное на контакте а, равно  и

Цепь  G1 существует при подаче входных переменных а1 = 1, а сечения H1/a – при b = 0 и H2/a – при с = 0, т.е. цепь G1, сечение  H1/a и H2/a одновременно существуют на наборе .

Таким образом

  •  Теперь для контакта «a» определим проверочную функцию φ¹a.

Контакт входит в сечения  и , а так же в цепь.

Цепь урезанная на контакте a, равна .

Сечение  H1 существует при значениях переменных а = 1, b = 1, H2 – при а=1, c=1, т.е. сечения  Н1, H2  и цепь  G1/a одновременно существуют на наборе .

Таким образом

  •  Для контакта «b» определим проверочную функцию φºb.

Контакт входит в цепь , а так же в сечение .

Сечение урезанное на контакте b, равно

Цепь  G2 существует при подаче входных переменных c = 1, b = 1, а сечение H1/b – при a = 0, т.е. цепь G2  и сечение  H1/b одновременно существуют на наборе .

Таким образом

  •  Теперь для контакта «b» определим проверочную функцию φ¹b.

Контакт входит в сечение , а так же в цепь.

Цепь урезанная на контакте b, равна .

Сечение  H1  существует при значениях переменных а = 0, b = 0, а цепь G2/b – при c = 1, т.е. сечение  Н1 и цепь  G2/b одновременно существуют на наборе .

Таким образом

  •  Для контакта “c” определим проверочную функцию φºс 

Контакт “с” входит в цепь , а так же в сечение .

Сечение урезанное на контакте с, равно

Цепь  G2 существует при подаче входных переменных b=1, c=1, а сечения H2/c – при a = 0, т.е. цепь G2 и сечения  H2/c одновременно существуют на наборе .

Таким образом

  •  Теперь для контакта «с» определим проверочную функцию φ¹с.

Контакт “с” входит в цепь , а так же в сечение .

Цепь урезанная на контакте с, равна .

Сечение  H2 существует при значениях переменных a = 0, с = 0, а цепь G2/с – при b = 1, т.е. сечение H2 и цепь  G2/c одновременно существуют на наборе .

Таким образом

Теперь определим проверяющий тест Тп:

Тп= φºa φ¹a φºb φ¹b φºс φ¹c            (2.1)

Подставим в выражение (2.1) полученные значения, проверяющих функций:

Тп=  •  •  •  •  

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

Тп={, , , , }

3 Диагностирование комбинационной логической схемы

3.1 Построение проверяющего теста

Согласно исходных данных, F = {3,4,5,6,7} abc, или F = {011,100,101,110,111}.

В схеме реализуется функция

Синтезируем схему в полном базисе:

Рисунок 5 – Комбинационная схема, реализующая функцию

Данная схема содержит 6 компонентов и 12 неисправностей

 

Рис.6 – Комбинационная схема собранная на логических элементах И-НЕ

Рис.7 – Комбинационная схема собранная на логических элементах ИЛИ,

ИЛИ-НЕ

Для каждого логического элемента нанесем графы эквивалентных неисправностей и укажем отношения импликации между неисправностями, т.е. установим отношения между неисправностями для всей схемы, и пронумеруем неисправности (рис. 8):

Рисунок 8 – Комбинационная схема с изображением граф эквивалентных неисправностей и указанием отношения

импликации между неисправностями

В результате выполнения данной операции сокращаем список неисправностей  с 12 до 4.

Найдем функции неисправностей:

Составим ТФН (таблица 10), в которую включим все пронумерованные неисправности.

Таблица 10 -  Таблица функций неисправностей

Вх. набор

F

Функция неисправности

abc

f1

f2

f3

f4

0

000

0

0

0

0

0

1

001

0

0

0

1

0

2

010

0

0

0

0

1

3

011

1

1

0

1

1

4

100

1

0

1

1

1

5

101

1

0

1

1

1

6

110

1

0

1

1

1

7

111

1

1

1

1

1

Вычислим проверяющие функции в соответствии с выражением (1.1):

φ1 = 4v5v6

φ2 = 3

φ3 = 1

φ4 = 2

В соответствии с выражением (1.2) вычислим проверяющий тест:

Тп = φ1 φ2 φ3 φ4

Тп = (4 v 5 v 6)123= 1234 v 1235 v 1236

Выражение содержит 3 минимальных теста:

Тп1 = 1234,

Тп2 = 1235,

Тп3 = 1236.

3.2 Построение диагностического теста

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

Рисунок 9 – Эквивалентные неисправности

комбинационной схемы

Составим ТФН. Таблица будет аналогична таблице 10, но в неё необходимо включить две неисправности выхода системы, которым соответствуют функции неисправностей f5 = 1 и f6 = 0.

 

Таблица 11 -  Таблица функций неисправностей

Вх. набор

F

Функция неисправности

abc

f1

f2

f3

f4

F5

F6

0

000

0

0

0

0

0

1

0

1

001

0

0

0

1

0

1

0

2

010

0

0

0

0

1

1

0

3

011

1

1

0

1

1

1

0

4

100

1

0

1

1

1

1

0

5

101

1

0

1

1

1

1

0

6

110

1

0

1

1

1

1

0

7

111

1

1

1

1

1

1

0

Проверяющие функции для f9 и f10 :

φ5 = 0 v 1 v 2

φ6 = 3 v 4 v 5 v 6 v 7 

Определим различающие функции в соответствии с выражением (1.3):

φ1,2= 3 v 4 v 5 v 6

φ1,3= 1 v 4 v 5 v 6

φ1,4= 2 v 4 v 5 v 6

φ1,5= 0 v 1 v 2 v 4 v 5 v 6

φ1,6= 3 v 7

φ2,3 = 1 v 3

φ2,4 = 2 v 3

φ2,5 = 0 v 1 v 2 v 3

φ2,6 = 4 v 5 v 6 v 7

φ3,4 = 1 v 2

φ3,5 = 0 v 2

φ3,6 = 1 v 3 v 4 v 5 v 6 v 7

φ4,5 = 0 v 1

φ4,6 = 2 v 3 v 4 v 5 v 6 v 7

φ5,6 = 0 v 1 v 2 v 3 v 4 v 5 v 6 v 7

Если составить диагностический тест, согласно выражению (1.4), то, подставив значения функций и упростив выражение, получим:

Тд= (3 v 4 v 5 v 6)(1 v 4 v 5 v 6)(2 v 4 v 5 v 6)(4 v 5 v 6 v 7)(3 v 7)(1 v 3)(2 v 3)    (1 v 2)(0 v 2)(0 v 1)

Tд=0234 v 0134 v 0235 v 0135 v 0236 v 0136 v 01234 v 1234 v 1235 v 1236 v 01247 v 01347 v 01257 v 01357 v 01267 v 01367 v 012347 v 1247 v 1257 v 1267 v 12347

Полученное выражение содержит 12 минимальных тестов:

    Тд1 = 0234

Тд2 = 0134

Тд3 = 0235

Тд4 = 0135

Тд5 = 0236

Тд6 = 0136

Тд7 = 1234

Тд8 = 1235

Тд9 = 1236

Тд10 = 1247

Тд11 = 1257

Тд12 = 1267

Диагностический тест Тд, согласно выражению (1.5) равен:

Тд= Тп φ1,2 φ1,3,……,φn-1,n .

Подставив значения функций и упростив выражение, получим:

Тд= (0234 v 0134 v 0235 v 0135 v 0236 v 0136 v 01234 v 1234 v 1235 v 1236 v 01247 v 01347 v 01257 v 01357 v 01267 v 01367 v 012347 v 1247 v 1257 v 1267 v 12347)(1234 v 1235 v 1236) = 1234 v 1235 v 1236

Тд1 = 1234

Тд2 = 1235

Тд3 = 1236

Составим словарь неисправностей для теста Тд1 = 1234 (таблица 12):

Таблица 12 - Словарь неисправностей для Тд1

Вх. набор

F

Функция неисправности

abc

f1

f2

f3

f4

f5

f6

1

001

0

0

0

1

0

1

0

2

010

0

0

0

0

1

1

0

3

011

1

1

0

1

1

1

0

4

100

1

0

1

1

1

1

0

Составим словарь неисправностей для теста Тд2 = 1235 (таблица 13):

Таблица 13 - Словарь неисправностей для Тд2

Вх. набор

F

Функция неисправности

abc

f1

f2

f3

f4

f5

f6

1

001

0

0

0

1

0

1

0

2

010

0

0

0

0

1

1

0

3

011

1

1

0

1

1

1

0

5

101

1

0

1

1

1

1

0

Составим словарь неисправностей для теста Тд3 = 1236 (таблица 14):

Таблица 14 - Словарь неисправностей для Тд3

Вх. набор

F

Функция неисправности

abc

f1

f2

f3

f4

f5

f6

1

001

0

0

0

1

0

1

0

2

010

0

0

0

0

1

1

0

3

011

1

1

0

1

1

1

0

6

110

1

0

1

1

1

1

0


 

А также другие работы, которые могут Вас заинтересовать

27129. Ценовая политика 34 KB
  Ценовая политикаэто определение и поддержание на оптимальном уровне цен на товары с учетом их взаимосвязи в рамках ассортимента в условиях конкретного рынка а также своевременное изменение цен по товарам и рынкам для достижения максимально возможного успеха в конкретной рыночной ситуации. Структура ценовой политики: исходное ценообразование на товар ценообразование в рамках товарной номенклатуры изменение цены контроль за уровнем наценок устанавливаемых посредником создание барьеров по удержанию покупателей разработка программ...
27130. Конкурентные преимущества товара и фирмы на рынке 14.51 KB
  Конкурентное преимущество –характеристики свойства марки или товара которые создают для фирмы определенное превосходство над прямыми конкурентами. Эти характеристики могут относиться как к самому товару так и к дополнительнымуслугам формам производства сбыта или продаж специфичным для фирмы или товара. Конкурентное преимущество это те характеристики свойства товара или марки которые создают для фирмы определенное превосходство над своими прямыми конкурентами.
27131. Ситуационное лидерство (ситуационное руководство) 14.5 KB
  Ситуационное лидерство ситуационное руководство это стиль управления людьми предполагающий использование одного из четырех стилей управления в зависимости от ситуации и уровня развития сотрудников по отношению к задаче. Стили лидерства: Директивный стиль или Лидерство путем приказа высокая ориентация на задачу и низкая на людей. Наставнический стиль или Лидерство путем продажи идей совмещение высокой ориентированности на задачу и на людей. Поддерживающий стиль или Лидерство путем участия в организации процесса работы высокая...
27132. Оценка эффективности электронных и квазиэлектронных предприятий. Total Cost Ownership, Balanced Scorecard 36.5 KB
  в среднем можно ожидать около 5 учитывая что привлекать мы будем именно потенциальных покупателей а не случайных людей. Расчет: Колво покупателей = колво посетителей 100 х конверсии = 240.000 покупателей за 6 месяцев. Валовая прибыль = колво покупателей х средний чек = 12.
27133. Структурированная процесс-модель «бизнес-контент-менеджмент» 1.85 MB
  Структурированная процессмодель бизнесконтентменеджмент Одно из главных требований предъявляемых к построению современного электронного бизнесрешения как можно более быстрая трансформация бизнесидеи в конкретное решение которое соответствует запросам пользователя не требует значительных расходов на поддержку функционирует эффективно и с невысокими издержками и имеет стройную организацию. Структурированная процессмодель дает солидную основу для старта проекта Процессмодель концепция бизнес контент менеджмент состоит из...
27135. Электронная коммерция: B2B. Виртуальные торговые площадки 16.68 KB
  Виртуальные торговые площадки B2B англ. Возможности Интернет позволяют совершать покупки продажи в режиме реального времени и благодаря доступности Интернет в торговой деятельности площадки могут участвовать компании из разных точек земного шара. Площадки типа buyerdriven. В качестве примера можно взять автомобильную промышленность где GM Ford и Daimler Chrysler объединились для создания глобальной онлайновой торговой площадки или здравоохранение где Tenant Healthcare объединила усилия с Ventro ранее Chemdex для создания...
27136. Электронная коммерция: B2C. Интернет-магазины 18.27 KB
  Интернетмагазины. Один из наиболее популярных инструментов B2C – это интернетмагазин. Полная автоматизация 3 Продвинутый Advanced – торговая интернетсистема. Предполагает что интернетмагазин интегрирован с внутренней информационной системой предприятия ERP система бух.
27137. Электронные платежные системы: основные виды и принцип функционирования 691.91 KB
  Кроме того следует различать виртуальные дебетовые карты выпускаемые некоторыми банками и реальные кредитные и дебетовые карты. Предоплаченные виртуальные дебетовые карты представляют собой полный аналог обычной Visa или подобной карты которую принимают в Интернете. Владельцу сообщают все платёжные реквизиты такой карты и с точки зрения стороннего наблюдателя платёж осуществляется с обычной пластиковой карты. Такую карту легче купить так как выпуск такой карты осуществляется без проверки личности владельца.