14 ответов в теме

[pine]

Буквально вчера забрал из редакции авторские экземпляры нашей второй книжки.

С.В. Синицын, Н.Ю. Налютин. Верификация программного обеспечения: Учебное пособие. - М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2008. - 368 с.

В ближайшее время появится в книжных магазинах.

Не сочтите за рекламу, но программирующей части 304.ru это может быть интересно.

Если в узком смысле - то книга о тестировании программного обеспечения. Если в широком - то тестирование рассматривается не само по себе, а уже как часть общих процессов верификации в жизненном цикле программного обеспечения, дается представление о том, как верификация связана с разработкой. Изложение лекционной части основывается на опыте авторов в сфере верификации авиационного бортового софта (>30 лет у 1 автора и >5 лет у второго ;), в семинарской части в качестве инструментария используется Visual Studio 2005 Team Edition for Software Testers (эта версия должна входить в подписку MSDN AA, на которую подписан ЛИТ), что тоже может оказаться полезным.

Курс на сайте ИНТУИТа: http://www.intuit.ru...ment/se/verify/
Купить через ИНТУИТовский магазин: http://www.intuit.ru...html?id=2493493
Купить на Озоне
http://www.ozon.ru/c...ail/id/3811628/
Выглядит оно вот так:

[Natuccia]

Ура!

[DNAlh]

Поздравляю! DN

[Ste!]

Симпатично оформлена =)

[Dragon]

Интересно, как скоро эта книжка войдет к нам в программу?..

[Garret]

Никита, извините за нескромный вопрос, а Вы случайно не причастны к появлению с _этого_ года в программе 4 курса ВМК курса "Верификация программ на мат моделях"?

[GrGr]

А кто автор ВМКшного курса? Я как раз учился на спецсеминаре "Верификация и валидация ПО". Сдается мне, я знаю автора, но не уверен

[Garret]

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

Вот тут лекции лежат: http://savenkov.lvk.cs.msu.su/mc.html
Стенограмма:
http://esyr.nizm.ru/.../index.php/ВПнМ
http://esyr.nizm.ru/...ex.php/В%...ля)
http://esyr.nizm.ru/...ex.php/В%...ля)
http://esyr.nizm.ru/...ex.php/В%...ля)

[Garret]

Так что возможно бум ботать к зачету/экзамену по твоей нетленке

[Garret]

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

Ну это не ко мне вопрос, а к создателям курса, скорее. Это не мой профиль, мне верификацией программ в профессиональной деятельности вряд ли придется заниматься, только если тесты в TestComplete гонять
А пока не сессия, я в предмет еще не до конца въехамши

[GrGr]

Как ни странно, я с аффтаром не пересекался... Впрочем, я на другой кафедре был. Насколько я понимаю, у нас всегда работает генеральная отмазка: модель должна строиться на основе архитектуры ПО по набору формальных методов - и здесь это вроде бы подразумевается.

[GrGr]

То-то и плохо, что это все-таки отмазка.

Ну, насколько я понимаю, мы не можем определить универсальные критерии правильности ПО, не имея формально специфицированной его функциональности. Как тогда быть?

[GrGr]

Во всяком случае, нас учили, что правильное ПО - это такое ПО, которое работает точно в соответствии со своим техзаданием и ни шагу в сторону

[KiberGus]

Во всяком случае, нас учили, что правильное ПО - это такое ПО, которое работает точно в соответствии со своим техзаданием и ни шагу в сторону

А если в техзадании указали, что хотят надежный (защищенный от взлома) месенджер для UNIX я могу написать программу, кооря захватит себе все ресурсы компьютера и в целях безопасности будет блокировать возможность запуска сторонних приложений? Все будет по ТЗ, но такое поведение заведомо будет не тем, что бы хотел пользователь.

[GrGr]

А здесь уже начинает играть роль то, насколько грамотно ТЗ составлено А вообще, как мне кажется, это уже не сколько формалистика, сколько философия