Тестирование софта - статьи

Автоматизация процесса тестирования при помощи методологии и инструментальных средств IBM Rational
Оглавление
Предисловие к материалу
Введение
Что такое тестирование
Тестируемость
Жизненный цикл продукта и Тестирование

Типовой цикл тестирования
Тестирование и сценарии использования.
Типы тестирования
Метрики тестирования и качества
Стратегия тестирования
Типы тестов
Приемосдаточные испытания
Тестирование производительности
Структурное тестирование

Тестирование удобства использования
Основные артефакты, создаваемые в процессе тестирования
Итерационная разработка
Управление сценариями использования.
Ориентация на архитектуру.
Самое главное в RUP это

Выгоды от использования технологии IBM Rational в цифрах и фактах.
Инструментальная поддержка RUP. Инструменты тестирования и смежные инструменты

Тестирование софта - статьи

Разработка критериев анализа систем автоматизации тестирования
Поддерживаемые процессы тестирования.

Поддерживаемые типы тестов.
Поддерживаемые технологии.
Интеграция с системами разработки.
Техническая и документальная поддержка компанией разработчиком.
Документальная поддержка.
Техническая поддержка.
Обучение и сертификация персонала, работающего с набором инструментов и/или методологией.
Представительство компании-разработчика в странах ближнего зарубежья.

Тестирование софта - статьи

Инструментальные средства поддержки процесса тестирования
Введение
Организация тестирования
Quantify, Purify и PureCoverage

Запуск приложений
Run Summary
Дерево вызовов Call Graph
Список вызовов функций Function List
Сравнивание запусков Compare Runs
API

Сохранение данных и экспорт
Основные параметры вывода
Сообщения об ошибках и предупреждениях

Работа с фильтром
Параметры тестирования
Особенности запуска
Работа с PureCoverage
Анализ результатов тестирования

Итог
Способы запуска
Тестирование сервисов Windows NT//XP
Основные свойства средств Purify, Quantify и PureCoverage

Тестирование софта - статьи

Дополнительное обеспечение корректности тестового набора
Проверки, добавляемые автоматически
Контроль корректности наложенных ограничений

Оптимизация разработки тестов
Приведение типов и наследование
Удобство и функциональность интерфейса
Разбиение на группы и порядок выполнения работ
Достоинства и недостатки подхода
Заключение
Литература

Введение
Методика построения корректных тестов
Конструкторы и деструкторы
Абстрактные классы
Защищенные методы
Методы, не входящие в программный интерфейс приложения
Среда исполнения тестируемого метода
Сигналы и слоты
Завершение теста и отложенное выполнение целевого воздействия

Аннотация.
Описание системы
Спецификация
Генерация тестовой последовательности

Поиск различных порядков
Алгоритм поиска
Структуры данных алгоритма
Этап работы алгоритма
Архитектура для EJB 0

Тестирование

Тестирование софта - статьи

Введение
Формулировка задачи
Максимизация числа различных подслов
Слова де Бройна

Продолжение слов де Бройна
Универсальные покрывающие последовательности
Заключение
Литература

Литература - 2

Тестирование софта - статьи

Применение модельного подхода для автоматического тестирования оптимизирующих компиляторов
Введение
Построение абстрактной модели

Подход к решению задачи проверки сохранения семантики программы во время работы оптимизатора
Создание генератора тестов
Запуск тестов
Практическое применение подхода
Области применимости подхода
Близкие работы
Заключение
Литература

Тестирование софта - статьи

Аннотация
Введение
Генетические алгоритмы
Критерии полноты тестового покрытия
Метрики тестового покрытия
Генетический алгоритм генерации тестов

Простейший алгоритм
Целенаправленный поиск
Оценочные функции
Покрытие операторов исходного кода
Покрытие ветвей потока управления
Покрытие путей потока управления
Заключение
Литература

Тестирование софта - статьи

Содержание
 Введение

 Проблемы организации тестовых наборов
 Техники организации тестовых наборов
 Квалификаторы
 Конфигурационные параметры
 Модульность

 Заключение
Литература

Тестирование софта - статьи

Генерация тестовых данных сложной структуры с учетом контекстных ограничений
Введение.
Представление тестовых данных
Предварительные сведения и понятия
Идея метода

Способ описания ограничений
Итераторы
Схема генерации
Использование абстрактных моделей
Заключение
Список литературы

Тестирование софта - статьи

Функциональное тестирование Web-приложений на основе технологии UniTesK
Аннотация.
Введение

Существующие подходы к функциональному тестированию Web-приложений
Технология UniTesK
Применение UniTesK для тестирования Web-приложений
Моделирование поведения на уровне HTTP

