Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
Подобные документы
Систематическое изложение принципов, моделей и методов, используемых в инженерном цикле разработки сложных программных продуктов. Классические основы программной инженерии, научные и практические достижения, характеризующие динамику развития этой области.
учебное пособие, добавлен 15.09.2017Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Разработка и отладка обобщенных автоматов, формальных грамматик, реализация синтаксического анализа, а также решение практических вопросов проектирования программных продуктов. Отладка разработанной грамматики для метода параллельного предшествования.
курсовая работа, добавлен 25.11.2010Особенности математической модели программной системы "Инструментальный комплекс онтологического назначения". Разработка формальных моделей программной системы ИКОН в аналитическом виде UML-диаграмм. Трехуровневая архитектура ИКОН в среде клиент-сервер.
статья, добавлен 28.02.2016Рассмотрение проблемы самоадаптации программных систем. Сравнительная классификация подходов к программной адаптации и основные способы реализации адаптивных механизмов. Особенности применения функциональных комбинаторов и аппарата комбинаторной логики.
статья, добавлен 14.02.2022Методология применения систематизированного, предсказуемого процесса проектирования, разработки и сопровождения программных средств. Стандартизация в области программной инженерии. Требования к инженеру-программисту. Принципы кодекса этики разработчиков.
реферат, добавлен 24.08.2013Рассмотрение проблемы построения формальных систем оперирования темпоральной информацией. Оценка существующих подходов представления времени и временных зависимостей в программных системах. Характеристика задачи согласования временных ограничений.
статья, добавлен 19.01.2018Поддержка исполнения в мультипрограммной и мультипроцессорной средах. Способы, которые операционная система применяет для работы с устройствами ввода/вывода. Технологии клиент-серверных и распределенных систем. Сервисы распределенных операционных систем.
реферат, добавлен 06.03.2014Аналитический обзор структуры тренажерных систем, основных подходов и принципов их построения. Разработка методики и алгоритма размещения программных модулей распределенных тренажерных систем. Показатели эффективности размещения серверных компонент.
автореферат, добавлен 02.07.2018Языки операционных систем и формальные языки программирования. Машинно-ориентированные и проблемно-ориентированные алгоритмические языки. Сравнительные данные формальных алгоритмических языков программирования. Разработка базы данных в MS Access.
контрольная работа, добавлен 15.04.2016Разработка автоматизированных систем тестирования, способных выполнять объективный мониторинг процесса обучения студента. Исследование особенностей автоматизированной системы проверки знания формальных зависимостей. Технология проведения тестирования.
статья, добавлен 17.06.2018История систем управления базами данных (СУБД). Характерные черты параллельных и распределенных СУБД. Принципы построения параллельных вычислительных систем с распределенной памятью. Технико-экономическое обоснование разработки программного обеспечения.
дипломная работа, добавлен 03.06.2015Определение эффективных методов принятия решений при проектировании программных систем. Исследование, изучение и сравнение методов многокритериальных решений, связанных с моделированием программных систем. Критерии и ограничения принятия решений.
статья, добавлен 16.12.2024Изучение основных понятий и положений методологии и технологии разработки ПО. Обзор общих принципов разработки программных систем. Разработка техники практических навыков использования инструментальных средств для разработки программных продуктов.
учебное пособие, добавлен 23.09.2017Разработка программных продуктов и применение техники декомпозиции. Объектно-ориентированное представление программных систем и его основание на принципах абстрагирования, инкапсуляции, модульности и иерархической организации программных продуктов.
статья, добавлен 02.02.2019Инструментарии анализа качества программных продуктов. Дефектологические свойства разделяют надефектогенность, дефектабельность и дефектоскопичность. Стандарты управления качеством промышленной продукции. Корректность и устойчивость программных систем.
реферат, добавлен 01.10.2024Автоматизация управления и учета на базе программных продуктов 1С. Разработка и внедрение на предприятиях собственной конфигурации программы. Анализ и выявление "слабых" сторон в организации бизнес-процесса "Сопровождение программных продуктов 1С".
курсовая работа, добавлен 30.01.2014Метод программных систем. Эффективность применения объектного подхода для больших программных систем, со сложным характером взаимодействия значительного количества элементов. Проектирование модели сложной системы, являющейся примером жизни в океане.
курсовая работа, добавлен 09.03.2009Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Принципы разработки программных приложений для генерирования и проверки практических заданий по математическим дисциплинам в среде Visual Basic for Application. Структура программ, макросы, алгоритмы процедур. Идентификация обучающихся и защита данных.
статья, добавлен 15.02.2020Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
статья, добавлен 28.02.2016Обеспечение безопасности программных средств современных компьютерных систем на протяжении всего их жизненного цикла. Типы систем защиты и методы, используемые при их построении. Разработка технологий, обеспечивающих безопасность программных средств.
статья, добавлен 30.01.2016Выбор программных средств систем контроля, управления доступом. Вопросы выбора программных средств систем контроля и управления доступом. Биометрические средства аутентификации. Специфика аппаратурной реализации отдельных методов биометрического контроля.
реферат, добавлен 27.04.2022Общие принципы разработки программных приложений для генерирования и проверки практических заданий по математическим дисциплинам в среде разработки Visual Basic for Application. Описание структуры компьютерных программ. Компоненты реализуемых макросов.
статья, добавлен 15.03.2020