Реферат: Анализ тестопригодности по методу Сamelot

💣 👉🏻👉🏻👉🏻 ВСЯ ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻

АНАЛИЗ ТЕСТОПРИГОДНОСТИ ПО МЕТОДУ
CAMELOT

Управляемость (CY – controlability) может принимать относительное значение от 0 до 1.
CY = 1 – имеет первичный вход, где можно легко установить логические «0» и «1».
CY = 0 – имеет узел, который нельзя установить ни в одно из логических состояний.
Здесь узлы – эквипотенциальные линии, устройства - элементы схемы.
Практически значения управляемости большинства узлов лежат между двумя границами 0 £CY£ 1. CY узлов в схеме уменьшается от первичных входов к первичным выходам.
В общем случае управляемость входов устройства не 100%, поэтому управляемость выходов должна учитывать как способность к передаче логических значений через устройство, так и значений управляемости на его входах.
CY (выходного узла) = KCY×f ( CY (входных узлов))
KCY – коэффициент передачи управляемости устройства. Он является мерой, характеризующей степень различия способности генерировать значение «1» от способности генерировать значение «0». Он зависит только от логической функции, реализуемой устройством, и не зависит от места расположения устройства в схеме:
где N (0) – число всех способов установить логический «0» на выходе устройства;
N (1) – число всех способов установить логическую «1» на выходе устройства.
KCY = 1, если N (0) = N (1) (элементы НЕ, XOR).
N (0) и N (1) могут быть получены из таблиц истинности элементов. Для устройства с несколькими выходами каждый выход будет характеризоваться своим собственным значением KCY и в общем случае эти значения не будут одинаковыми.
f - среднее арифметическое CY(входов).
Управляемость начинает вычисляться с первичных входов. Она вычисляется для всех узлов, лежащих на пути от первичных входов до первичных выходов включительно.
Наличие обратных связей в устройстве усложняет вычисление CY в узлах всей схемы устройства. В этом случае проблема сводится к решению системы линейных уравнений.
Наблюдаемость (OY - observability) может принимать относительные значения от 0 до 1.
OY=0, если невозможно обеспечить такие условия, при которых изменение значения в узле приводило бы к изменению значения на первичном выходе.
Практически 0£OY£1. Наблюдаемость узлов в схеме уменьшается от первичных выходов к первичным входам.
В общем случае процесс распространения информации о неисправности через устройство зависит, как от способности активизировать определенный вход, так и от способности установить фиксированные значения на некоторых или всех других входах устройства, позволяющих активизировать путь к определенному выходу устройства (функция управляемости этих входов). Следовательно:
OY(на выходе)=KOY*OY(на входе)*g(CY активизирующих входов),
где KOY - коэффициент передачи наблюдаемости. KOY(I-Q) - KOY от входа I к выходу Q.
KOY(I-Q)=1, если транспортировка значения неисправности существует всегда, независимо от состояний активизирующих входов.
KOY(I-Q)=0, если не существует пути транспортировки неисправности между I и Q.
Однако в действительности KOY лежит между этими пределами 0£KOY£1.
где N(PDC:I-Q) - число одномерных неполяризованных кубов (D-кубов), активизирующих путь I-Q
N(NPDC:I-Q) - число одномерных неполяризованных D-кубов, запирающих (блокирующих) активизацию пути I-Q.
Для второго входа элемента "И" в виду симметрии KOY(I-Q)=0.5.
Для нахождения наблюдаемости по формуле (1) вычисление начинается с некоторого узла, где устанавливается OY=1 и это значение передается на первичные выходы схемы, чтобы на них получилось значение наблюдаемости исходного узла. Этот процесс затем необходимо повторять для каждого узла схемы.
Недостаток этого метода заключается в больших затратах времени, так как вычисления необходимо повторять столько раз, сколько узлов в схеме. При наличии обратных связей необходимо решать систему уравнений.
К счастью, можно использовать более простой способ, основанный на мультипликативных свойствах наблюдаемости.
OY(A-C)= OY(C-C)* OY(A-B)* OY(B-C).
Это определяет другой метод вычисления: начиная с первичных выходов схемы, значения наблюдаемости вычисляются для каждого узла на пути от выхода к входу.
OY(I-Q)= OY(C-Q)* KOY(I-C)*g(CY активизирующих входов).
g - среднее арифметическое CY активизирующих входов
Наличие ветвления на выходе устройства позволяет наблюдать его состояние на некоторых первичных выходах схемы. (Пвых1 и Пвых2).
OY(составное)=1-П [1-OY(каждого X-Пвых)],
OY(X-(Пвых1,Пвых2))=1-([1-OY(X-Пвых1)]*[1-OY(X-Пвых2)]).
1) Для путей неравной длины стратегия следующая: выбирается кратчайший путь и для него подсчитывается OY узла X, т.е. OY(X-Пвых). Предполагается, что на практике для активизации выбирается кратчайший путь, а другие блокируются во избежание возможности схождения информации.
2) Для сходящихся путей равной длины стратегия заключается в вычислении OY(X-Пвых) для обоих путей и выборе пути с наибольшим значением наблюдаемости. И вновь предполагается, что все остальные пути, кроме одного выбранного, могут быть блокированы.
Простая мера тестопригодности узла TY (testability) может быть получена умножением значения его CY и OY.
На уровне интуитивного восприятия, если, скажем, СY=OY=0.5, то TY¹0.5, потому что если управлять узлом "на 50% сложнее" и наблюдать за узлом "на 50% сложнее", то в целом тестопригодность должна быть меньше 50%.
TY схемы = (STY узлов) / число узлов
Значения CY, OY, TY в чистом виде не используются, а используется от этих значений. Это позволяет ограничить масштаб абсолютных значений и облегчить интерпретацию результатов. Затем строятся гистограммы для CY, OY, TY. На оси абсцисс откладываются значения CY(OY, TY) от 0.1 до 1, на оси ординат - число узлов от 0 до n.
Пример: Дан триггер. Подсчитать CY, OY, TY для узлов схемы и TY схемы.
Решая систему линейных уравнений, имеем:
OY(3-3,4)=1-(1-OY(3-3))(1-OY(3-4))=1
OY(4-3,4)=1-(1-OY(4-4))(1-OY(4-3))=1
TY схемы = (0.165*2+0.33*2)/4=0.2475
Возьмем от значений CY, OY, TY, получая в результате CY *
, OY *
, TY *
.
CY *
(1)=1; OY *
(1-3)=0.79; TY *
(1)= 0.79
CY *
(2)=1; OY *
(2-4)=0.79: TY *
(2)= 0.79
CY *
(3)=0.87; OY *
(3-3)=1; TY *
(3)=0.87
CY *
(4)=0.87; OY *
(4-4)=1; TY *
(4)=0.87
Рисунок 8 - Гистограммы распределения значений для CY *
, OY *
и TY *
.
“+” Оценки значений управляемости, наблюдаемости и тестопригодности позволяют проектировщику определять области схемы с малыми значениями управляемости и наблюдаемости, а также после модификации схемы оценить результат значений с позиций улучшения тестопригодности.
“+” При разработке тестов эти оценки могут использоваться как основа для определения методики тестирования.
Вычисляемые показатели предназначаются, главным образом, для сравнительного анализа тестопригодности узлов рассматриваемой схемы. Они не обеспечивают возможность правильного сравнения тестопригодности различных схем.
Значения наблюдаемости схемы зависят от значений управляемости. Следовательно, изменения, влияющие на свойства управляемости должны быть внесены в схему прежде, чем будут рассмотрены изменения схемы, влияющие на свойства ее наблюдаемости.
Уровень управляемости некоторой части схемы с малым значением CYможно повысить введением одполнительных непосредственно управляемых входов либо в рассматриваемую часть схемы, либо предшествующую ей (т.е. на пути прохождения сигнала от первичных входов к данной схеме), см. рис.9.
Уровень наблюдаемости некоторой части схемы можно повысить, улучшив доступ либо к рассматриваемой части схемы, либо к части между первичными выходами и рассматриваемой частью, (например, введением дополнительных контрольных точек), см. рис.9.
Выше приведен пример асинхронного счетчика-делителя на 9. Он состоит из цепочки 4х триггеров и И-НЕ в обратной связи. Тестопригодность схемы в целом была улучшена на 52% благодаря небольшой корректировке основного варианта разработки:
- была предусмотрена возможность обрыва обратной связи (на выходе И-НЕ) путем выведения концов разрыва на внешние входы схемы и установки на них съемной перемычки;
- сделан дополнительный внешний выход из середины цепочки триггеров.
Процесс модификации схемы очень трудоемкий в виду большой размеренности задачи анализа объекта и сложности методики оптимального использования средств улучшения тестопригодности (например, установка контрольных точек, разрывов ОС, и т.п.). Процесс модификации должен быть автоматизирован.