Моделирование на уровне Web-браузера
Моделирование без привязки к уровню взаимодействия
Сравнение возможной автоматизации вариантов моделирования
Дополнительная инструментальная поддержка

Сравнение с другими подходами
Направления дальнейшего развития
Литература

Тестирование софта - статьи

Автоматическая генерация позитивных

Аннотация
Введение
Предварительные сведения
Позитивные и негативные тесты для синтаксического анализатора
Критерии покрытия

Тестирование софта - статьи

Модульное тестирование и Test-Driven Development, или Как управлять страхом в программировании
Три цвета
Пять причин
Практические рекомендации

Анализаторы и метрики

Тестирование софта - статьи

Тестирование на основе моделей
Подходы к улучшению качества программ

Три составляющие тестирования — экскурс в теорию
Инструменты тестирования — реальная практика
Чем могут помочь модели
Инструменты тестирования на основе моделей
UniTesK — унифицированное решение
Новое качество, которое обещают новые инструменты

Тестирование софта - статьи

Аннотация
Введение
Процесс разработки тестового сценария

Понятие паттерна
Описание паттернов
Краткое описание
Область применения
Обобщенное состояние
Итерация параметров методов
Примеры
Совместное использование

Использование в проектах
Заключение
Литература

Тестирование софта - статьи

Что такое PDL
Для чего же нужна динамическая загрузка классов
Создание динамически загружаемого класса

Использование динамически загружаемых классов
Ложка дёгтя

Тестирование софта - статьи

Методы обеспечения переносимости ПО
Содержание
Введение
Примеры из современности

Переиспользование бинарных файлов
Переиспользование исходного кода
Использование интерпретируемого кода
Использование эмуляторов ABI
Виртуализация
Использование Web-технологий
Заключение

Литература

Тестирование софта - статьи

Классификация задач и ролей в тестировании, основанная на методологии RUP.
Аналогии
Деятельность/Задачи тестирования (Testing Activities)
Роли в тестировании (roles)

Тестирование софта - статьи

QT: интерфейс, и не только...
Идея
Кю-тэшное семейство, обзор
Инсталл
Библиотека, learning curve

Как оно работает
Интеграция
Аллилуя, то есть Славься!

Тестирование софта - статьи

Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6
Аннотация.
Введение
Обзор протокола Mobile IPv6

Инструмент CTesK
Проблемы тестирования мобильного узла и способы их решения

Структура тестового набора и этапы исполнения сценарной функции
Адаптация средств инструмента CTesK к предложенной схеме тестового набора
Апробация разработанного тестового набора
Заключение
Литература

Тестирование софта - статьи

Аннотация.
Введение
База данных стандарта LSB
Информация об объектах, описанных в LSB

Информация об архитектурах
Генерация текста стандарта
Генерация зависящих от стандарта объектов
Библиотеки-"заглушки" и заголовочные файлы
Элементарные тесты
Планы по развитию инфраструктуры LSB
Атомарные требования и тестовые наборы
Информация о дистрибутивах

Поддержка версий LSB
Чистка базы данных стандарта LSB
Заключение
Литература

Тестирование софта - статьи

Использование формальных методов для обеспечения соблюдения программных стандартов
Аннотация
Введение

Формализация стандартов
Разработка тестов на соответствие стандарту
Применения описанного подхода

Другие подходы к построению тестов на соответствие стандартам
Заключение
Литература

Тестирование софта - статьи

Вступление
Терминология
Определение
Практика
Инженерный калькулятор

Стратегия тестирования в действии
Распределённая система
Объём задач
Зависимости от артефактов проекта
Выводы

Тестирование софта - статьи

T: технология автоматизированной
Введение
MANUAL
Check

CUnit
TET (Test Environment Toolkit)
Автоматизация разработки TET-совместимых тестов в GTK+-Verification Test Suite (GTKVTS)
Достоинства и недостатки существующих решений
Общие сведения.
Процесс разработки тестов с помощью системы T
Анализ документации и разбиение тестируемых интерфейсов на группы
Разметка требований в документации
Создание шаблона T-файла

Разработка тестов в T-формате
Подготовка каталога требований
Генерация кода тестов, make-файлов и сценариев TET
Сборка, запуск и отладка тестов
Применение T при разработке тестов для LSB Desktop
Заключение
Литература

Тестирование софта - статьи

Парное тестирование — возьмём от ХР лучшее
Зачем нам парное тестирование?

Как на практике?
Поставим эксперимент.
Как построили работу?
Первые результаты.
На чём экономим?
Психологический эффект.

