Специфицирование и тестирование программ
Краткие теоретические сведения о специфицировании и тестировании программ. Декомпозиция цели задачи на обеспечивающие подцели – функции обработки данных. Описание ограничений на входные данные, учитываемые в программе. Таблицы решений для функций задачи.
Подобные документы
Турбо-Пролог - компиляторно-ориентированный язык программирования высокого уровня. Теоретические сведения о программе. Отладка, модификация и структурная схема программы. Описание предикатов, текст и тестирование программы, руководство пользователя.
курсовая работа, добавлен 18.02.2012Программы, обеспечивающие работу с файлами данных. Функции системы управления базами данных. Проблемы сопровождения больших систем, основанных на файлах. Сетевые базы данных. Реляционная организация данных. Использование универсальных сред разработки.
статья, добавлен 22.03.2019Системный анализ предметной области. Разработка инфологической модели и обоснование выбора модели данных. Физическое проектирование базы данных в системе управления базами данных. Реализация ограничений, автоматизация обработки данных в базах данных.
дипломная работа, добавлен 27.02.2020Обзор пакетов программ, предназначенных для визуализации и анализа данных. Обоснование выбора среды программирования. Алгоритмы визуализации данных аварийного буфера. Описание разработанных программ. Оптимизация восприятия информации с экрана дисплея.
дипломная работа, добавлен 10.11.2010Характерные особенности организации пакетов прикладных программ. Классификация, в основу которой кладется тип операционной системы. Деление пакетов прикладных программ по сферам применения и классам решаемых задач. Их архитектура и принцип разработки.
реферат, добавлен 14.09.2017Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Построение процедурной модели синтеза ПК-кластеров баз данных как необходимой компоненты внутреннего моделирования. Иерархическая фреймовая модель параллельных СУБД на платформе ПК-кластеров. Разработка параллельной СУБД Clusterix, план обработки запроса.
автореферат, добавлен 27.03.2018Сведения о программе Microsoft Excel, её функциях. Категории встроенных функций. Проверка свойств и значений, ссылки и массивы, куб данных OLAP. Функции надстроек и программирования объектов. Функции СУММ, СРЗНАЧ, МИН, МАКС, особенности их использования.
курсовая работа, добавлен 21.02.2016Общая характеристика и требования к проектируемой автоматизированной системы, функциональные особенности и возможности. Описание алгоритма, его структура и тестирование эффективности. Логическая и физическая модель данных. Подбор и обоснование программ.
контрольная работа, добавлен 19.05.2014Технология баз данных: понятие, история, предназначение, функции, три модели. Microsoft Access: функции, новшество. База данных "Музыкальные записи": таблицы, схема данных, формы. Запросы "Произведения за период", "Должники". Пример отчета "Стили".
курсовая работа, добавлен 16.03.2015Описание решения прямой задачи линейного программирования симплексным методом с использованием симплексной таблицы. Выражение искусственных переменных. Определение минимального значения целевой функции. Формирование всех частей симплексной таблицы.
контрольная работа, добавлен 15.01.2015Характеристика понятия и сущности, особенностей построения структуры данных. Табличные структуры (таблицы данных, матрицы данных). Пример таблицы, с помощью которой может быть организован учет учащихся. Расчет размеров отчислений с заработной платы.
курсовая работа, добавлен 16.10.2017Общая постановка задачи, описание переменных, накладываемых на них ограничений, целевой функции. Составление плана перевозок. Рассмотрение способов доставки груза. Определение себестоимости перевозки. Решение задачи с применением программы MS Excel.
курсовая работа, добавлен 23.08.2014Организация сборов статических данных при контроле технологических процессов производства и методах обработки с использованием компьютерных программ. Экспертные системы: средства и методы защиты информации. Обзор современных операционных систем.
отчет по практике, добавлен 15.01.2014Характеристика перехода от логической модели базы данных к физической. Особенность создания таблиц и ограничений. Отчетные хранимые процедуры и функции. Описание оптимизации проекта за счет индексов и анализа запросов. Проведение процедуры тестирования.
дипломная работа, добавлен 16.02.2016Рассмотрение программ, с помощью которых моделируются структурированные кабельные системы, описание возможностей программ. Использование при проектировании систем ранее выполненной технической документации, хранящейся в электронном растровом формате.
статья, добавлен 25.10.2024Цели и задачи сбора данных. Исследование и анализ посещаемости Web-страницы. Порядок сбора данных через запрос посетителей Web-страницы, методика их обработки. Счетчики: понятие и функции, их возможности, определение основных достоинств и недостатков.
курсовая работа, добавлен 21.12.2012- 118. Применение современных информационных технологий в области строительства: обзор сметных программ
Функциональные возможности программ составления смет и удобство интерфейса. Реализованные информационно-поисковые функции, позволяющие получать сведения о значениях реквизитов и отказаться от ручного ввода текстовой информации на входе и при управлении.
статья, добавлен 14.03.2019 Решение задачи идентификации классов цветов ириса с помощью автоматизированного системно-когнитивного анализа и его программ. Интеллектуальная система "Эйдос". Разработка классификационных и описательных шкал и градаций. Кодирование исходных данных.
статья, добавлен 26.05.2017Основа компьютерного обеспечения информационных процессов. Проектирование базы данных: определение цели создания базы данных, определение таблиц, которые должна содержать база данных. Создание формы "Сведения об абонентах", "Личные данные" и запросов.
курсовая работа, добавлен 15.06.2011- 121. Разработка моделей для прогнозирования и анализа данных с применением пакета программ STATISTICA
Анализ методов и технологий Data Mining. Применение искусственных нейронных сетей. Освоение среды Data Miner и разработка моделей анализа данных с применением программ STATISTICA. Анализ результатов применения моделей прогнозирования и анализа данных.
дипломная работа, добавлен 14.12.2019 Разновидности компьютерных программ или вредоносного кода, отличительной особенностью которых является способность к размножению (саморепликация). Троянские программы и утилиты скрытого администрирования. Описание и преимущества антивирусных программ.
реферат, добавлен 16.03.2015- 123. База данных
Определение физической модели таблицы базы данных. Характеристика процесса разработки и заполнения таблицы данными. Описание системы управления файлами. Понятие коллизий, и стратегии их разрешения. Назначение и функции программной системы компьютера.
курсовая работа, добавлен 22.01.2013 Нормализация как процесс последовательной замены таблицы ее полными декомпозициями, нормальные формы. Технология отображения концептуальной модели базы данных на реляционную модель данных. Структура данных, манипулирование данными, целостность данных.
презентация, добавлен 21.02.2016Описание предметной области и функции решаемых задач. Перечень документов. Организационно-экономическая сущность задачи. Информационный анализ входной информации и выделение данных объектов предметной области. Создание базы данных и запросов, отчетов.
курсовая работа, добавлен 06.04.2011