O'Reilly logo

Advances in Computers by Ali Hurson

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter Three

A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs

Raluca Marinescu*; Cristina Seceleanu*; Hèléne Le Guen; Paul Pettersson*    * Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden ALL4TEC, Laval, France

Abstract

Software testing aims at gaining confidence in software products through fault detection, by observing the differences between the behavior of the implementation and the expected behavior described in the specification. Nowadays, testing is the main verification technique used in industry, being a time and resource consuming activity. This has boosted the development of potentially more efficient testing techniques, like model-based testing, where test ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required