Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
Подобные документы
Способы тестирования и виды экспертных оценок программного модуля. Разработка алгоритма решения многокритериальной задачи оптимизации методом групповой линейной свертки, преимущества и недостатки. Межпрофессиональное взаимодействие 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.2020UML-диаграмма вариантов использования приложения тестирования для специалистов по защите информации. Проектирование интерфейса пользователя. Модульное и интеграционное тестирование программного обеспечения. Тестирование методом черного и белого ящика.
курсовая работа, добавлен 30.01.2019Рассмотрение и характеристика специфических особенностей и перспектив дистанционного формата оценивания компетенций через сравнительный анализ с развитием классических шахмат. Определение необходимости переосмысления роли и места онлайн-тестирования.
статья, добавлен 27.04.2021- 96. Программа автоматизации процессов создания, настройки, тестирования и распространения IOS приложений
Автоматизация вспомогательных процессов, возникающих при разработке мобильных приложений для операционной системы IOS. Описание и основные положения template-based подхода к мобильной разработке. Программа автоматизации процессов создания и настройки.
дипломная работа, добавлен 27.08.2016 Разработка и отладка обобщенных автоматов, формальных грамматик, реализация синтаксического анализа, а также решение практических вопросов проектирования программных продуктов. Отладка разработанной грамматики для метода параллельного предшествования.
курсовая работа, добавлен 25.11.2010Тестирование - один из важнейших этапов проверки качества разработанного программного обеспечения. Виды тестирования: структурное, сборочное, функциональное, регрессивное, нагрузочное и стрессовое. Международный стандарт составления плана тестирования.
статья, добавлен 12.12.2012Специфика профессии тестировщика, его обязанности и задачи, необходимые ему знания и навыки. История развития тестирования программного обеспечения. Определение целей и направления тестирования уровня производительности программного обеспечения.
доклад, добавлен 26.12.2014Нефтеперерабатывающие предприятия как объекты логистики. Проблемы группирования продуктов и смешивания различных типов сырья. Инструментальные средства имитационного моделирования и механизмы формирования системного времени. GPSS как язык моделирования.
курсовая работа, добавлен 26.05.2015