- •Особенности проектирования клиент-серверных ис.
- •2)Методы проектирования аис
- •Общие методы и технологии проектирования аис
- •3)Подготовка и проведения тестирования программного продукта Процессы жц верификация и валидация программ
- •7.2. Тестирование программ
- •7.2.1. Статические методы тестирования
- •7.2.2. Динамические методы тестирования
- •7.2.3. Функциональное тестирование
- •7.3. Инфраструктура процесса тестирования пс
- •7.3.1. Методы поиска ошибок в программах
- •4)Этапы проектирования ис
- •5)Состав и содержание работ на предпроектроной стадии создания проекта
- •6)Методы организации проведения обследования предметной области
- •7)Состав и содержание работ на стадии технико-рабочего проектирования
- •8)Состав и содержание работ на стадии внедрения проекта
- •9) Состав и содержание работ на стадиях эксплуатации и сопровождения проекта
- •10,11) Основные понятия классификации информации, Системы кодирования информации Основные понятия классификации технико-экономической информации
- •Правила классификации продукции
- •Кодирование технико-экономической информации
- •Понятие унифицированной системы документации
- •12)Единая система классификации и кодирования
- •В Единую систему классификации и кодирования (ескк) входят:
- •Различают два метода классификации:
- •К кодам предъявляются следующие требования:
- •Штриховое кодирование
- •13) Технология штрихового кодирования информации
- •Преимущества выбора штрихового кода
- •Одномерные символики
- •Двумерные символики
- •Системы штрихового кодирования информации
- •14) Понятие унифицированной системы документации
- •15)Проектирование первичных и результативных форм документов
- •16) Проектирование экранных форм документов
- •17)Понятие информационной базы и способы ее организации
- •18) Создание и ведение информационной базы
- •19) Основные понятия и методы защиты данных
- •20) Стандарты на создание систем защиты данных
- •21)Проектирование системы защиты данных
- •22)Основные понятия case-технологий case-технологии
- •23)Архитектура информационной системы
- •24)Функциональные подсистемы ис
- •25)Обеспечивающие подсистемы ис
- •26)Назначение и структура языка uml Общая характеристика языка uml
- •27)Методы системного анализа и моделирования
- •28)Основные пакеты моделей языка uml
- •29) Основные элементы пакетов языка uml Пакеты в языке uml
- •30) Состав пакета «элементы поведения»
- •31) Синтаксис и семантика языка uml Синтаксис и семантика основных объектов uml Классы
- •Диаграммы классов
- •Диаграммы использования
- •Диаграммы последовательностей
- •Кооперативные диаграммы
- •Диаграммы состояний
- •Диаграммы деятельности
- •Диаграммы компонентов
- •32) Диаграмма концептуального моделирования данных
- •Разработка модели бизнес-прецедентов
- •Разработка модели бизнес-объектов
- •Разработка концептуальной модели данных
- •Разработка требований к системе
- •Анализ требований и предварительное проектирование системы.
- •Разработка моделей базы данных и приложений
- •33) Диаграмма вариантов использования
- •Отношения на диаграмме вариантов использования
- •34) Диаграмма логического моделирования данных
- •35) Диаграммы классов Диаграммы классов uml. Логическое моделирование
- •36)Диаграммы состояний
- •37)Диаграмма физического моделирования данных
- •38)Диаграмма деятельности
- •40)Диаграммы кооперации Кооперации (collaborations)
- •39)Диаграмма деятельности
- •41)Диаграмма компонентов Диаграмма компонентов (component diagram)
- •Интерфейсы
- •Зависимости
- •Рекомендации по построению диаграммы компонентов
- •42)Диаграммы развертывания
- •43) Средства реализации case-технологий
7.2. Тестирование программ
Тестирование можно рассматривать, как процесс семантической отладки (проверки) программы, заключающийся в исполнении последовательности различных наборов контрольных тестов, для которых заранее известен результат. Т.е. тестирование предполагает выполнение программы и получение конкретных результатов выполнения тестов [7.1-7.5, 7.11, 7.12].
Тесты подбираются так, чтобы они охватывали как можно больше типов ситуаций алгоритма программы. Менее жесткое требование - выполнение хотя бы один раз каждой ветви программы.
Исторически первым видом тестирования была отладка.
Отладка - это проверка описания программного объекта на ЯП с целью обнаружения в нем ошибок и последующее их устранение. Ошибки обнаруживаются компиляторами при их синтаксическом контроле. После этого проводится верификация по проверке правильности кода и валидация по проверке соответствия продукта заданным требованиям.
Целью тестирования - проверка работы реализованных функций в соответствии с их спецификацией. На основе внешних спецификаций функций и проектной информации на процессах ЖЦ создаются функциональные тесты, с помощью которых проводится тестирование с учетом требований, сформулированных на этапе анализа предметной области. Методы функционального тестирования подразделяются на статические и динамические.
7.2.1. Статические методы тестирования
Статические методы используются при проведении инспекций и рассмотрении спецификаций компонентов без их выполнения.Техника статического анализа заключается в методическом просмотре (или обзоре) и анализе структуры программ, а также в доказательстве их правильности. Статический анализ направлен на анализ документов, разработанных на всех этапах ЖЦ и заключается в инспекции исходного кода и сквозного контроля программы.
Инспекция ПО - это статическая проверка соответствия программы заданным спецификациями, проводится путем анализа различных представлений результатов проектирования (документации, требований, спецификаций, схем или исходного кода программ) на процессах ЖЦ. Просмотры и инспекции результатов проектирования и соответствия их требованиям заказчика обеспечивают более высокое качество создаваемых ПС.
При инспекции программ рассматриваются документы рабочего проектирования на этапах ЖЦ совместно с независимыми экспертами и участниками разработки ПС. На начальном этапе проектирования инспекция предполагает проверку полноты, целостности, однозначности, непротиворечивости и совместимости документов с исходными требованиями к программной системе. На этапе реализации системы под инспекцией понимается анализ текстов программ на соблюдение требований стандартов и принятых руководящих документов технологиипрограммирования.
Эффективность такой проверки заключается в том, что привлекаемые эксперты пытаются взглянуть на проблему "со стороны" и подвергают ее всестороннему критическому анализу.
Эти приемы позволяют на более ранних этапах проектирования обнаружить ошибки или дефекты путем многократного просмотра исходных кодов. Символьное тестирование применяется для проверки отдельных участков программы на входных символьных значениях.
Кроме того, разрабатывается множество новых способов автоматизации символьного выполнения программ. Например, автоматизированное средство статического контроля для языков ориентированной разработки, инструменты автоматизации доказательства корректности и автоматизированный аппарат сетей Петри.