Задача разработки SAT-решателя для поиска верификационных наборов в тестировании программного обеспечения
Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
Подобные документы
Общая постановка задачи линейного программирования. Задача об использовании ресурсов (задача планирования производства). Решение поставленной задачи с помощью программного пакета Excel. Анализ результатов расчетов и выработка управленческого решения.
курсовая работа, добавлен 01.02.2014Цель курсовой - применение на практике знаний, полученных в процессе освоения теоретического курса и лабораторного практикума по дисциплине "Программирование", приобретение практических навыков разработки программного обеспечения информационных систем.
курсовая работа, добавлен 06.05.2024Алгоритм решения системы уравнений и построения Лемнискаты Бернулли методом итераций. Построение структуры программного обеспечения, выбор языка программирования Turbo Pascal для решения задачи. Описание интерфейса приложения и диалога с пользователем.
курсовая работа, добавлен 05.05.2014Риски распределенной разработки. Классификации различных рисков, возникающих в процессе разработки программного обеспечения. Распределенная разработка – тип разработки, позволяющий членам команды находиться в различных местах во время жизненного цикла ПО.
статья, добавлен 19.12.2017Разработка программного комплекса, синтезирующего работу оптических преобразователей линейного перемещения на малых расстояниях. Оценка влияния компонентов датчика на функцию преобразования. Выбор инструментов для разработки программного обеспечения.
дипломная работа, добавлен 19.08.2020Подходы к решению транспортной задачи с помощью параллельных алгоритмов. Схема последовательного алгоритма нахождения опорного плана методом штрафов. Зависимость ускорения поиска опорного плана от количества процессоров при различной размерности задач.
статья, добавлен 10.06.2015Описание дистинктивных характеристик и особенностей метода цифровых моделей-двойников в правовой науке и практике, его цели и возможности его применения. Разработка универсальных платформ и прототипов, шаблонов, форматов, матриц и наборов инструментариев.
статья, добавлен 22.11.2021Средства разработки программного обеспечения. Идентификация и структурирование информационного пространства. Описание интерфейса программного обеспечения. Алгоритмы реализации запросов и поиска информации. Схема базы данных и диаграмма потоков данных.
курсовая работа, добавлен 31.07.2012Описание процесса разработки программного модуля для проектирования деловых игр на языке C#. Механизмы генерации логической схемы алгоритма и модели учебного бизнес-процесса. Проектирование программного редактора автоматной и операционной моделей.
дипломная работа, добавлен 30.08.2016Среда разработки Microsoft Visual C# как инструмент разработки приложений. Анализ предметной области, этапа проектирования и полученных результатов при тестировании. Системные программные средства. Проектирование порождающего шаблона "Singleton".
курсовая работа, добавлен 23.02.2016- 86. Программная платформа для шаблонов проектов с интеграцией сервисов в среду быстрого обмена сообщений
Анализ существующих наборов инструментов для интеграции с современными средами быстрого обмена сообщений. Архитектура сервисов и инструменты их создания. Выбор средств для разработки приложения. Расчет вычислительной сложности приложения в худшем случае.
дипломная работа, добавлен 12.06.2023 Построение блок-схем, содержащих логические выражения в Microsoft Vision. Разработка программы на языке Паскаль. Описание алгоритма решения задачи графическим способом. Особенность тестирования программы. Главная характеристика построения блок-схемы.
практическая работа, добавлен 23.12.2018Определение программного обеспечения как совокупности программ, предназначенных для решения задач на ПК. Три категории программного обеспечения. Анализ методов использования прикладных программ автономно или в составе программных комплексов или пакетов.
контрольная работа, добавлен 21.11.2011- 89. Обработка графов
Решение прикладных задач при помощи процедур анализа графовых моделей. Задачи поиска кратчайших путей на основе алгоритма Флойда и нахождения минимального охватывающего дерева. Масштабирование и распределение подзадач обработки графов по процессорам.
лекция, добавлен 17.09.2013 Анализ поиска решения задачи о назначении с помощью табличного процессора Microsoft Excel. Построение матричной модели, особенности интерфейса и заполнения данных диалоговых окон программного обеспечения. Этапы выполнения команды поиска решений задачи.
контрольная работа, добавлен 26.03.2015Жизненный цикл программного обеспечения компьютерных систем. Технологическая и эксплуатационная безопасность программ. Доказательства правильности программ и их спецификаций. Анализ безопасности программного обеспечения, целостности программного кода.
книга, добавлен 15.09.2012Разработка программного обеспечения и описание архитектуры разработанной системы мониторинга и управления лесными ресурсами на базе программного обеспечения с открытым исходным кодом. Обзор технологий, используемых для решения поставленной задачи.
статья, добавлен 27.05.2018Анализ классического алгоритма яркостного контрастирования. Описание результатов применения оригинального программного продукта в сравнении с фирменным. Разработка программного обеспечения для корректной реализации яркостно-контрастного преобразования.
статья, добавлен 07.11.2018Продуктивность модели Леонтьева. Построение неотрицательного решения в модели Леонтьева методом простой итерации. Обоснование программного обеспечения. Разработка алгоритма решения балансовой модели методом итерации. Примеры использования программы.
дипломная работа, добавлен 26.07.2018Причины, которые значительно усложняют поддержку и развитие крупных программных продуктов. Определение схожести фрагментов кода. Процесс поиска клонов. Основные операции во время кодирования. Нативный алгоритм сравнения. Способы оптимизации алгоритма.
статья, добавлен 10.08.2018Блок-диаграмма начального этапа разработки программного приложения. Парсинг - синтаксический анализ участка кода с целью работы с конкретными его частями. Методы решения проблемы ограничения частоты параллельной отправки запросов на различные сайты.
курсовая работа, добавлен 01.07.2017Характеристика понятия дистанционного обучения. Изучение методов решения задачи информационного взаимодействия Центра оценки качества с Учебным центром дистанционного обучения в тестировании электронных курсов. Анализ технологии разработки курсов.
курсовая работа, добавлен 03.10.2017Разработка алгоритма для решения задачи о распределении скалярного потенциала под действием постоянного тока. Создание программ для решения однородного эллиптического уравнения с краевыми условиями Дирихле и Неймана для гетерогенных сред геометрии.
дипломная работа, добавлен 06.06.2017Характеристика операций, выполняемых с нечеткими множествами при эквивалентности, включение и объединении нечетких множеств. Формульное выражение алгебраического произведения и суммы совокупности нечетких наборов чисел. Понятие нечетких алгоритмов.
лекция, добавлен 21.10.2013Особенности системного и прикладного программного обеспечения. Рассмотрение основных функций операционной системы. Анализ программного обеспечения, предназначенного для разработки программ. Системы контроля и диагностики. Пакеты прикладных программ.
презентация, добавлен 14.03.2016