Model-Based Software Testing and Analysis with C#


Книга Model-Based Software Testing and Analysis with C#


Название: Model-Based Software Testing and Analysis with C#
Автор: Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Издательство: Cambridge University Press
ISBN: 9780521687614
Жанр: Программи́рование
Год: 2008
Страниц: 349
Формат: PDF
Размер: 2 МБ
Качество: Отличное
Язык: Английский
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, more thorough, and more effective. Using a familiar programming language, testers and analysts will learn to write models that describe how a program is supposed to behave. The authors work through several realistic case studies in depth and detail, using a toolkit built on the C# language and the .NET framework. Readers can also apply the methods in analyzing and testing systems in many other languages and frameworks. Intended for professional software developers including testers, and for university students, this book is suitable for courses on software engineering, testing, specification, or applications of formal methods.

Скачать c bezsms.org
Скачать c turbobit.net
Скачать c file-space.org
Скачать c dfiles.ru

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12815 раз



Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Тропою испытаний djvu  9,7Мб

    Тропою испытаний djvu 9,7Мб

    Название: Тропою испытанийАвтор: Федосеев Григорий АнисимовичИздательство: ДетгизГод: 1958Страниц: 274Формат: DJVU Размер: 9.7МбКачество: хорошееЯзык: русский"Тропою испытаний" - книга-путешествие, кн . . .

  • Журнал Каталог деталей автомобиля Волга ГАЗ-24 pdf 11,3Мб

    Каталог деталей автомобиля Волга ГАЗ-24 pdf 11,3Мб

    Автор: Горьковский з-дИздательство: МашиностроениеСтраниц: 208 стр.Год выхода: 1980 г.Формат: PDFРазмер: 11,3 Mb (rar+3%)В настоящем каталоге дан перечень узлов и деталей легковых автомобилей "Волга" . . .

  • Журнал Daewoo Nexia. Устройство, эксплуатация, обслуживание, ремонт djvu 33,7Мб

    Daewoo Nexia. Устройство, эксплуатация, обслуживание, ремонт djvu 33,7Мб

    Автор: За рулемИздательство: За рулемСтраниц: 272 стр.Год выхода: 2004 г.Формат: DJVUРазмер: 33,7 Mb (rar+3%)Книга из серии полноцветных иллюстрированных руководств по ремонту автомобилей своими силам . . .

  • Журнал Ford Taunus с 1976 г. Руководство по ремонту и обслуживанию djvu 65,6Мб

    Ford Taunus с 1976 г. Руководство по ремонту и обслуживанию djvu 65,6Мб

    Автор: Коллектив авторовИздательство: МашсервисСтраниц: 264 стр.Год выхода: 1997 г.Формат: DJVUРазмер: 65.6 Mb (rar+3%)Настоящее Руководство является учебным пособием, необходимым для изучения правил . . .

  • Журнал Крым. Стройиндустрия. Энергосбережение №3 2012

    Крым. Стройиндустрия. Энергосбережение №3 2012

    Название: Крым. Стройиндустрия. ЭнергосбережениеГод / месяц: 2012 / сентябрьНомер: №3(16)Формат: pdfРазмер: 29.1 MbСпециализированный журнал для строителей, энергетиков, архитекторов и дизайнеров.Цель . . .

  • Журнал Car and Driver (March 2010) pdf 40,84Мб

    Car and Driver (March 2010) pdf 40,84Мб

    название : Car and Driver издатель : Hachette Filipacchi Media U.Sгод: March 2010язык :Englishформат: pdfстраниц : 116размер : 40,84 мбCar and Driver is an American automotive enthusiast magazine. Its . . .

  • Журнал Automobile (March 2010) pdf 16,07Мб

    Automobile (March 2010) pdf 16,07Мб

    название : Automobileиздатель : Source Interlink Magazines, LLC.год: march 2010язык :Englishформат: pdfстраниц : 116размер : 16,07 мбIgnition10 NEWSThe new New Beetle, Kia’s futureproduct plans, Tesl . . .

  • Журнал Военная мысль №2 2011

    Военная мысль №2 2011

    Название: Военная мысльГод / месяц: 2011Номер: №2Формат: pdfРазмер: 18 Mb«Военная мысль» – старейшее и основное военно-теоретическое издание Министерства обороны Российской Федерации. Свою историю оно . . .

  • Журнал Lam George - Landscape design USA. Ландшафтный дизайн США pdf 91Мб

    Lam George - Landscape design USA. Ландшафтный дизайн США pdf 91Мб

    Автор:Lam GeorgeНазвание: Landscape design USA. Ландшафтный дизайн СШАИздательство: Links InternationalГод: 2007Формат: PDFРазмер: 91МВСтраниц:360ISBN: 84-96424-61-8 В представленном издании вы сможе . . .

  • Журнал Домоводство. Настольная книга хозяйки. djvu 4,67Мб

    Домоводство. Настольная книга хозяйки. djvu 4,67Мб

    Название: Домоводство. Настольная книга хозяйкиАвтор: Одинец А. А.Год издания: 2005ISBN: 5-462-00351-ХИздательство: АСТ-ПРЕСССтраниц: 320Формат: djvuКачество: Среднее Размер: 4.67 MbКак заниматься дом . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Model-Based Software Testing and Analysis with C#. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.