InfoQ

News

Interview and Book Excerpt: Model Based Software Testing and Analysis with C#

Posted by James Vastbinder on Feb 21, 2008 12:20 PM

Community
.NET,
Architecture
Topics
Code Analysis,
Software Testing,
.NET Framework
Tags
Book,
C#,
Testing

InfoQ was given the opportunity to speak with the authors: Jonathan Jacky, Margus Veanes, Colin Campbell and Wolfram Schulte who decided to respond to the questions as a collective.  Their book, Model Based Software Testing and Analysis with C#,  was recently published by Cambridge University Press whom provided to InfoQ Chapter 1, "Describe, Analyze, Test". 

When asked as to their motivation for authoring this volume they responded:

 

We want to provide up-to-date information on a particular, practical approach for model-based testing that is used successfully inside Microsoft. We also wanted to provide educators with resources so that they can start teaching model-based testing, since we believe that's not done enough.  The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.

The book makes this idea accessible to a broad audience.  

 

Read more of their responses as well as to gain access to the chapter excerpt provided by InfoQ.

2 comments

Reply

Best parctice to Test MVC abed apps. by Aswath aramdaka Posted Feb 22, 2008 8:39 AM
Re: Best parctice to Test MVC abed apps. by CyberLight CYberLiGht Posted Mar 3, 2008 6:01 AM
  1. Back to top

    Best parctice to Test MVC abed apps.

    Feb 22, 2008 8:39 AM by Aswath aramdaka

    cool stuff. required more best practices to test mvc apps

  2. Back to top

    Re: Best parctice to Test MVC abed apps.

    Mar 3, 2008 6:01 AM by CyberLight CYberLiGht

    Cool!!!

Exclusive Content

Rationalizing the Presentation Tier

Thin client paradigm characterized by web applications is a kludge that needs to be repudiated. Old compromises are no longer needed and it's time to move the presentation tier to where it belongs.

Agile Project Management: Lessons Learned at Google

In this presentation filmed during QCon 2007, Jeff Sutherland, the creator of Scrum, talks about his visit at Google to do an analysis of Google's first implementation of Scrum.

AtomServer – The Power of Publishing for Data Distribution

In this article, Bryon Jacob and Chris Berry introduce AtomServer, their implementation of a full-fledged Atom Store based on Apache Abdera, which is now available as open source.

An Introduction to Virtualization

It is easy to think that virtualization applies only to servers. In reality the recent resurgence of the concept is also being applied to networking, storage, and application infrastructure.

REST Anti-Patterns

In this article, Stefan Tilkov explains some of the most common anti-patterns found in applications that claim to follow a "RESTful" design and suggests ways to avoid them.

Choosing between Routing and Orchestration in an ESB

In this article, Adrien Louis and Marc Dutoo discuss the differences and relative merits of using orchestration vs. routing in a typical ESB setup, and discuss various implementation options.

Enterprise Batch Processing with Spring

Wayne Lund discusses batch processing, Spring Batch objectives and features, scenarios for usage, Spring Batch architecture, scaling, example code, failures and retrying, and the future roadmap.

User Story Estimation Techniques

Developer Jay Fields draws on his experiences as a ThoughtWorks consultant to describe effective user story estimation techniques.