Лекции по Software Verification в Computer Science Club

Стандартный

В Computer Science клубе при ПОМИ РАН снова будет читаться курс, имеющий отношение к тестированию ПО. На этот раз Natasha Sharygina прочтет мини-курс по Software Verification. Лекции будут на английском языке. Описание курса с сайта клуба:

The course introduces the theory and practice of formal methods for the design and analysis of software systems. The course will cover the underlying logical and theoretical concepts, with focus on the algorithmic solutions, and heuristics to cope with the high computational complexity.

Lectures:

  • Introduction to model checking: system modeling and logic specifications
  • Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking
  • SAT–based software model checking

Лекции пройдут 22, 23 и 28 мая. Время указано в расписании (см. тег SV). Там же есть ссылки на слайды и видео 2008 года, так что можно посмотреть и решить для себя стоит ли идти на лекции.

Реклама

Тестирование на основе моделей

Стандартный

Есть разные подходы к проведению и выполнению тестирования. В том числе разные по степени формализованности процесса тестирования: построения тестов, оценки покрытия и пр. В последнее время активно работают над более формальными методами, которые можно применить к тестированию. Об одном из таких методов 25 апреля в Санкт-Петербурге, в клубе Computer Science при ПОМИ РАН был прочитан мини-курс из трех лекций на тему «Тестирование на основе моделей». Автор курса Виктор Кулямин, ИСП РАН.

Читать далее

Как можно автоматизировать проверку инсталляции

Стандартный

Иногда приходится довольно часто и тщательно проверять установку продукта. Чтобы это не занимало много времени, желательно эту процедуру автоматизировать. Сразу оговорюсь, я расскажу, как можно проверить, что все файлы и ключи реестра находятся на своих местах (а не непосредство сам мастер установки). Читать далее

Обратная сторона качества

Стандартный

Да, все голосуют за качество, но если оно стоит лишнюю копейку, вы начинаете быстро познавать настоящее отношение к качеству со стороны тех, кто платит.

Том Демарко и Тимоти Листер. «Человеческий фактор: успешные проекты и команды»

Источник:  Форум портала для IT-менеджеров: www.it4business.ru

Инструментарий тестировщика

Стандартный

Думаю, у каждого it-шника есть свой набор излюбленных инструментов. Наверно у тестировщиков он самый разнообразный. Хочу поделиться своим, список далеко неполный, постараюсь перечислить основное. Я тестирую Win32 приложения, поэтому и инструментарий у меня соответствующий. Читать далее

Генерация xml-документов с помощью VBScript

Стандартный

Многие програмы хранят данные/настройки и т. п. в xml-документах. Часто при тестировании необходимо проверить что программа корректно ведет себя на довольно большом объеме этих саммых данных. Для этого бывает достаточно просто сгенерировать «большой» xml-документ. В принципе, для этого существуют специальные утилиты, но мне это проще сделать с помощью VBScript :) Собственно, о том как это сделать, я и собираюсь рассказать. Читать далее

Разработка сценариев тестирования

Стандартный

Решил поделиться схемой разработки testcase’ов, которой пользуюсь сам. Не претендую на полноту и уникальность, сейчас меня такой подход полностью устраивает. Возможно, кто-нибудь сможет извлечь из него что-то полезное и для себя. Собственно, процесс разработки сценариев тестирования состоит из четырех этапов:

  1. Определение требований к ПО
  2. Группировка требований по приоритету
  3. Определение use-case’ов
  4. Разработка сценариев тестирования на основе определенных use-case’ов Читать далее