Задача разработки SAT-решателя для поиска верификационных наборов в тестировании программного обеспечения
Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
Подобные документы
Формирование функциональной модели процесса. Выбор языка программирования и среды разработки. Разработка тестовых наборов для учета кадров для банка. Алгоритм работы программного средства. Документирование процесса разработки программного средства.
курсовая работа, добавлен 10.10.2017Инструкция по инсталляции программного обеспечения, по использованию тестовых наборов, по эксплуатации программного комплекса и панели администрирования. Расчет расходов на оплату труда, амортизационных отчислений. Составление сметы затрат на проект.
дипломная работа, добавлен 02.10.2014Анализ жизненного цикла программного обеспечения. Описание этапов технологии разработки программного обеспечения. Определение понятий "действие", "процесс" и "стадия". Анализ наборов технологических процессов и видов формирования технологических стадий.
презентация, добавлен 06.09.2017Применение процедур локальной аппроксимации для решения задачи классификации траекторий на основе критериев точечного сходства. Представление рядов в виде матричных наборов данных и применение алгоритма нечетких средних для их дальнейшей кластеризации.
статья, добавлен 27.02.2019Формирование требований к подсистеме генерации тестовых заданий в системе дистанционного образования. Типы и формы тестовых заданий, этапы разработки компьютерных тестов. Виды дистанционного обучения. Проектирование и программная реализация подсистемы.
курсовая работа, добавлен 28.08.2012Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
статья, добавлен 11.07.2018Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
автореферат, добавлен 02.05.2018Анализ методов и средств генерации тестовых программ. Разработка языка для шаблонов, позволяющего описывать их структурные и поведенческие свойства. Архитектура расширяемого генератора для микропроцессоров с возможностью интегрировать разные техники.
автореферат, добавлен 02.05.2018- 9. Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров
Функциональная верификация микропроцессоров. Анализаторы формальных спецификаций. Генераторы кода и библиотеки моделирования. Техники генерации тестовых программ. Спецификации архитектуры, язык описания шаблонов. Размещение команд и данных в памяти.
диссертация, добавлен 11.06.2018 Модификация непрерывного метода поиска глобального минимума вещественного функционала, ассоциированного с задачей выполнимости булевых формул. Проектирование вещественных переменных в булевы. Метод простой итерации. Тестирование байесовского подхода.
статья, добавлен 02.02.2019Исследование существующих алгоритмов и программного обеспечения для генерации искусственных биометрических образов. Разработка алгоритма генерации искусственных отпечатков пальцев на основе преобразования Габора и его экономико-правовое обоснование.
дипломная работа, добавлен 22.07.2014Тестирование с применением средств автоматической генерации тестов, входящие в состав современных САПР, которые используются при проектировании цифровых устройств на основе элементной базы. Требования к временным характеристикам тестовых сигналов.
статья, добавлен 08.12.2018Использование унифицированной структуры программного представления конечного автомата. Моделирование поведения программы на стадиях разработки. Применение автоматической генерации кода по формальному описанию алгоритма. Нотация диаграмм состояний UML.
статья, добавлен 10.03.2018Инструменты для профессиональной разработки программ. Основные арифметические операторы MPASM. Используемые по умолчанию назначения расширений файлов. Абсолютный код программы. Моделирование внешних тестовых событий. Программирование учебных задач.
лекция, добавлен 25.06.2013Постановка классической задачи о рюкзаке. Основные способы решения задачи комбинаторной оптимизации. Выбор алгоритма решения задач и определение его сложности. Построение математической модели решения задач. Описание процедур и функций программ.
курсовая работа, добавлен 08.12.2014Компьютеры как машины для решения вычислительных задач с помощью заданных наборов программ, знакомство с историей создания. Рассмотрение средств обмена информацией между компьютером и внешней средой. Особенности процесса кодирования изображения.
курсовая работа, добавлен 26.02.2020Исследование целей и основных принципов организации тестирования программ. Рассмотрение технических требований к тестированию программного обеспечения. Характеристика объектов, методов и средств тестовых проверок, определение особенностей их видов.
реферат, добавлен 25.04.2014- 18. Оценка трудозатрат на создание тестовой документации в процессе разработки программного обеспечения
Информация о тестовых документах и подходов в тестировании. Оценка трудозатрат на тестирование по документации на уровне декомпозиции. Оценка тест кейсов и отчетов об ошибках. Общее устранение дефектов. Эффективность автоматизированного тестирования.
дипломная работа, добавлен 24.10.2017 Обзор методологии решения задач выполнимостей аппаратной реализации в системах автоматизированного проектирования и искусственного интеллекта. Построение алгоритма локального стохастического поиска. Разработка конфигурирования программного средства.
статья, добавлен 02.09.2013Структура информационного и программного обеспечения. Создание проекта типа Windows Application. Средства навигации и редактирования для таблицы, проверка правильности данных на уровне ячейки, строки. Автоматизация действий при добавлении элемента данных.
курсовая работа, добавлен 02.06.2017- 21. Разработка параллельного алгоритма нахождения оптимального решения транспортной задачи на кластере
Подходы к решению транспортной задачи с помощью параллельных алгоритмов. Экспериментальные данные, полученные при выполнении параллельных алгоритмов нахождения решения транспортной задачи на кластере. Подходы к распараллеливанию методов решения задачи.
статья, добавлен 28.05.2017 Решение задач векторной оптимизации. Компьютерные системы поддержки принятия решений, специфические черты, подходы к созданию, область применения. Пример поиска решения с помощью MS Excel. Создание и оценка наборов сценариев для оптимального решения.
контрольная работа, добавлен 20.01.2012Особенности использования LuxRender как фотореалистичного рендера, ограничение качества в тестировании. Линейная зависимость времени выполнения тестовых задач от частоты ядер процессора во всех трех рендерах: POV-Ray 3.7, LuxRender 1.6 и Вlender 2.77a.
статья, добавлен 18.03.2019- 24. Об использовании контрольных данных в системе обеспечения качества сложных информационных систем
Характеристика современных методов управления и контроля тестовых данных, выявление их преимуществ и недостатков. Описание проблемы управления тестовыми данными. Применение методов контроля тестовых данных при тестировании сложных информационных систем.
статья, добавлен 07.11.2018 Оценка знаний в сфере профессионального обучения. Описание процесса формирования тестовых заданий. Структура обеспечивающих средств для реализации и внедрения предлагаемых новшеств. Анализ технического, информационного и программного обеспечения.
дипломная работа, добавлен 08.10.2018