Задача разработки SAT-решателя для поиска верификационных наборов в тестировании программного обеспечения
Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
Подобные документы
Обзор методов исследования вегетационного периода. Определение тестовых участков. Анализ и исключение промахов временных рядов. Разработка программного обеспечения для автоматического расчета на определенной территории. Получение карты начала вегетации.
статья, добавлен 29.04.2018Анализ множеств и свойств комбинаторики. Разработка программного обеспечения путем написания алгоритма генерации перестановок множества в лексикографическом порядке. Описание алгоритма решения поставленной задачи, пример ручного расчета и вычислений.
статья, добавлен 22.02.2019Ознакомление с методами максимального сжатия объёма тестового словаря в схеме bist. Рассмотрение и характеристика особенностей функциональной схемы встроенного самотестирования. Определение необходимости автоматизированной генерации входных наборов.
статья, добавлен 30.01.2016Граф - совокупность непустого множества вершин и наборов связей между ними. Разработка программы, которая реализует процедуру нахождения остова наименьшего веса. Алгоритм топологической сортировки сети и его реализация в программном комплексе Maple.
курсовая работа, добавлен 18.12.2017Разработка программного комплекса, предназначенного для построения и описания согласованных наборов пиктограмм, базирующегося на разработанных средствах их семантического описания. Рассмотрение средств семантической разметки пиктограмм в веб-документах.
автореферат, добавлен 31.10.2012Разработка эффективных алгоритмов реализации интерактивного анализа данных, автоматического поиска частых наборов и правил в данных, основанных на использовании префиксного дерева. Порядок построения алгоритмов удобного просмотра извлечённых правил.
автореферат, добавлен 25.07.2018Разработка метода автоматизации конструирования генераторов тестовых программ для микропроцессоров широкого спектра микропроцессорных архитектур на основе формальных спецификаций. Программный инструмент, реализующий метод автоматизации конструирования.
автореферат, добавлен 02.05.2018Закрепление знаний о простейших операциях и операторах языка С++. Разработка алгоритма и программы для решения поставленной задачи. Проверка работоспособности созданной программы на тестовых данных. Определение принадлежности точки одной из областей.
лабораторная работа, добавлен 22.09.2015Задача нахождения максимального потока минимальной стоимости в нечеткой динамической транспортной сети. Формальный алгоритм решения данной задачи. Численный пример, реализующий работу алгоритма. Актуальность и практическая ценность данного алгоритма.
статья, добавлен 30.05.2017Анализ методов решения задачи, разработка алгоритма решения задачи. Реализация, тестирование программного средства. Проектирование и описание пользовательского интерфейса. Блок-схема алгоритма программы, рекурсивный алгоритм удаления элементов из очереди.
курсовая работа, добавлен 21.04.2022Основные правила выбора алгоритма обработки данных, необходимого для разработки аналитического программного обеспечения в комплексном проекте. Характеристика тандемного использования построения дерева решений и генетического алгоритма прогнозирования.
статья, добавлен 12.01.2018Анализ способов хранения и передачи контрольно-измерительных материалов. Проектирование и разработка редактора тестовых заданий. Предназначение и сущность системы дистанционного тестирования. Описание архитектуры студии компетентностных деловых игр.
дипломная работа, добавлен 01.10.2016Разработка способа решения задачи поиска новых идей и проектных решений. Разработка способа решения задачи генерации идей на основе модифицированного метода гирлянд ассоциаций, его применение для решения различных классов задач веб-дизайна и статистики.
статья, добавлен 23.03.2018Теория метода оптимизации: постановка задачи, разработка алгоритма численной реализации. Описание структуры программы и её компонентов. Результаты отладки на контрольных примерах. Исследование эффективности работы метода оптимизации на тестовых задачах.
курсовая работа, добавлен 10.01.2015Разработка схемы нахождения оптимального плана параллельного решения задачи на ВС заданного типа. Рассмотрение алгоритма получения множества нитей для каждого варианта решения задачи. Определение исходных данных. Описание разработанной программы.
курсовая работа, добавлен 23.11.2015Разработка программного обеспечения, позволяющего автоматизировать подсчет метрик отражающих "почерк создателя" программного обеспечения для исходных кодов программ и профиля для достоверного осуществления идентификации автора программного обеспечения.
статья, добавлен 28.02.2016Излагаются методы отладки, и тестирования программ. Особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности. Стандарты качества программного обеспечения.
отчет по практике, добавлен 19.11.2020Понятие и характерные признаки встраиваемой операционной системы. Систем и наборы инструментальных средств корпорации Майкрософт, и их различия. Разработка, внедрение и разновидность дополнительных наборов возможностей для встраивания в систему.
реферат, добавлен 02.11.2012Характеристика моделей оценки надежности программного обеспечения. Анализ подхода к оценке надежности программ на основании совокупного достижения надежности каждого функционального блока. Описание алгоритма оценки надежности программного обеспечения.
статья, добавлен 28.07.2017История развития компьютерных игр и их основные жанры. Изучение особенностей разработки программного обеспечения игр, функции подлежащие автоматизации. Создание обеспечения для игр "Тик-так-тоу" и "Тоу-так-тик" посредством программы Construct 2.
реферат, добавлен 07.04.2016Основные понятия и определения, классификация программ, этапы создания программного продукта в рамках жизненного цикла. Особенности отладки, тестирования, сопровождения программ. Структурное программирование с использованием процедур и функций.
учебное пособие, добавлен 15.01.2020Особенности составления тестовых заданий для оценки вспоминания, интерпретации имеющихся сведений, понимания и аргументации. Вопросы типа "снизу вверх" и "сверху вниз". Алгоритм составления задания в тестовой форме. Технические дефекты тестовых заданий.
презентация, добавлен 26.06.2017Выбор наиболее эффективного метода и решение задачи. Разработка алгоритма и программы для решения задачи в общем виде. Применение программа "TabSimMethod". Решение задачи табличным симплекс-методом. Создание, ввод формул и форматирование таблиц.
курсовая работа, добавлен 26.12.2014Изучение основных понятий, методов и моделей программной инженерии, составляющих процесса разработки программного обеспечения. Разработка функциональной структуры программного обеспечения. Разработка программного кода. Анализ программного продукта.
лабораторная работа, добавлен 20.09.2016Теория программирования и ее основные понятия: алгоритм, задача и вычислитель. Основные направления в программировании. Цели и задачи программирования как инженерной деятельности. Области разработки программного обеспечения. Понятие системной инженерии.
презентация, добавлен 06.09.2017