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

• Реальное переосмысление "формальных методов"
  Дэвид Лордж Парнас
  Перевод: Виктор Кулямин

• Генерация тестовых программ для подсистемы управления памятью микропроцессора
  Д.Н. Воробьев, А.С. Камкин, Труды Института системного программирования РАН

• Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения
  Я.С. Губенко, А.С. Камкин, М.М. Чупилко, Труды Института системного программирования РАН

• Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя
  А. В. Баранцев, С. В. Грошев, В. А. Омельченко, Труды Института системного программирования РАН

• Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид
  Н.В. Пакулин, С.А. Смолов, Труды Института системного программирования РАН

• Организация сложных тестовых наборов
  В. В. Кулямин, Труды Института системного программирования РАН

• Методы обеспечения переносимости ПО
  Д. В. Силаков, А. В. Хорошилов, Труды Института системного программирования РАН

• Перспективы интеграции методов верификации программного обеспечения
  В. В. Кулямин, Труды Института системного программирования РАН

• Автоматизация тестирования web-приложений, основанных на скриптовых языках
  Д.В.Силаков, Труды Института системного программирования РАН

• Опыт применения технологии Azov для тестирования библиотеки Qt3
  Р.С.Зыбин, Труды Института системного программирования РАН

• T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов
  В. В. Рубанов, А. В. Хорошилов, Е. А. Шатохин, Труды Института системного программирования РАН

• Технология Azov автоматизации массового создания тестов работоспособности
  Р. С. Зыбин, В. В. Кулямин, А. В. Пономаренко, В. В. Рубанов, Е. С. Чернов, Труды Института системного программирования РАН

• Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6
  Зацепин Д.В., Шнитман В.З., Труды Института системного программирования РАН

• Верификация компиляторов - систематический подход
  С.В. Зеленов, Н.В. Пакулин, Труды Института системного программирования РАН

• Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения
  А.С. Камкин, Труды Института системного программирования РАН

• Тестирование трансляторов: проблема построения оракула для генератора кода
  Гингина В.В., Зеленов С.В., Зеленова С.А., Труды Института системного программирования РАН

• Тестирование компонентов, взаимодействующих посредством удаленного вызова методов
  В.С. Мутилин, Труды Института системного программирования РАН

• Об одном методе сокращения набора тестов
  Д.Ю. Кичигин, Труды Института системного программирования РАН

• Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов
  К.А. Власов, А.С. Смачёв, Труды Института системного программирования РАН

• Текущее состояние и перспективы развития инфраструктуры LSB
  Д.В. Силаков, Труды Института системного программирования РАН

• Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов
  А. С. Камкин, Труды Института системного программирования РАН

• Сравнение эффективности обходчиков UniTESK
  А. Р. Арутюнян, Российско-Армянский (Славянский) государственный университет, Ереван, Армения
  Труды Института системного программирования РАН

• Задачи верификации ОС Linux в контексте ее использования в государственном секторе
  В. П. Иванников, А. К. Петренко, Труды Института системного программирования РАН
• Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов
  Владимиров М.А., Труды Института системного программирования РАН
  

• Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления.
  С. Г. Грошев, Труды Института системного программирования РАН

• Генерация тестовых данных сложной структуры с учетом контекстных ограничений
  А.В. Демаков, С.В. Зеленов, С.А. Зеленова, Труды Института системного программирования РАН
  

• Паттерны проектирования тестовых сценариев
  В.С. Мутилин, Труды Института системного программирования РАН
  

• Автоматическая генерация тестовых данных для оптимизаторов графических моделей
  С.В. Зеленов, Д.В. Силаков, Труды Института системного программирования РАН

• Спецификация и тестирование систем с асинхронным интерфейсом
  А.В. Хорошилов
  Препринт Института Системного Программирования РАН

• Использование формальных методов для обеспечения соблюдения программных стандартов
  Алексей Гриневич, Виктор Кулямин, Денис Марковцев,
  Александр Петренко, Владимир Рубанов, Алексей Хорошилов
  

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

• Модульное тестирование. Зачем, как и кто
  Сергей Мартыненко

