д.ф.-м.н., проф.каф.СП
Александр Константинович Петренко
асп. Евгений Корныхин
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Инструменты генерации тестовых данных для функционального тестирования микропроцессоров и интерфейсов программных систем презентация
Содержание
- 1. Инструменты генерации тестовых данных для функционального тестирования микропроцессоров и интерфейсов программных систем
- 2. Генерация тестовых программ на основе грамматик (БНФ)
- 3. Генерация на основе моделей программ OTK,
- 4. Генерация на основе «шаблонов» программ Pex, Genesys-Pro,
- 5. Генерация на основе «шаблонов» программ программа на
- 6. . . . LOAD x, y,
- 7. Практическая важность результата длина/сложность шаблона увеличивается с
- 9. Исходные данные и модели (1) Описание шаблона
- 10. Исходные данные и модели (2) Описание моделей
- 11. Исходные данные и модели (3) Описания моделей
- 12. Реализация подхода для тестирования микропроцессоров Шаблон задает
- 13. . . . LOAD x, y,
- 14. Практическая важность результата длина/сложность шаблона увеличивается с
- 15. Pex
- 16. Pex (2)
- 17. Genesys-Pro (2)
Генерация тестовых программ на основе грамматик (БНФ) BNFTool: возможности: простой способ генерации программ в некотором синтаксисе ограниченность: только синтаксически правильные программы и нет возможности нацелить на отдельные конструкции языка
Слайд 1Инструменты генерации тестовых данных для функционального тестирования микропроцессоров и интерфейсов программных
систем
Слайд 2Генерация тестовых программ на основе грамматик (БНФ)
BNFTool:
возможности: простой способ генерации программ
в некотором синтаксисе
ограниченность: только синтаксически правильные программы и нет возможности нацелить на отдельные конструкции языка
ограниченность: только синтаксически правильные программы и нет возможности нацелить на отдельные конструкции языка
Слайд 3Генерация на основе моделей программ
OTK, Pinery:
графовые модели для задания свойств
программ
возможности: позволяет нацеливать тест
ограниченность:не учитывает состояние исполняемой программы (например, значения переменных)
возможности: позволяет нацеливать тест
ограниченность:не учитывает состояние исполняемой программы (например, значения переменных)
Слайд 4Генерация на основе «шаблонов» программ
Pex, Genesys-Pro, RAVEN
«шаблон» - скелет тестирующей программы
возможность
нацеливания на свойства исполнения программ
ограниченность: несложные структуры состояния (для Pex это серьезное ограничение, для Genesys-Pro – норма)
ограниченность: несложные структуры состояния (для Pex это серьезное ограничение, для Genesys-Pro – норма)
Слайд 5Генерация на основе «шаблонов» программ
программа
на языке
ассемблера
шаблон
программы
эксперт → ~ 100 шаблонов, длина
шаблонов = 2-3 - мало
(преамбула для r2,r3)
AND r1, r2, r3
LOAD r4, r2, 66
AND r1, r2, r3 @ normal
LOAD r4, r2, c1 @ l1Hit
Слайд 6
. . .
LOAD x, y, c @ tlbHit
STORE z, x,c @
tlbMiss
. . .
Общая схема генерации
(= v (+ y c))
LOAD x, y, c:
v ← y + c;
AddrTr(v,p);
. . .
(= t (extract[30:10] v))
(or (= t t1) (= t t2))
шаблон
программы
модель инструкции
constraint
constraint
v = 145
y = 52
с = 66
. . .
значения
параметров
шаблона
. . .
LOAD x, y, 66
STORE z, x, 66
. . .
программа на языке ассемблера
Слайд 7Практическая важность результата
длина/сложность шаблона увеличивается с 2-3 до 10-15
обозримое число шаблонов
(то есть и целей тестирования) увеличивается на два порядка
(~100 → ~10000)
Слайд 9Исходные данные и модели (1)
Описание шаблона (параметрически заданная тестовая программа)
.
. .
STORE z, x, c1 @ tlbMiss
LOAD x, y, c @ tlbHit . . .
LOAD x, y, c @ tlbHit . . .
параметр
параметр
инструкция
Слайд 10Исходные данные и модели (2)
Описание моделей инструкций
LOADWORD x, y, c:
vAddr
← y + c;
vAddr[1:0] = 0;
AddrTrans(vAddr, pAddr); pAddr ← pAddr[35:3] ||
(pAddr[2:0] + 4); LoadMem(pAddr, memdw); x ← memdw[vAddr[2:0]:0];
AddrTrans(vAddr, pAddr); pAddr ← pAddr[35:3] ||
(pAddr[2:0] + 4); LoadMem(pAddr, memdw); x ← memdw[vAddr[2:0]:0];
Слайд 11Исходные данные и модели (3)
Описания моделей компонентов микропроцессора (управление памятью, конвейер
и др.) на ЯП
AddrTrans (…) {…..}
LoadMem (…) {…..}
AddrTrans (…) {…..}
LoadMem (…) {…..}
Слайд 12Реализация подхода для тестирования микропроцессоров
Шаблон задает класс тестовых ситуаций – цель
шаблона
Параметры шаблонов – значения аргументов инструкций вычисляются как решение системы ограничений (уравнений), позволяющее достичь цели шаблона
Ограничения формулируются на основе описания моделей компонентов
Решатель - Z3
Параметры шаблонов – значения аргументов инструкций вычисляются как решение системы ограничений (уравнений), позволяющее достичь цели шаблона
Ограничения формулируются на основе описания моделей компонентов
Решатель - Z3
Слайд 13
. . .
LOAD x, y, c @ tlbHit
. . .
Общая схема
генерации
(= v (+ y c))
LOAD x, y, c:
v ← y + c;
AddrTr(v,p);
. . .
(= t (extract[30:10] v))
(or (= t t1) (= t t2))
шаблон
программы
модель инструкции
ограничения
ограничения
v = 145
y = 52
с = 66
. . .
значения
параметров
шаблона
. . .
LOAD x, y, 66
. . .
программа на языке ассемблера
Слайд 14Практическая важность результата
длина/сложность шаблона увеличивается с 2-3 до 10-15
обозримое число шаблонов
(то есть и целей тестирования) увеличивается на два порядка
(~100 → ~10000)
