Задача разработки SAT-решателя для поиска верификационных наборов в тестировании программного обеспечения
Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
Подобные документы
Понятие информационной модели. Способы описания прикладной задачи с помощью языков программирования. Автоматизированная разработка алгоритма. Правила именования данных, функций и процедур; операции, операнды и выражения. Построение блок-схемы алгоритма.
учебное пособие, добавлен 09.12.2014Методы разработки алгоритмов обнаружения знаний в базах данных как базового подхода выделения значимых образцов (шаблонов) в структуре больших наборов данных. Две группы алгоритмов обнаружения знаний. Подход в области обнаружения знаний в базах данных.
статья, добавлен 29.12.2020Шаги алгоритма классификации Кланш и Клара, их предназначение для решения задачи многокритериальной порядковой классификации. Построение баз экспертных знаний для интеллектуальных обучающих систем. Оптимальная расшифровка монотонных булевых функций.
статья, добавлен 18.01.2018Описание методики создания базы данных в СУБД MS ACCESS 2013 и объединение шаблонов с программой Delphi 7 для удобного нахождения информации о том или ином товаре. Изучение особенностей среды программирования Delphi для разработки прикладных программ.
курсовая работа, добавлен 27.11.2014Создание микропроцессорных наборов. Высокая производительность, малые габаритные размеры и энергопотребление, эргономичность микропроцессоров. Выбор микропроцессора, схема подключения памяти к шинам, ввод-вывод данных, цикл записи во внешнее устройство.
курсовая работа, добавлен 16.06.2015Определение понятия алгоритмизации задачи – процесса разработки алгоритма решения задачи с помощью компьютера на основе ее условия и требований к конечному результату. Ознакомление с предназначением микропроцессора (центрального блока компьютера).
реферат, добавлен 26.05.2014Задачи, определяющие структуру данных. Эффективный алгоритм построения AVL-дерева. Схема карандашного описания алгоритма, его реализация. Структура данных. Синтез эффективной исследовательской программы. Научный интерес и алгоритм поиска процедур.
статья, добавлен 14.04.2016Разработка решения задачи поиска оптимального маршрута в корпоративной сети, действующий на основе теории нечеткой логики Тагаки-Сугено. Проектирование программы, моделирующей процесс нахождения кратчайшего пути в пакете Fuzzy logic Toolbox среды MatLab.
статья, добавлен 30.01.2016Последовательное исключение неизвестных как принцип работы метода Гаусса для решения систем линейных уравнений. Краткое описание среды визуальной разработки Borland Delphi. Характеристика основных процедур и алгоритма работы программного приложения.
курсовая работа, добавлен 14.04.2016Распространение методологии экстремального программирования. Постановка и решение задачи о назначениях. Использование модифицированного "венгерского" алгоритма. Разработка матрицы времени выполнения работ. Проверка временной сложности алгоритма.
статья, добавлен 02.11.2018Формирование требований к подсистеме анализа ответов в открытой форме тестовых заданий, технология проектирования компьютерных тестов предметной области, определение архитектуры подсистемы и анализ способов ее внедрение в образовательный процесс.
курсовая работа, добавлен 16.08.2012Анализ существующих систем для планирования и контроля мероприятий предприятия. Изучение области с целью нахождения путей модернизации. Обоснование выбора среды разработки программного продукта. Руководство пользователя, различия в алгоритмах работы.
дипломная работа, добавлен 07.08.2018Модели жизненного цикла программного обеспечения. Системы мониторинга задач и отслеживания ошибок. Классификация задач и программных ошибок. Системы сопровождения разработки программ. Анализ организации работы над проектами в компании "ЭПАМ Системз".
отчет по практике, добавлен 26.03.2012Моделирование процессов разработки программного обеспечения с использованием объекта-модели. Составление спецификации требований, которая лежит в основе модели продукта, дальнейшее его кодирование. Стандартный процесс разработки программного продукта.
статья, добавлен 06.05.2019Виды программного обеспечения. Разработка алгоритма решения задачи на компьютере, написание программы на алгоритмическом языке. Создание матрицы по заданным параметрам с помощью генератора случайных чисел, визуализация вывода ее элементов на экран.
контрольная работа, добавлен 03.12.2022Исследование вопросов прогнозирования многопараметрических систем. Анализ методик решения задач мониторинга и прогнозирования состояния различных технических объектов. Разработка алгоритма поиска оптимальной модели, обоснование его эффективности.
статья, добавлен 28.04.2017- 117. Разработка и анализ алгоритма сортировки посредством выбора на основе разработки шаблона функции C++
Анализ существующих методов сортировки, обоснование результатов тестирования рассматриваемого алгоритма, исследование приоритетов данного алгоритма и методов его реализации, разработка шаблонов функций C++, сортировка данных посредством простого выбора.
курсовая работа, добавлен 13.06.2012 Разработка программного обеспечения для решения задач поиска кратчайшего пути между вершинами графа на языке программирования Delphi с помощью алгоритма Дейкстры. Достоинства динамических массивов, понятия теории графов, представление графов на ЭВМ.
курсовая работа, добавлен 07.06.2011Проблемы теоретико-числовых алгоритмов. Алгоритм нахождения делителей многочлена в кольце. Алгоритм, доказывающий непростоту числа. Проверка большого числа на простоту. Практическая реализация алгоритма. Форма нахождения простых чисел и генерации ключей.
дипломная работа, добавлен 26.02.2020- 120. Очередь
Очередь как линейный список информации, работа с которой происходит по принципу FIFO. Зацикленная очередь. Сортировка (упорядочение наборов однотипных данных). Сложность алгоритмов. Общие методы внутренней сортировки (обменами, выборкой, вставками).
лекция, добавлен 24.07.2014 Бизнес-процессы системы автоматической генерации онтологических моделей на основе структурированного текста. Описание программной разработки системы в виде скриншотов и результаты оценки эффективности реализованных методов автоматического построения.
статья, добавлен 18.07.2018Математическая генетика: ее история. Основные понятия генетического алгоритма, его этапы, область применения. Поиск численного решения целевой функции с использованием генетического алгоритма: постановка задачи, реализация решения задачи на С++.
курсовая работа, добавлен 22.05.2017Модульное тестирования отдельных функций системы, методы ввода параметров. Написание тестов для стабилизации и сокращения времени отладки. Тройная процедура тестирования в соответствии с числом наборов параметров для тестирования в методе sumValues.
лабораторная работа, добавлен 18.01.2014Особенности разработки программного обеспечения для системы комплексного учета, регистрации и анализа потребления энергоресурсов и воды промышленными предприятиями и объектами ЖКХ. Задача объединения разрозненных аппаратных компонентов в единое целое.
дипломная работа, добавлен 30.07.2017Взаимосвязь надежности аппаратного и программного обеспечения. Основные подходы к реализации мультиверсионности программного модуля. Оценка трудозатрат и стоимость разработки программного обеспечения. Основные варианты использования программных систем.
статья, добавлен 12.03.2019