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

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



  • В.В.Кулямин, ИСП РАН


  • Дэвид Лордж Парнас
    Перевод: Виктор Кулямин


  • , , Труды Института системного программирования РАН


  • , , , Труды Института системного программирования РАН


  • , , , Труды Института системного программирования РАН


  • , , Труды Института системного программирования РАН


  • , Труды Института системного программирования РАН


  • , , Труды Института системного программирования РАН


  • , Труды Института системного программирования РАН


  • , Труды Института системного программирования РАН


  • , Труды Института системного программирования РАН


  • , , , Труды Института системного программирования РАН


  • , , , , , Труды Института системного программирования РАН


  • Зацепин Д.В., Шнитман В.З., Труды Института системного программирования РАН


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


  • , Труды Института системного программирования РАН


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


  • , Труды Института системного программирования РАН


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


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


  • , Труды Института системного программирования РАН


  • А. С. Камкин, Труды Института системного программирования РАН


  • , Российско-Армянский (Славянский) государственный университет, Ереван, Армения
    Труды Института системного программирования РАН

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


  • , Труды Института системного программирования РАН


  • , Труды Института системного программирования РАН


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


  • , Труды Института системного программирования РАН


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



  • Препринт Института Системного Программирования РАН


  • , , ,
    , ,


  • , ,


  • Сергей Мартыненко


  • Сергей Белов, менеджер проекта компании StarSoft Development Labs


    , #21/2005

  • ,

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

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

  • Вячеслав Панкратов, Software-testing.ru

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

  • В. В. Кулямин, Труды

  • Новичков Александр, Ематин Виктор, Закис Алексей, Шкляева Наталья, Подоляк Ольга,

  • , автор проекта "Тестер",

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

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

  • Александр Петренко, Елена Бритвина, Сергей Грошев, Александр Монахов, Ольга Петренко,

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

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

  • Виктор Ематин, Борис Позин (),


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


  • В статье рассказывается о программном продукте ClearQuest от компании Rational, который помогает разработчикам и тестировщикам находить и документировать ошибки в разрабатываемом ПО.




Содержание раздела