Overview

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.

ISBN-13

9780521687614

ISBN-10

0521687616

Weight

1.30 Pounds

Dimensions

6.69 x 0.83 x 9.61 In

List Price

$42.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

366 pages

Publisher

Cambridge University Press

Published On

2007-11-12



View All Offers

Sort by:

Rows per page:

1–5 of 5

Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
Half Price Books Inc
★★★★☆

Dallas, TX, USA

Connecting readers with great books since 1972! Used books may not include companion materials, and ...
$11.77

 Free delivery by: 31 Mar 2026

Brand New
Seller details
Solr Books
★★★★★

Lincolnwood, IL, USA

$33.66

 Free delivery by: 31 Mar 2026

Brand New
Seller details
Alibris
★★★★★

Sparks, NV, USA

Print on demand Trade paperback (US). Glued binding. 366 p. Contains: Unspecified, Line drawings, b...
$51.21

 Free delivery by: 31 Mar 2026

Brand New
Seller details
discount_scientific_books
★★★★★

Sterling Heights, MI, USA

New, US edition. Satisfaction guaranteed! !
$53.70

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.