- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Автоматическое построение тестов для аппаратного обеспечения с использованиемразрешения ограничений презентация
Содержание
- 1. Автоматическое построение тестов для аппаратного обеспечения с использованиемразрешения ограничений
- 2. Место задачи в разработке аппаратного обеспечения ...
- 3. Тестирование design’а lui s1, 0x2779 ori s1,
- 4. Системное тестирование Генерация тестов эталонная реализация микропроцессора
- 5. Подход model-based testing модель тестируемой системы элементы
- 6. Генерация тестов на основе моделей модели шаблоны
- 7. Что это за test case’ы «тестовые шаблоны»
- 8. Модели → шаблоны комбинаторный метод: цепочка инструкций
- 9. Шаблоны → тесты шаблон → уравнения →
- 10. Пример ADD x, y, z @ norm
- 11. Сложность задачи пространство тестов пространство
- 12. Успешные применения целочисленная арифметика механизмы памяти
- 13. Эксперименты (таблица) количество инструкций, размеры моделей (в
- 14. Эксперименты
Место задачи в разработке аппаратного обеспечения ... output sm_out; reg [1:0] c, next_state; always @ (posedge sm_cl) begin
if (reset == 1'b1) c
Слайд 1Автоматическое построение тестов для аппаратного обеспечения с использованием
разрешения ограничений
проф. А.Петренко, Е.Корныхин
Слайд 2Место задачи в разработке аппаратного обеспечения
...
output sm_out;
reg [1:0] c, next_state;
always
@ (posedge sm_cl) begin
if (reset == 1'b1) c <= 2'b00;
else c <= next_state; end
...
...
требования
design на Verilog
готовый
микропроцессор
тестирование design’а
Слайд 3Тестирование design’а
lui s1, 0x2779
ori s1, s1, 0xc8b9
lui s3, 0x4ee
ori s3, s3,
0xf798
add v0, a0, a2
sub t1, t3, t5
add t7, s1, s3
add v0, a0, a2
sub t1, t3, t5
add t7, s1, s3
Системное тестирование
Модульное тестирование
Тестируется design всего микропроцессора
с помощью тестовых программ
Тестируется design отдельного модуля
через входные и выходные сигналы
Слайд 4Системное тестирование
Генерация тестов
эталонная
реализация
микропроцессора
( на Си )
Сравнение трасс
Возникла ошибка
Успешный прогон
Симуляция
тестовые
программы
проводится «сравнением
с
эталоном»
ситуации
Слайд 5Подход model-based testing
модель
тестируемой
системы
элементы
модели
(«ситуации»)
test case’ы
тесты
оценка
достигнутого
покрытия
надежное
полный набор тестов
☑
✕
Слайд 6Генерация тестов на основе моделей
модели
шаблоны тестов
тесты
структурные:
модели внутреннего состояния микропроцессора (кэши,
таблицы страниц)
функциональные:
модели инструкций (варианты исполнения)
функциональные:
модели инструкций (варианты исполнения)
lui s1, 0x2779
ori s1, s1, 0xc8b9
lui s3, 0x4ee
ori s3, s3, 0xf798
add v0, a0, a2
sub t1, t3, t5
add t7, s1, s3
DIV x, y, z @ divbyzero
LOAD y, x, c @ l1hit
Слайд 7Что это за test case’ы
«тестовые шаблоны»
DIV x, y,
z @ divbyzero
LOAD y, x, c @ l1hit
LOAD y, x, c @ l1hit
элементы
моделей
структура теста
Слайд 8Модели → шаблоны
комбинаторный метод:
цепочка инструкций
зависимости
варианты исполнения инструкций
DIV
LOAD
divbyzero
…
l1hit
…
модель
ADD
norm
…
DIV
LOAD
x,
y,
y,
x,
z
c
@ divbyzero
@ l1hit
тестовый шаблон
Слайд 9Шаблоны → тесты
шаблон → уравнения → тест
«ограничение» – «уравнение»
«разрешение» ограничений –
в смысле не «allow», а «satisfy»
уравнения решает внешний инструмент
уравнения решает внешний инструмент
Слайд 10Пример
ADD x, y, z @ norm
CMP x, y @ equal
ADD norm
(a,b,c) :
a = b+c
CMP equal (a,b) :
a = b
0≤x0,x1,y0,z0<232
x1 = y0 + z0
x1 = y0
y0 = 1
z0 = 0
MOV y, 1
MOV z, 0
ADD x, y, z
CMP x, y
1. тестовый шаблон:
1. модель:
2. система
уравнений:
3. ее
решение:
4. тестовая
программа
инициализация
Слайд 11Сложность задачи
пространство тестов
пространство тестов, соотв. шаблону
чем длиннее тест, тем меньше эта
область
Слайд 12Успешные применения
целочисленная арифметика
механизмы памяти
MIPS-совместимый микропроцессор
увеличили допустимый размер тестов (было 2-3, стало
8-10)
новое качество (ситуации в буферах и конвейерах размера 8-10)
новое качество (ситуации в буферах и конвейерах размера 8-10)
Слайд 13Эксперименты (таблица)
количество инструкций, размеры моделей (в кБ текста), количество тестов, количество
шаблонов, количество ошибок
непонятно, откуда взять данные для таблицы....
непонятно, откуда взять данные для таблицы....