Название: Анализ тестопригодности по методу Сamelot
Раздел: Рефераты по коммуникации и связи
Тип: реферат
Добавлен 02:58:56 29 января 2011 Похожие работы
Просмотров: 50
Комментариев: 15
Оценило: 2 человек
Средний балл: 5
Оценка: неизвестно   Скачать

Срочная помощь учащимся в написании различных работ. Бесплатные корректировки! Круглосуточная поддержка! Узнай стоимость твоей работы на сайте 64362.ru
Привет студентам) если возникают трудности с любой работой (от реферата и контрольных до диплома), можете обратиться на FAST-REFERAT.RU , я там обычно заказываю, все качественно и в срок) в любом случае попробуйте, за спрос денег не берут)
Да, но только в случае крайней необходимости.

Реферат: Анализ тестопригодности по методу Сamelot
Эссе Настоящий Патриотизм Как Частное Проявление
Самоуправление Реферат
Реферат Размножение И Индивидуальное Развитие Организма
Реферат: Понятие система органов местного самоуправления. Скачать бесплатно и без регистрации
Курсовая работа: Неоклассические теории экономического роста
Реферат: Екологічні проблеми материків і океанів
Курсовая работа по теме Инвестиции в Украине
Реферат: Rotc Essay Research Paper Being a cadet
Реферат На Тему Пассажир
Курсовая работа по теме Административно-хозяйственная служба гостиниц
Реферат: MallarmePoet Essay Research Paper Stphane MallarmStphane Mallarm
Горячая объемная штамповка на прессах
Курсовая Работа На Тему Ов И Сдяв Кожно-Нарывного Действия
Финансовая Политика Государства Курсовая
Курсовая работа: Негосударственные пенсионные фонды на российском финансовом рынке
Реферат На Тему Понятие Мировоззрения
Реферат по теме "Хезболла" как инструмент ИРИ в эскалации арабо-израильского конфликта
Дипломная работа по теме Основы управления финансовым состоянием муниципального предприятия
Курсовая работа по теме Качества лидера
Короткое Сочинение На Тему Русский Язык
Реферат: Объекты шпионажа
Реферат: Основные понятия, предмет культурологии
Контрольная работа: История институционализма: проблема поиска истоков