• Модульное тестирование и Test-Driven Development, или Как управлять страхом в программировании
  Сергей Белов, менеджер проекта компании StarSoft Development Labs
  "IT News", #21/2005

• Стратегия в тестировании
  Вячеслав Панкратов, www.Software-Testing.Ru

• Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа
  С.В. Зеленов, С.А. Зеленова
  Труды Института Системного Программирования РАН

• Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий
  Калинов А.Я., Косачёв А.С., Посыпкин М.А., Соколов А.А.,
  Труды Института Системного Программирования РАН.

• Препарируем RUP - задачи и роли в тестировании
  Вячеслав Панкратов, Software-testing.ru

• Функциональное тестирование Web-приложений на основе технологии UniTesK
  А.А. Сортов, А.В. Хорошилов.
  Труды Института Системного Программирования РАН

• Комбинаторика слов и построение тестовых последовательностей
  В. В. Кулямин, Труды Института Системного Программирования РАН

• Автоматизация процесса тестирования при помощи методологии и инструментальных средств IBM Rational.
  Новичков Александр, Ематин Виктор, Закис Алексей, Шкляева Наталья, Подоляк Ольга, CM consult

• Парное тестирование - возьмём от ХР лучшее
  Вячеслав Панкратов, автор проекта "Тестер", http://software-testing.ru

• Разработка критериев анализа систем автоматизации тестирования
  Вячеслав Панкратов, автор проекта "Тестер".
  Статья была опубликована в Журнале для профессиональных программистов "argc & argv", Выпуск № 6 (51/2003)

• Подход UniTesK к разработке тестов: достижения и перспективы
  А.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов
  Труды Института системного программирования РАН

• Тестирование на основе моделей
  Александр Петренко, Елена Бритвина, Сергей Грошев, Александр Монахов, Ольга Петренко, Открытые системы, #09/2003

• Применение модельного подхода для автоматического тестирования оптимизирующих компиляторов
  С.В. Зеленов, С.А. Зеленова, А.С. Косачев, А.К. Петренко, Институт Системного Программирования РАН
  В статье предлагается концепция автоматизированного построения тестовых наборов и тестовых оракулов для тестирования оптимизаторов. Используется подход, основанный на генерации тестов из моделей. Основные идеи модельного подхода заключаются в следующем: 1) модельный язык неявно разбивает множество программ целевого языка на классы эквивалентности; 2) критерий тестового покрытия формулируется в терминах модельного языка; 3) в соответствии с выбранным критерием генерируется набор тестов. В работе описывается схема построения тестового оракула, который проверяет сохранение семантики программы после ее оптимизации.

• Применение формальных методов для тестирования реализации IPv6
  Г.В.Ключников, А. К. Косачев, Н.В. Пакулин, А. К. Петренко, В.З.Шнитман
  В статье представлен опыт разработки тестового набора для реализации протокола IPv6. Для разработки тестового набора использовался метод разработки тестовых наборов на основе формальных спецификаций UniTesK, развиваемый в Институте системного программирования РАН. В качестве объекта тестирования была выбрана реализация IPv6 от Microsoft Research. В статье подробно описывается устройство полученного тестового набора и обсуждаются результаты проекта.

• Автоматизированное тестирование при разработке ПО
  Виктор Ематин, Борис Позин (rational@sibintek.ru), www.sibintek.ru

• Управление изменениями, тестированием и документированием с использованием технологий Rational
  Александр Новичков
  В статье рассказывается о средстве управления изменениями Rational ClearQuest, которое позволяет совместно с инструментами тестирования тщательно документировать встречающиеся при испытаниях дефекты. читать >>>
  

• Управление тестированием, разработкой и конфигурацией на основе Rational Change Request Management
  Александр Новичков
  В статье рассказывается о программном продукте ClearQuest от компании Rational, который помогает разработчикам и тестировщикам находить и документировать ошибки в разрабатываемом ПО. читать >>>
  

• Средства тестирования от компании Rational
  Александр Новичков

• Средства тестирования приложений для разработчиков. Инструменты от компании Rational Software
  Александр Новичков