Тестирование софта - статьи

Сравнение эффективности обходчиков UniTESK
Аннотация
Введение
Сфера применения тестирования на основе спецификаций
Как эффективность обходчика влияет на тестирование

Краткое описание обходчиков UniTESK
Зависимость работы обходчика от порядка сценарных функций
Обход дерева
Обход полного графа и его модификаций
Заключение
Литература

Тестирование софта - статьи

Терминология

Стратегия модульного тестирования
Планирование тестов
Распределение обязанностей

Тестирование софта - статьи

Подход UniTesK к разработке тестов: достижения и перспективы
Аннотация.
Введение
Основные принципы UniTesK

Универсальная архитектура теста
Процесс построения тестов по UniTesK
Описание функциональных требований
Критерии тестового покрытия, основанные на спецификациях
Построение тестовых последовательностей

Определение связи спецификаций и реализации
Определение связи спецификаций и реализации - 2
Универсальное расширение языков программирования
Выполнение тестов и анализ их результатов
Сравнение с другими подходами к разработке тестов на основе моделей

Опыт использования UniTesK
Заключение. Открытые проблемы и направления дальнейшего развития
Литература

Тестирование софта - статьи

Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид
Аннотация. В статье рассматриваются
Стандартизация Грид
Вопросы тестирования реализаций Грид
Технология автоматизированного тестирования UniTESK
Стандарты OGSA и WSRF. Ограничение области определения задачи
Регламентирующие документы и требования к реализациям ИПО Грид
Разработка формальной спецификации

Разработка медиатора
Разработка тестового сценария
Опыт практического тестирования реализации ИПО Грид
Обзор целевой системы
Тестирование реализации

Результаты тестирования
Существующие методы и подходы тестирования ИПО Грид
Заключение
Литература

Тестирование софта - статьи

Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения
Аннотация.
Введение
Краткий обзор технологии UniTesK
Архитектура тестовой системы UniTesK
Инструмент разработки тестов CTesK

Особенности моделей аппаратного обеспечения
Особенности моделей аппаратного обеспечения - 2
Модели аппаратного обеспечения и технология UniTesK
Пример счетчика
Тестирование Verilog-моделей
Архитектура тестовой системы

Взаимодействие компонентов
Разработка теста
Разработка модуля взаимодействия потоков
Разработка Verilog-окружения
Разработка VPI-модуля
Возможность автоматизации шагов разработки
Тестирование SystemC-моделей

Разработка C-медиатора
Разработка модуля запуска тестовой системы
Заключение
Литература

Тестирование софта - статьи

Введение
Классификация тестируемых систем в соответствии с конфигурацией потоков управления
Определение
Следствия из определений:

Пассивные последовательные системы
Пассивные параллельные системы
Тестирование с отложенными реакциями
Полуконтролируемое тестирование
Два потока управления, работающих строго поочередно.
Система с отложенными реакциями
Полуконтролируемое тестирование
Заключение.

Литература

Тестирование софта - статьи

Методика автоматизированной проверки
Введение
Постановка задачи
Генерируемый SeC-код
Конфигурационные константы.
Проверка
Пересечение требований

Трёхзначная логика
Оформление непроверяемых требований
Заключение
Литература

Тестирование софта - статьи

Верификация компиляторов - систематический подход
Аннотация.
Введение
Систематический подход к верификации функций компилятора
Верификация синтаксического анализатора

Критерии полноты тестирования
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Тестирование анализаторов контекстных условий
Методы тестирования

Тестирование оптимизаций и генерации кода
Регламентирующие документы. Анализ требований
Верификация подсистемы поддержки исполнения (runtime support)
Методы верификации

Заключение
Литература

Тестирование софта - статьи

Автоматическая генерация тестов
Введение
Обзор имеющихся средств автоматического тестирования графического интерфейса
Описание подхода
Диаграмма состояний
Генератор тестов

Тестовый набор
Прогонщик тестов
Анализ и отображение результатов
Поставленная задача
Практические результаты
Обработка ошибочной ситуации
Развитие подхода
Заключение

Список литературы

Тестирование софта - статьи

Тестирование трансляторов: проблема построения оракула для генератора кода
Аннотация.
Введение
Предварительные сведения
Построение оракула для генератора кода
Построение оракула для генератора кода - 2
Пример

Близкие работы
Заключение
Литература
Приложение A. UML-диаграммы моделей

Тестирование софта - статьи

Генерация оптимизированных для
Содержание
Введение
Модель приложения

