Задача разработки SAT-решателя для поиска верификационных наборов в тестировании программного обеспечения
Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
Подобные документы
Характеристика понятия дистанционного обучения. Изучение методов решения задачи информационного взаимодействия Центра оценки качества с Учебным центром дистанционного обучения в тестировании электронных курсов. Анализ технологии разработки курсов.
курсовая работа, добавлен 03.10.2017Разработка алгоритма для решения задачи о распределении скалярного потенциала под действием постоянного тока. Создание программ для решения однородного эллиптического уравнения с краевыми условиями Дирихле и Неймана для гетерогенных сред геометрии.
дипломная работа, добавлен 06.06.2017Характеристика операций, выполняемых с нечеткими множествами при эквивалентности, включение и объединении нечетких множеств. Формульное выражение алгебраического произведения и суммы совокупности нечетких наборов чисел. Понятие нечетких алгоритмов.
лекция, добавлен 21.10.2013Особенности системного и прикладного программного обеспечения. Рассмотрение основных функций операционной системы. Анализ программного обеспечения, предназначенного для разработки программ. Системы контроля и диагностики. Пакеты прикладных программ.
презентация, добавлен 14.03.2016Понятие информационной модели. Способы описания прикладной задачи с помощью языков программирования. Автоматизированная разработка алгоритма. Правила именования данных, функций и процедур; операции, операнды и выражения. Построение блок-схемы алгоритма.
учебное пособие, добавлен 09.12.2014Шаги алгоритма классификации Кланш и Клара, их предназначение для решения задачи многокритериальной порядковой классификации. Построение баз экспертных знаний для интеллектуальных обучающих систем. Оптимальная расшифровка монотонных булевых функций.
статья, добавлен 18.01.2018Методы разработки алгоритмов обнаружения знаний в базах данных как базового подхода выделения значимых образцов (шаблонов) в структуре больших наборов данных. Две группы алгоритмов обнаружения знаний. Подход в области обнаружения знаний в базах данных.
статья, добавлен 29.12.2020Описание методики создания базы данных в СУБД 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- 121. Разработка и анализ алгоритма сортировки посредством выбора на основе разработки шаблона функции C++
Анализ существующих методов сортировки, обоснование результатов тестирования рассматриваемого алгоритма, исследование приоритетов данного алгоритма и методов его реализации, разработка шаблонов функций C++, сортировка данных посредством простого выбора.
курсовая работа, добавлен 13.06.2012 Разработка программного обеспечения для решения задач поиска кратчайшего пути между вершинами графа на языке программирования Delphi с помощью алгоритма Дейкстры. Достоинства динамических массивов, понятия теории графов, представление графов на ЭВМ.
курсовая работа, добавлен 07.06.2011Проблемы теоретико-числовых алгоритмов. Алгоритм нахождения делителей многочлена в кольце. Алгоритм, доказывающий непростоту числа. Проверка большого числа на простоту. Практическая реализация алгоритма. Форма нахождения простых чисел и генерации ключей.
дипломная работа, добавлен 26.02.2020- 124. Очередь
Очередь как линейный список информации, работа с которой происходит по принципу FIFO. Зацикленная очередь. Сортировка (упорядочение наборов однотипных данных). Сложность алгоритмов. Общие методы внутренней сортировки (обменами, выборкой, вставками).
лекция, добавлен 24.07.2014 Бизнес-процессы системы автоматической генерации онтологических моделей на основе структурированного текста. Описание программной разработки системы в виде скриншотов и результаты оценки эффективности реализованных методов автоматического построения.
статья, добавлен 18.07.2018