Специфицирование и тестирование программ
Краткие теоретические сведения о специфицировании и тестировании программ. Декомпозиция цели задачи на обеспечивающие подцели – функции обработки данных. Описание ограничений на входные данные, учитываемые в программе. Таблицы решений для функций задачи.
Подобные документы
Программы, обеспечивающие работу с файлами данных. Функции системы управления базами данных. Проблемы сопровождения больших систем, основанных на файлах. Сетевые базы данных. Реляционная организация данных. Использование универсальных сред разработки.
статья, добавлен 22.03.2019Турбо-Пролог - компиляторно-ориентированный язык программирования высокого уровня. Теоретические сведения о программе. Отладка, модификация и структурная схема программы. Описание предикатов, текст и тестирование программы, руководство пользователя.
курсовая работа, добавлен 18.02.2012Обзор пакетов программ, предназначенных для визуализации и анализа данных. Обоснование выбора среды программирования. Алгоритмы визуализации данных аварийного буфера. Описание разработанных программ. Оптимизация восприятия информации с экрана дисплея.
дипломная работа, добавлен 10.11.2010Характерные особенности организации пакетов прикладных программ. Классификация, в основу которой кладется тип операционной системы. Деление пакетов прикладных программ по сферам применения и классам решаемых задач. Их архитектура и принцип разработки.
реферат, добавлен 14.09.2017Построение процедурной модели синтеза ПК-кластеров баз данных как необходимой компоненты внутреннего моделирования. Иерархическая фреймовая модель параллельных СУБД на платформе ПК-кластеров. Разработка параллельной СУБД Clusterix, план обработки запроса.
автореферат, добавлен 27.03.2018Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.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Решение задачи идентификации классов цветов ириса с помощью автоматизированного системно-когнитивного анализа и его программ. Интеллектуальная система "Эйдос". Разработка классификационных и описательных шкал и градаций. Кодирование исходных данных.
статья, добавлен 26.05.2017- 116. Применение современных информационных технологий в области строительства: обзор сметных программ
Функциональные возможности программ составления смет и удобство интерфейса. Реализованные информационно-поисковые функции, позволяющие получать сведения о значениях реквизитов и отказаться от ручного ввода текстовой информации на входе и при управлении.
статья, добавлен 14.03.2019 Цели и задачи сбора данных. Исследование и анализ посещаемости Web-страницы. Порядок сбора данных через запрос посетителей Web-страницы, методика их обработки. Счетчики: понятие и функции, их возможности, определение основных достоинств и недостатков.
курсовая работа, добавлен 21.12.2012- 118. Разработка моделей для прогнозирования и анализа данных с применением пакета программ STATISTICA
Анализ методов и технологий Data Mining. Применение искусственных нейронных сетей. Освоение среды Data Miner и разработка моделей анализа данных с применением программ STATISTICA. Анализ результатов применения моделей прогнозирования и анализа данных.
дипломная работа, добавлен 14.12.2019 Разновидности компьютерных программ или вредоносного кода, отличительной особенностью которых является способность к размножению (саморепликация). Троянские программы и утилиты скрытого администрирования. Описание и преимущества антивирусных программ.
реферат, добавлен 16.03.2015Основа компьютерного обеспечения информационных процессов. Проектирование базы данных: определение цели создания базы данных, определение таблиц, которые должна содержать база данных. Создание формы "Сведения об абонентах", "Личные данные" и запросов.
курсовая работа, добавлен 15.06.2011Нормализация как процесс последовательной замены таблицы ее полными декомпозициями, нормальные формы. Технология отображения концептуальной модели базы данных на реляционную модель данных. Структура данных, манипулирование данными, целостность данных.
презентация, добавлен 21.02.2016- 122. База данных
Определение физической модели таблицы базы данных. Характеристика процесса разработки и заполнения таблицы данными. Описание системы управления файлами. Понятие коллизий, и стратегии их разрешения. Назначение и функции программной системы компьютера.
курсовая работа, добавлен 22.01.2013 Описание предметной области и функции решаемых задач. Перечень документов. Организационно-экономическая сущность задачи. Информационный анализ входной информации и выделение данных объектов предметной области. Создание базы данных и запросов, отчетов.
курсовая работа, добавлен 06.04.2011Связь логического программирования и языка Пролог. Принципы выбора формальной знаковой системы для записи компьютерных программ на основе абстрактного интерпретатора. Структура данных логических программ. Эффективность программирования на Прологе.
реферат, добавлен 26.02.2015Технологический процесс обработки информации. Значение блок-схемы, как метода алгоритмизации задач и облегчения процесса программирования. Понятие алгоритма решения задачи. Способы хранения и обработки информации. Разработка и сопровождение программ.
отчет по практике, добавлен 18.04.2011