Лекции по 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

Как растабулировать xml-документ

Если создавать xml-документ с помощью Microsoft.XMLDOM, то в текстовом виде файл этот почему-то записывается в одну строку. Вобщем-то, если работать с файлом программно или смотреть его с помощью, например, Internet Explorer, то проблем не возникает.  Но вот просматривать/редактировать такой файл с помощью текстового редактора страшно неудобно, особенно если хочется быстро поменять какой-то параметр в файле на стенде, где не стоит никаких специальных тулов. Следущая функция на VBScript умеет делать из однострочного xml-документа нормальный, со всеми нужными отступами.

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

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

Как из скрипта запустить Windows-службу с параметром

Как-то раз мне понадобилось запустить из vbs-скрипта службу с параметром. Долго искал как это сделать, нашел только один способ. Есть такая полезная штука — Windows Server 2003 Resource Kit Tools. Это набор различных утилит для администрирования. В том числе там есть тула SC.exe.

SC представляет собой программу командной строки, используемую для связи диспетчера управления службами со службами.

Так вот, это тула много чего умеет делать со службами:

• Запускать/останавливать;
• Получать состояние службы;
• Удалять службы;
• Получать зависимости службы и другие параметры.

Синтаксис у нее следующий:

sc <сервер> [команда] [имя службы] <параметр1> <параметр2>...

Чтобы запустить службу с параметром, нужно выполнить следующую команду:

sc.exe start MySrv MyParam

Где MySrv — имя службы (которое не Display Name, а Service Name), MyParam — параметр службы.

Собственно, для запуска из скрипта можно использовать следующий код:

Dim WshShell
Set WshShell = WScript.CreateObject("WScript.Shell")
Dim objSc
Set objSc = WshShell.Exec("sc.exe start MySrv MyParam")
Do While True
    If objSc.Status = 1 Then
        Exit Do
    Else
        WScript.Sleep 1000
    End If
Loop
If objSc.ExitCode <> 0 Then
    Wscript.Echo "Cannot start service 'MyService'" & _
        "sc.exe exit code = " & objSc.ExitCode
    Wscript.Quit 2
End If

PS. В этом же Resource Kit есть утилита Sleep.exe, которая просто умеет «засыпать». Ее полезно использовать в bat-файлах, если нужно приостановить выполнение команд.