Лекции по 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 при ПОМИ РАН был прочитан мини-курс из трех лекций на тему «Тестирование на основе моделей». Автор курса Виктор Кулямин, ИСП РАН.

Читать далее

Одна простая сказка

Стандартный

На моём прошлом месте работы работают очень креативные ребята. Причем, кроме спонтанного проявления креатива, бывает еще плановый :) Есть там одна традиция — каждый год на день рождения филиала придумывать номера, сценки, песни и т.д. и т.п. и потом это все друг другу показывать. Надо сказать, идея просто отличная! Отдельные номера обсуждают годами :) Так вот, однин из продуктов  этого творчества я хочу показать. Это сказка о том, как бывает трудно выбраться в отпуск. В общем, приятного просмотра ;)

Welcome to Scripting Games 2009!

Стандартный

В этом году Microsoft Scripting Games пройдут летом. Scripting Games — это отличная возможность разобраться с VBScipt и/или Power Shell’ом для начинающих и прокачать свои скилы для продвинутых скриптеров. В этом году игры начнутся 15 июня.

Участникам предлагается решить 10 задач на одном из двух языков (или на обоих сразу). Есть два уровня сложности: beginner и advanced. Участвовать можно сразу в обоих уровнях. Итого можно написать 40 скриптов (20 на VBScript и 20 на Power Shell). Все задания занимательные и полезные. Решать их интересно. В этом году можно будет просмотреть скрипты других участников, что не может не радовать :)

Тем, кто успешно справится с заданиями, могут достаться призы. Какие именно — пока не очень ясно. Подробнее можно посмотреть здесь. В прошлом году всем участникам высылали сертификаты и случайным образом разыгрывали дистрибутивы MS Vista, Sapien PrimalScript и пр.

Короче, всем кто интересуется VBScript и Power Shell настоятельно рекомендую участвовать :)

Помогите себе думать

Стандартный

Все мы немножко думаем. Чтобы делать это лучше, придумываются разные методы и инструменты. Иногда их называют «инструменты усиления интеллекта». Одним из таких инструментов является Mind Map (по-русски это может называться «диаграмма связей», «ассоциативная карта», «карта памяти» и еще как-нибудь :)). Википедия говорит про них следующее:

Диаграмма связей, известная также как интеллект-карта, (англ. Mind map) — способ изображения процесса общего системного мышления с помощью схем. Также может рассматриваться как удобная техника альтернативной записи.

Диаграмма связей реализуется в виде древовидной схемы, на которой изображены слова, идеи, задачи или другие понятия, связанные ветвями, отходящими от центрального понятия или идеи. В основе этой техники лежит принцип «радиантного мышления», относящийся к ассоциативным мыслительным процессам, отправной точкой или точкой приложения которых является центральный объект. (Радиант — точка небесной сферы, из которой как бы исходят видимые пути тел с одинаково направленными скоростями, например, метеоров одного потока). Это показывает бесконечное разнообразие возможных ассоциаций и следовательно, неисчерпаемость возможностей мозга. Подобный способ записи позволяет диаграмме связей неограниченно расти и дополняться. Диаграммы связей используются для создания, визуализации, структуризации и классификации идей, а также как средство для обучения, организации, решения задач, принятия решений, при написании статей.

Т.к. думать, в принципе, можно о чем угодно, Mind Map можно использовать даже в работе :) Например, для анализа тестируемого приложения, при разработке стратегии тестирования или для проектирования тестов.

Для работы с Mind Map существует большое количество инструментов (есть даже web-сервисы). Одним из самых удобных, на мой взгляд, является программка FreeMind. Она

  • Бесплатная
  • Кросс-платформенная
  • Поддерживает экспорт в различные форматы (в том числе может создавать интерактивные карты на основе flash и Java-апплетов)

С помощью этой программки, например, можно сделать такую штуку.

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

Стандартный

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

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

Стандартный

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

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

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