Exclusive Content & Downloads from ASQ

Supporting Model-Based Testing with Scenarios and State Machines

Summary: [This abstract is based on the authors' abstract.]Model-based software testing is a technique in which the test cases are taken from a model of the system being tested. The model is usually an abstract representation of the desired behavior given as one or more finite state machines (FSMs). Obtaining a correct and complete set of FSMs for model-based testing can be difficult. A method is proposed for developing an FSM model appropriate for model-based testing of object-oriented software. The method begins with the development of sequences that are then converted into a set of FSMs to which lower level details can be added. A telecommunications case study illustrates the application of the method.

Anyone with a subscription, including Site and Enterprise members, can access this article.

Other Ways to Access content:

Join ASQ

Join ASQ as a Full member. Enjoy all the ASQ member benefits including access to many online articles.

Subscribe to Software Quality Professional Magazine

Access this and ALL OTHER Software Quality Professional Magazine online articles. You'll also receive the print version by mail.

  • Topics: Product Development and Recall, Software Quality
  • Keywords: Hypothesis testing,Modeling,Product development,Software,Validation,Verification
  • Author: Whittle, Jon; Chakraborty, Joy; Kruger, Ingolf
  • Journal: Software Quality Professional Magazine