Trends in Testing: Theory, Techniques and Tools

2004 University of Washington and Microsoft Research Summer Institute

Home
Attendees
Pictures
Schedule
Contact Information

Overview

There are a number of trends in testing research and technology that indicate a renaissance in testing theory, techniques and tools. These trends include:

  • increased use of executable specifications;
  • application of automated technology for detecting defects in programs and proving simple properties of complex programs;
  • inference of program behavior from run-time observations;
  • test-driven development methodologies;
  • feedback from applications running in the field;
  • modular testing of components;
  • cross-fertilization of hardware and software testing technology.

The 2004 UW/MSR Summer Institute on Trends in Testing took place at the Skamania Lodge in Portland, Oregon from Sunday August 22 through Thursday August 26. For more information, see the sidebars to the right.

What's  New?

Goals

The goal of this institute (part of a series of joint summer institutes co-sponsored by the University of Washington and Microsoft Research) is two-fold. The first goal is to bring together researchers and practitioners in testing to learn about and discuss recent positive trends in software testing. The second goal is to crystallize what the key testing challenges and problems for the next 5-10 years are. Part of this second goal is to bring a critical focus to bear on the testing theory, techniques and tools that form the foundations of testing and answer the questions “what has worked well?” and “what is missing?”.

Home | Attendees | Pictures | Schedule | Contact Information

For problems or questions regarding this web contact tball@microsoft.com
Last updated: 06/23/04.