Harry Robinson

Serious Quality, LLC

Model-based testing allows large numbers of test cases to be generated from a description of the behavior of the system under test. Given the same description and test runner, many types of scenarios can be exercised and large areas of the application under test can be covered, thus leading to a more effective and more efficient testing process.

Simply stated, behavioral testing involves providing inputs to the application under test and observing the application's outputs. We examine the outputs to verify that the application is behaving correctly. The term "test oracle," or simply "oracle," describes how we determine if the output we observed was correct. By "pre-oracled" data, we mean t...

Creating high-quality software that runs in any language is a big challenge. By changing our development process to stress early defect detection and by using the World Wide Web as a collaboration tool, we have dramatically improved the quality of our internationalized software.

Poka-yoke is a quality assurance technique developed by Japanese manufacturing engineer Shigeo Shingo. The aim of poka-yoke is to eliminate defects in a product by preventing or correcting mistakes as early as possible. Poka-yoke has been used most frequently in manufacturing environments. Hewlett Packard currently develops its Common Desktop Envir...

The complexity of modern software projects is increasing, and traditional, hand-crafted test suites have become unwieldy and fragile. Model-based testing can provide a tremendous increase in testing capability, but modeling technology must be integrated into everyday software testing. Small-scale pilot projects, readily available tools and tester e...

Models are a method of representing software behavior. Graph theory is an area of mathematics that can help us use this model information to test applications in many different ways. This paper describes several graph theory techniques, where they came from, and how they can be used to improve software testing. What's Wrong with Traditional Softwar...

Poka-yoke is a quality assurance technique developed by Japanese manufacturing engineer Shigeo Shingo. The aim of poka-yoke is to eliminate defects in a product by preventing or correcting mistakes as early as possible. Poka-yoke has been used most frequently in manufacturing environments. Hewlett Packard currently develops its Common Desktop Envir...