Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций

Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.

Подобные документы

  • Способы тестирования и виды экспертных оценок программного модуля. Разработка алгоритма решения многокритериальной задачи оптимизации методом групповой линейной свертки, преимущества и недостатки. Межпрофессиональное взаимодействие IT-специалистов.

    статья, добавлен 30.07.2017

  • Тестирование стека программных продуктов, который создается из приложений и инструментов с открытым исходным кодом и функционально подобным инструментам платформы IBMWatson. Современная технология проведения тестирования разработанных лабораторных работ.

    дипломная работа, добавлен 04.12.2019

  • Проблема определения мощности современных процессоров и видеокарт. Анализ существующих методов тестирования. Способы оценки комплектующих с наиболее информативными результатами. Разработка модулей компьютерной аналитики для тестирования мощности.

    статья, добавлен 07.03.2019

  • Принципы формирования XML-файлов для хранения баз вопросов компьютерных систем тестирования. Основными понятиями структуры данных для компьютерных систем тестирования знаний по спецификации QTI. Структура элементов "Item", "section", "assessment".

    статья, добавлен 20.01.2018

  • Программирование на языке С#. Описание элементов управления, используемых в процессе создания программы. Доступ к отдельным знакам, извлечение подстрок. Инициализация пустых строк. Листинг программы, примеры использования ее для тестирования знаний.

    контрольная работа, добавлен 12.03.2013

  • Характеристика объекта автоматизации. Состав и содержание работ по созданию системы тестирования "Регулярные языки". Требования к содержанию работ по подготовке объекта автоматизации к вводу системы в эксплуатацию. Описание информационного обеспечения.

    курсовая работа, добавлен 16.11.2013

  • История развития микропроцессоров семейства Intel. Pentium как точка отсчета, основная проблема на пути повышения производительности. Возможности суперскалярной архитектуры P6, системы на его основе. P6 как платформа для построения мощных серверов.

    реферат, добавлен 26.06.2010

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

    курсовая работа, добавлен 30.01.2016

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

    статья, добавлен 15.07.2018

  • Характеристики микропроцессоров и их составляющие. Обзор крупнейших фирм производителей микропроцессоров. История разработки микропроцессоров фирм Intel. Создание базы данных в MS Access и Excel, форм для ввода информации в базу, формирование отчетов.

    курсовая работа, добавлен 13.07.2010

  • Тестирование на соответствие заданной спецификации как наиболее стандартизированный и широко распространенный метод проверки корректности реализации протокола. Знакомство с методикой тестирования конформности реализаций протоколов информационного обмена.

    статья, добавлен 25.08.2020

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

    статья, добавлен 24.11.2016

  • Разработка технологии автоматизированного нагрузочного тестирования банковской платежной системы методом "черного ящика" на стадиях жизненного цикла: эксплуатация, сопровождение, развитие. Анализ результатов сокращения издержек при выполнении процесса.

    дипломная работа, добавлен 25.06.2017

  • Процесс нагрузочного тестирования, понятия и определения. Реализация процесса тестирования в банковской сфере, телекоммуникационных компаниях. Проектирование автоматизированной системы построения тестовых сценариев. Дизайн пользовательского интерфейса.

    курсовая работа, добавлен 01.07.2017

  • Изучение структуры, характеристики и архитектуры 32-разрядных микропроцессоров, выбор показателей для их оценки. Сравнительная оценка структур и архитектур совместимых 32-разрядных микропроцессоров, анализ перспектив развития персональных компьютеров.

    курсовая работа, добавлен 16.01.2010

  • Структурный анализ бизнес-процесса и построение модели деятельности "как есть". Разработка алгоритма построения имитационного модуля производственного процесса с помощью дискретно-событийного моделирования и системной динамики на основе CASE-средств.

    дипломная работа, добавлен 22.02.2015

  • Характеристика принципов тестирования и отладки программ. Основные цели и задачи проведения тестов. Проверка работы пользовательских интерфейсов. Процесс нахождения и исправления ошибок, связанных с неправильным указанием логических страниц данных.

    курсовая работа, добавлен 31.03.2015

  • Анализ предметной области и выбор среды разработки программного обеспечения. Построение концептуальной, логической и физической моделей базы данных. Проектирование интерфейса и тестирование приложения "Информационная система составления тестирования".

    курсовая работа, добавлен 29.02.2020

  • UML-диаграмма вариантов использования приложения тестирования для специалистов по защите информации. Проектирование интерфейса пользователя. Модульное и интеграционное тестирование программного обеспечения. Тестирование методом черного и белого ящика.

    курсовая работа, добавлен 30.01.2019

  • Рассмотрение и характеристика специфических особенностей и перспектив дистанционного формата оценивания компетенций через сравнительный анализ с развитием классических шахмат. Определение необходимости переосмысления роли и места онлайн-тестирования.

    статья, добавлен 27.04.2021

  • Автоматизация вспомогательных процессов, возникающих при разработке мобильных приложений для операционной системы IOS. Описание и основные положения template-based подхода к мобильной разработке. Программа автоматизации процессов создания и настройки.

    дипломная работа, добавлен 27.08.2016

  • Разработка и отладка обобщенных автоматов, формальных грамматик, реализация синтаксического анализа, а также решение практических вопросов проектирования программных продуктов. Отладка разработанной грамматики для метода параллельного предшествования.

    курсовая работа, добавлен 25.11.2010

  • Тестирование - один из важнейших этапов проверки качества разработанного программного обеспечения. Виды тестирования: структурное, сборочное, функциональное, регрессивное, нагрузочное и стрессовое. Международный стандарт составления плана тестирования.

    статья, добавлен 12.12.2012

  • Специфика профессии тестировщика, его обязанности и задачи, необходимые ему знания и навыки. История развития тестирования программного обеспечения. Определение целей и направления тестирования уровня производительности программного обеспечения.

    доклад, добавлен 26.12.2014

  • Нефтеперерабатывающие предприятия как объекты логистики. Проблемы группирования продуктов и смешивания различных типов сырья. Инструментальные средства имитационного моделирования и механизмы формирования системного времени. GPSS как язык моделирования.

    курсовая работа, добавлен 26.05.2015

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.