Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
Подобные документы
Определение сетевой модели тестирования. Сетевая алгоритмическая модель, основанная на иерархической композиции модели тестирования и модели эволюций, использующая тестовые контрольные, транспортные фрагменты экспериментов для компонентных автоматов сети.
статья, добавлен 22.12.2016Подход к разработке и программной реализации инструментальной системы (среды) для проектирования, тестирования и реализации торговых алгоритмов. Способы получения и передачи данных от торгового терминала в среду и наоборот; обзор программных средств.
статья, добавлен 07.03.2019Понятие и обоснование необходимости систем компьютерного тестирования. Анализ существующих разработок и обоснование выбора технологии проектирования. Выбор технического и программного обеспечения. Разработка тестовой оболочки в среде Visual Basic.
дипломная работа, добавлен 05.02.2018Обзор среды разработки Beremiz. Структура прикладной программы, отладка и управления ею с помощью элементов человеко-машинного интерфейса. Использование кросс-компилятора архитектуры SPARC из среды Windows. Управление прикладной программой из браузера.
доклад, добавлен 27.11.2018Основные признаки Parallel Vector Process, параллельной архитектуры с векторными процессорами. Программирование на PVP-системах. Развитие микроэлектронных технологий и суперкомпьютеров с векторно-конвейерной архитектурой. Способности оперативной памяти.
контрольная работа, добавлен 27.10.2014Анализ особенностей объективного тестирования с контролируемой экспериментальной ситуацией. Разработка подхода к организации профессионального тестирования технических специалистов, основанного на использовании специализированных биотехнических систем.
статья, добавлен 30.05.2017Характеристика психодиагностических методов оценки свойств личности. Разработка приложения, позволяющего автоматизировать процесс психологического тестирования особенностей типа личности по методике Айзенка, с обработкой результатов тестирования.
дипломная работа, добавлен 15.01.2012Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Разработка больших международных проектов по созданию ИИ-систем автоматизации всего процесса математического познания на основе доказательства теорем. Значение "сколемизации" формальных выражений и искажение семантики их неформальных прототипов.
статья, добавлен 17.01.2018Разработка структурной схемы стенда вероятностного некомпактного тестирования. Диагностирование, поиск и устранение неисправностей в глобальной сети. Расчет параметров временной диаграммы функционирования стенда. Разработка электрических схем блоков.
курсовая работа, добавлен 16.10.2015Автоматизация тестирования коммерческих программных продуктов. Методы многокритериальной оптимизации оценки экономической эффективности. Разработка приложений, соответствующих требованиям сервис-ориентированных архитектур. Информационное обеспечение.
дипломная работа, добавлен 13.04.2022Выбор типа сайта для организации, характеристика типов внутренних структур сайта. Разработка дизайна сайта, создание контактов и формы обратной связи. Отличительные черты основных методов тестирования. Специфика тестирования пользовательского интерфейса.
дипломная работа, добавлен 04.07.2018История развития микропроцессоров, архитектура Фон Неймана и суперскалярная архитектура. Основные характеристики микропроцессоров: тактовая частота, кэш память, разрядность, количество ядер. Энергопотребление и производительность современных процессоров.
реферат, добавлен 16.03.2019Основы биофизики организма человека. Структура поперечнополосатой мышцы, моделирование мышечного сокращения. Динамика движения крови в капиллярах. Анализ компьютерных систем тестирования по биофизике. Разработка алгоритма работы программы в среде Delphi.
дипломная работа, добавлен 23.01.2016Описание программного обеспечения для тестирования знаний. Алгоритм подведения итогов тестирования. Методика расчета относительной сложности вопросов. Аспекты, связанные с использованием нечеткой логики и с расчетом относительной сложности вопроса.
реферат, добавлен 27.10.2010- 66. Процессоры ЭВМ
Общая структура микропроцессора, его характеристики и наиболее важные параметры. Команды и основной алгоритм работы процессора, особенности работы его большой интегральной схемы. Направления в производстве микропроцессоров: с архитектурой RISC и СISC.
реферат, добавлен 11.06.2012 Характеристика элементов имитационного моделирования: источник заявки, устройство, узел. Описание функций генератора случайных чисел. Процесс автоматизации имитационного моделирования. Понятие сети Петри как средств математического описания процессов.
презентация, добавлен 13.12.2013Разработка алгоритма блока тестирования с учетом функции KeyPress. Этапы разработки пользовательского интерфейса. Обеспечение процесса ввода и вывода личных данных пользователя компьютерной программы. Общие требования к безопасности при работе ЭВМ.
дипломная работа, добавлен 08.03.2015Выбор языка программирования и среды разработки. Разработка логической структуры базы данных. Расчет объема оперативной и внешней памяти. Требования к информационной системе. Страница авторизации пользователя, прохождения тестирования студентом.
дипломная работа, добавлен 08.10.2018Тестирование программного обеспечения как средство выявления ошибок в работе программ. Исследование основных методов и принципы тестирования программных комплексов, применяемых в интересах оценивания и контроля безопасности автоматизированных систем.
статья, добавлен 07.03.2019Разработка технологии автоматизации тестирования учащихся, которая основана на использовании шаблонов тестов. Унифицированный язык моделирования UML - один из удобных инструментов проектирования сложных объектно-ориентированных программных приложений.
автореферат, добавлен 30.04.2018Использование метода анализа формальных понятий для данных с интервалами и графами. Сущность алгоритма Slope One, предназначение фильтрации содержимого и коллаборативной фильтрации. Характеристики и особенности подхода на основе узорных структур.
дипломная работа, добавлен 29.06.2016Создание, пополнение и совершенствование общей базы тестов вуза. Процесс тестирования, проходящий в программе Education Monitor. Интерфейс для взаимодействия с конечным пользователем. Основные элементы окна. Применение современных web-технологий.
статья, добавлен 19.01.2018Структура программы тестирования знаний. Характеристика ее программного обеспечения, операционной системы и языка программирования. Описание алгоритмов ее модулей. Разработка инструкции пользователя. Определение эффективности программного продукта.
курсовая работа, добавлен 20.07.2014Анализ алгоритмических средств разработки автоматизированной системы психологического тестирования сотрудников предприятия, работающих с несущими риск для здоровья инструментами. Функции системы: сохранение результатов тестирования, оценка теста.
статья, добавлен 01.02.2019