Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
Разработка метода автоматизации модульного и системного тестирования микропроцессоров на основе формальных спецификаций. Масштабирование имитационного тестирования на микропроцессоры с конвейерной архитектурой, его использование в промышленных проектах.
Подобные документы
Нефтеперерабатывающие предприятия как объекты логистики. Проблемы группирования продуктов и смешивания различных типов сырья. Инструментальные средства имитационного моделирования и механизмы формирования системного времени. GPSS как язык моделирования.
курсовая работа, добавлен 26.05.2015Понятие дистанционного образования. Электронные учебно-методические ресурсы: электронные учебники, виртуальные лаборатории. Тестирующие комплексы на примере Межвузовского центра тестирования УГПИ. Создание единой системы дистанционного образования в РФ.
реферат, добавлен 24.08.2009Рассмотрение результатов исследования имитационного моделирования обучающих комплексов. Использование моделирования в дистанционном обучении. Разработка обучающего комплекса из обучающей и информационно-поисковой систем по принципу клиент-сервер.
статья, добавлен 12.05.2014Использование системы имитационного моделирования FlexSim Healthcare в здравоохранении. Рассмотрение объектов, используемых для создания 3D-модели. Описание взаимодействия пациентов и сотрудников в модели. Эффективность имитационного моделирования.
статья, добавлен 30.04.2018Тестирование программного обеспечения, предпосылки и основные методы его проведения. Экспериментальное определение фактических (достигнутых) характеристик свойств как цель испытания. Инструменты тестирования, сертификация программного обеспечения.
курсовая работа, добавлен 15.07.2012Выявление особенностей тестирования учащихся в информационных обучающих системах. Использование адаптивного человекомашинного интерфейса. Алгоритм взаимодействия ученика и учителя с интерфейсом системы "Тестирование знаний". Онтологический подход.
статья, добавлен 30.01.2017История развития тестирования программного обеспечения и современные достижения в данной сфере. Системные и пользовательские требования, атрибуты качества. Виды тестирования по степени знания кода. Тестирование мобильных приложений на базе ОС Android.
дипломная работа, добавлен 04.11.2015Виды тестирования и его структура. Основная характеристика теста. Этапы разработки проекта. Создание проекта на Visual Basic. Визуальное программирование. Второй этап, задание значений свойствам объектов. Программный код. Описание программного кода.
курсовая работа, добавлен 26.07.2008Выбор технологий и инструментальных средств разработки информационной системы отдела тестирования программного обеспечения. Проектирование архитектуры и аппаратной подсистемы данного приложения. Таблицы базы данных и реализация интерфейса пользователя.
дипломная работа, добавлен 12.06.2013Изучение целей метода имитационного моделирования - экспериментального метода исследования реальной системы по ее имитационной модели, который сочетает особенности экспериментального подхода и специфические условия использования вычислительной техники.
реферат, добавлен 24.01.2012Основные разновидности процесса моделирования. Построение сети на основе компьютеров, коммуникационных устройств, операционных систем и приложений. Развитие компьютерного имитационного моделирования. Процесс построения моделей в программных продуктах.
реферат, добавлен 12.07.2015Программа "АСКОЗ" как мощный инструмент комплексной оценки знаний учащихся по различным дисциплинам в форме тестирования. Формирование специальных тестовых заданий для индивидуального удаленного тестирования с использованием упрощенной версии программы.
статья, добавлен 15.08.2020Актуальность внедрения компьютерных технологий в образовательный процесс. Функции преподавателя в процессе оценки знаний, умений и навыков у учащихся с применением компьютерного тестирования. Программные комплексы для диагностики и контроля знаний.
курсовая работа, добавлен 24.02.2015Разработка методики автоматизации и управления потоками работ в системе дистанционного зондирования Земли на основе технологии Workflow Описание объектной модели ядра управления системой ДЗЗ с применением объектного графического языка моделирования UML.
статья, добавлен 29.04.2018Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
статья, добавлен 28.02.2016Рассмотрение характеристик систем online-тестирования знаний. Исследование особенностей интерактивной технологии, используемой для получения ответов обучаемого. Выбор серверного языка, базы данных при использовании автоматизированных систем тестирования.
статья, добавлен 17.01.2018Понятие имитационного моделирования. Этапы процесса построения математической модели. Имитационное моделирование воспроизводственных процессов в нефтегазовой промышленности. Метод Монте-Карло как разновидность моделирования, примеры типовых задач.
курсовая работа, добавлен 23.06.2015Исследование модифицированной модели процесса тестирования программных средств управления предприятием, которая показывает возможность значительно снизить затраты и время на их реализацию. Критерии выбора программного обеспечения для установки на сервер.
статья, добавлен 16.08.2018Разработка теоретических принципов и методов повышения эффективности автоматизации учреждений высшего профессионального образования. Методы автоматизации процессов, доступ к ресурсам вуза, интеграция данных и приложений, единая комплексная модель системы.
автореферат, добавлен 04.02.2018- 120. Архитектура системы имитационного моделирования грузопотока в калийных рудниках – ПК "Рудопоток"
Разработка системы имитационного моделирования по добыче и транспортировке руды в подземной части калийных шахт. Отличительные особенности предложенной модели. Архитектура программной реализации ПК "Рудопоток". Средства имитационного моделирования.
реферат, добавлен 26.04.2019 Информационные системы: основные понятия и определения. Объекты автоматизации в концепции организации. Методологические основы применения метода имитационного моделирования. Характеристика изучения теории искусственного интеллекта в настоящее время.
контрольная работа, добавлен 13.04.2016Основные этапы процесса нагрузочного тестирования. Изучение типовых сценариев эксплуатации. Характеристика идентификации элемента в дереве. Суть модели функциональности системы управления иерархическими данными. Роль программы в процессе тестирования.
статья, добавлен 06.01.2020- 123. Автоматизированная система анализа психологического состояния личности по результатам тестирования
Выбор и обоснование среды разработки и языка программирования. Расчет целесообразного объема продаж и оценка безубыточности. Обеспечение безопасности автоматизированной системы анализа психологического состояния личности по результатам тестирования.
дипломная работа, добавлен 01.10.2017 Применение объектно-ориентированного подхода к разработке системы регрессионного тестирования компиляторов на компьютерах серий "Эльбрус-3m" и "МЦСТ-R". Контроль качества программного обеспечения. Архитектура системы автоматизированного тестирования.
статья, добавлен 27.11.2018Анализ средств тестирования, мониторинга, аккаунтинга высокопроизводительных распределенных вычислительных сетей на примере инфраструктуры Украинского национального грида. Способы обеспечения информацией грид-пользователей системами мониторинга.
статья, добавлен 29.08.2016