Тестирование
В.В.Кулямин, ИСП РАН
Дэвид Лордж Парнас
Перевод: Виктор Кулямин-
, , Труды Института системного программирования РАН -
, , , Труды Института системного программирования РАН -
, , , Труды Института системного программирования РАН -
, , Труды Института системного программирования РАН -
, Труды Института системного программирования РАН -
, , Труды Института системного программирования РАН -
, Труды Института системного программирования РАН -
, Труды Института системного программирования РАН -
, Труды Института системного программирования РАН -
, , , Труды Института системного программирования РАН -
, , , , , Труды Института системного программирования РАН -
Зацепин Д.В., Шнитман В.З., Труды Института системного программирования РАН -
С.В. Зеленов, Н.В. Пакулин, Труды Института системного программирования РАН -
, Труды Института системного программирования РАН -
Гингина В.В., Зеленов С.В., Зеленова С.А., Труды Института системного программирования РАН -
, Труды Института системного программирования РАН
Д.Ю. Кичигин, Труды Института системного программирования РАН
К.А. Власов, А.С. Смачёв, Труды Института системного программирования РАН
, Труды Института системного программирования РАН
А. С. Камкин, Труды Института системного программирования РАН
, Российско-Армянский (Славянский) государственный университет, Ереван, Армения
Труды Института системного программирования РАН- Задачи верификации ОС 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, который помогает разработчикам и тестировщикам находить и документировать ошибки в разрабатываемом ПО.