Тестовые проверки
Критерии тестового покрытия
Оптимизация тестового набора
Алгоритм построения тестового набора
Оптимизация и балансировка тестового набора
Генерация готового к исполнению тестового набора

Пример применения
Заключение
Литература

Тестирование софта - статьи

Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения
Содержание
Введение
Основные понятия
Обзор технологии AVM
Основные принципы AVM
Архитектура тестовой системы AVM

Обзор технологии OVM
Основные принципы OVM
Архитектура тестовой системы OVM
Обзор технологии UniTESK
Основные принципы UniTESK
Архитектура тестовой системы UniTESK
Сравнение технологий разработки тестов
Заключение
Литература

Тестирование софта - статьи

Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов
Аннотация

Введение
Краткий обзор технологии тестирования UniTESK
Архитектура тестовой системы UniTESK
Полнота функциональных требований
Требования и сценарии взаимодействия с системой
Требования и оценка правильности поведения системы
Неполнота информации в тестировании
Спецификация в условиях неполной информации

Неопределенные значения и уточняемые типы
Неопределенность и трехзначная логика Клини
Неопределенность и трехзначная логика Клини - 2
Тестирование в условиях неполной информации
Неопределенные обобщенные модели
Генерация тестов на основе неопределенных моделей
Генерация тестов на основе неопределенных моделей - 2
Графы с уточняемыми вершинами

Алгоритмы уточняющего обхода графов
Простое расширение технологии UniTESK
Инструмент разработки тестов CTesK
Простое расширение инструмента CTesK
Заключение
Литература

Тестирование софта - статьи

Введение
Введение в IPv

Функции IPv выбранные для тестирования
Отправка и получение пакетов.
ICMPv6
Neighbor Discovery
MSR IPv6
Разбиение MSR IPvна подсистемы
Особенности тестирования MSR IPv6
Введение в UniTesK
Оракулы и спецификации
Тестовые сценарии

Медиаторы
Применение UniTesK к тестированию систем с отложенными реакциями
Использование UniTesK для тестирования MSR IPv6
Спецификации
Абстрактное состояние
Спецификация процедурных стимулов
Спецификация непроцедурных стимулов
Спецификации реакций
Спецификация фрагментации

Спецификация Neighbor Discovery
Транспорт стимулов и реакций
Медиаторы для процедурных стимулов
Медиаторы для непроцедурных стимулов
Сбор реакций целевой системы
Тестовые сценарии
Процесс разработки тестового набора
Результаты
Выявленные дефекты
Оценка покрытия кода целевой системы

Заключение
Литература

Тестирование софта - статьи

Аннотация.
Введение
Mодели аппаратного обеспечения
Особенности моделей аппаратного обеспечения
Типичная организация модулей аппаратного обеспечения
Спецификация и проверка требований

Требования к модулям аппаратного обеспечения
Спецификация требований
Проверка требований
Технология тестирования UniTESK
Архитектура тестовой системы UniTESK
Инструмент разработки тестов CTESK
Использование CTESK для спецификации аппаратуры
Сравнение с существующими подходами

Опыт практического применения подхода
Структура и функциональность модуля
Разработка спецификаций модуля
Заключение
Литература

Тестирование софта - статьи

Об одном методе сокращения набора тестов

Аннотация.
Введение
Существующие решения
Описание метода
Системные вызовы как характеристика поведения программы
Модель поведения программы на тесте
Метод сокращения набора тестов
Экспериментальное исследование метода сокращения набора тестов

Условия проведения эксперимента: тестовые программы и тестовые наборы
Проведение эксперимента и результаты
Результаты эксперимента
Заключение и направление будущих исследований
Литература

Руководство по языку B.Pascal 7

Данное руководство посвящено используемому в Borland Pascal with Objects языку Паскаль. Оно
* Дает формальное определение языка Borland Pascal.
* Поясняет, как использовать и писать динамически компонуемые библиотеки.
* Знакомит вас с библиотекой исполняющей системы.
* Поясняет, как писать программы для защищенного режима DOS.
* Освещает такие вопросы Borland Pascal, как использование памяти, форматы данных, соглашения по вызову, ввод и вывод и автоматическая оптимизация.
* Описывает, как использовать Borland Pascal с языком ассемблера.

Что такое программа Borland Pascal?
Параметры процедурного типа
Функции модуля Strings
Процедуры и функции ассемблера

Открытые параметры
Процедуры и функции модуля WinDos
Совместимость по присваиванию
Удаление неиспользуемого кода
Организация вычислений в Турбо Паскаль



Delphi программирование далее
Концепция обеспечения безопасности информации в системе организации далее

---

---