Методы построения тестов.

Различают методы случайного и детерминированного формирования тестов.

Методы направленного поиска тестов настолько сложны, что порой их просто невозможно построить.

Процесс построения тестов на основе методов направленного поиска состоит из следующих этапов:

1) определение списка рассматриваемых неисправностей;

2) вычисление тестового набора для очередной неисправности из списка;

3) моделирование схемы на тестовом наборе для выявления подмножества обнаруживаемых неисправностей;

4) определение полноты проверки схемы на построенном тесте.

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

1) определение списка рассматриваемых неисправностей;

2) моделирование схемы на случайном наборе для выявления подмножества обнаруживаемых неисправностей;

Решение относительно включения случайного набора в тест.

Существует два подхода к построению тестов, основанные на

1) Методах направленного поиска;

2) Методах случайного поиска.

К методам направленного построения тестов относятся: Метод Рота; Метод разностных нормальных форм; Метод Армстронга и др.

Задача построения тестов методами направленного построения формулируется следующим образом:

1. Определить множество неисправностей заданного класса;

2. Выбрать очередную неисправность и вычислить тест, покрывающий данную неисправность.

Генерация тестовых последовательностей с помощью алгоритмических способов (направленного построения тестов) позволяет определить тесты для всех обнаруживаемых неисправностей. В этом смысле алгоритмические способы являются полными способами генерации тестов. Вместе с тем при больших размерах схемы время генерации тестового множества сильно возрастает. Теоретически время растет экспоненциально с ростом числа вентилей; для реальных схем время генерации пропорционально 2—3-й степени числа вентилей.

Задача построения тестов методом случайного по поиска формулируется следующим образом:

1) Определить множество неисправностей заданного класса;

2) Случайным образом выбрать входной вектор – претендент в тесты;

3) Определить контролирующую способность вектора;

4) Принять решение относительно приема претендента в тест.

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

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

Другими словами, моделирование неисправностей является методом определения обнаруживаемых неисправностей для заданного набора.

На практике задача построения тестов решается с применением обоих подходов:

Ø На первом этапе применяется случайный подход;

Ø В последующем в случае крайней необходимости подключается направленный поиск, если имеются необходимые средства поиска.

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

 

Симптомы неисправностей.

Допустим, что на первой контрольной точке обнаруживается множество неисправностей F ₁ = { a , b , k , m }, на второй – F ₂ = { a ,с, d }, на третьей – F ₃ = { b , m }и на четвёртой – F 4 = { a , d , m }. В этом случае

1100 – это симптом неисправности a, 1010 – неисправности b,

0100 – неисправности c и 1011 – неисправности с.

F ₁ = { a , b , k , m },

F ₂ = { a ,с, d },

F ₃ = { b , m }

F 4 = { a , d , m }.

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

⇐ Предыдущая45678910111213Следующая ⇒

Поделиться: