Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
Подобные документы
Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
автореферат, добавлен 02.05.2018- 2. Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
диссертация, добавлен 11.06.2018 Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
автореферат, добавлен 02.05.2018Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Теоретические основы подготовки и реализации тестирования. Способ автоматизации проведения тестирования. Разработка в среде Delphi программы тестирования по предмету "Компьютерные сети". Прогрессивность использования тестирования как средства оценки знани
курсовая работа, добавлен 17.06.2010Рассмотрение проблем тестирования клиентского web-интерфейса информационных систем управления с помощью имитационного моделирования. Применение имитационного моделирования при работе с Java фреймворком Google Web Toolkit. Преимущества и недостатки метода.
статья, добавлен 30.01.2020Разработка автоматизированных систем тестирования, способных выполнять объективный мониторинг процесса обучения студента. Исследование особенностей автоматизированной системы проверки знания формальных зависимостей. Технология проведения тестирования.
статья, добавлен 17.06.2018Исследование автоматизации тестирования программного обеспечения, особенности применения, преимущества и недостатки. Анализ инструментов автоматизации тестирования и применение его в разработки программного обеспечения. Автоматизированное тестирование ПО.
статья, добавлен 09.07.2020Особенности автоматизированного тестирования. Основные подходы и уровни автоматизации. Создание собственного фреймворка для автоматизированного тестирования через пользовательский интерфейс, в качестве тестируемого приложения. Основные функции теста.
курсовая работа, добавлен 24.02.2019Понятие и цель автоматизации тестирования программного обеспечения. Преимущества и возможные недостатки автоматизированного тестирования. Разработка и обоснование проекта автоматизации нового функционала для выполнения регрессионной кампании тестов.
курсовая работа, добавлен 22.01.2016Разработка программно-вычислительного комплекса, предназначенного для автоматизации тестирования знаний студентов по темам дисциплин учебного плана. Функционирование системы в глобальной сети Интернет. Способы построения системы, программное обеспечение.
дипломная работа, добавлен 06.06.2013Разработка алгоритма оценивания компетенций на основе результатов тестирования участников деловой игры. Архитектура "Студии компетентностных деловых игр". Статистических методы оценки результатов тестирования. Разработка модуля и архитектуры приложения.
дипломная работа, добавлен 01.08.2017Средства и методы автоматизации, их назначение, специфика. Методологии автоматического тестирования, цели, критерии эффективности. Разработка алгоритма проектирования автоматических тестов, их реализация на примере приложений Global XB, GCube и Thistle.
курсовая работа, добавлен 08.12.2011Место и роль тестирования в различных моделях разработки программного обеспечения. Каскадная модель тестирования с промежуточным контролем. Описание методики тестирования приложения в процессе разработки. Описание тестирования интерфейса пользователя.
дипломная работа, добавлен 15.03.2019Описание формата подготовки заданий открытой формы тестирования на электронных носителях для автоматизации ввода исходных данных. Программная реализация системы тестирования на основе открытых тестов. Применение Excel для анализа успеваемости студентов.
статья, добавлен 20.01.2018Экспертная оценка качества инновационных программных продуктов, обоснование управленческих решений. Критерии комбинаторного покрытия для получения набора тестов и экспертных оценок. Правомерность использования возможностей метода модульного тестирования.
статья, добавлен 22.05.2017Классификация, структура и отличительные особенности микроконтроллеров и цифровых сигнальных процессоров. Структура микропроцессоров с архитектурой фон Неймана и гарвардской архитектурой. Модульная организация и система команд процессора микроконтроллера.
презентация, добавлен 30.01.2015Технико-эксплуатационные характеристики и архитектурное построение последних моделей микропроцессоров фирмы Intel. Особенности микропроцессоров с архитектурой RISC. Тенденции в развитии производства персональных ЭВМ. Функции и виды вычислительных систем.
реферат, добавлен 27.01.2018- 19. Разработка автоматических тестов для тестирования новой функциональности программного обеспечения
Преимущества и возможные недостатки автоматизации тестирования. Структура и конфигурирование инструмента Cucumber. Файл CucumberRunner и аргументы Java-машины. Загрузка конфигурации, режим Create, Update, Delete. Примеры файлов с расширениями .feаture.
дипломная работа, добавлен 30.07.2016 История создания первых микропроцессоров фирмой Intel от i4004 до Pentium. Технические инновации, позволившие увеличить быстродействие компьютера, разрядность шины данных и объем памяти. Преимущества конвейерной архитектуры, присущей RISC-процессорам.
реферат, добавлен 27.03.2014Проведение тестирования с открытыми тестами как одна из актуальных задач проверки знаний студентов. Разработка методологии заданий открытой формы для компьютерного тестирования. Таблица результатов тестирования студентов. Алгоритм визуализации теста.
статья, добавлен 20.01.2018Основы тестирования программного обеспечения, история его развития и основные определения в данной области. Классификация тестирования, ошибок и список вопросов для выявления ошибок в начале теста. Функции модульного тестирования и его оболочки JUnit.
курсовая работа, добавлен 17.04.2011Применение промышленных способов проверки качества программного обеспечения. Понятие регрессионного тестирования, оценка целесообразности перехода от ручного регрессионного тестирования к автоматическому. Тестирование с использованием программы Cucumber.
дипломная работа, добавлен 30.07.2016Описание этапов разработки информационной системы персонализированного психологического тестирования с использованием экспертного оценивания. Процесс проектирования информационной системы. База данных и алгоритм проведения тестирования студентами.
статья, добавлен 01.02.2019Понятие надежности программного средства. Требования к технологии и средствам автоматизации разработки сложных программных средств. Требования к средствам обеспечения тестирования. Оценка методов тестирования по показателю "эффективность /стоимость".
реферат, добавлен 09.04.2015