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