nmodel_rep_f

nmodel_rep_f - Model-Based Testing Using NModel Nick Brusso...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Model-Based Testing Using NModel Nick Brusso, John Reese
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Table of Contents 1. Model-Based Testing 1.1 What is Model-Based Testing?. ........................................................................... 1 1.2 What problems does Model-Based Testing help solve?. ..................................... 1 1.3 How does Model-Based Testing work?. .............................................................. 2 2. NModel 2.1 What is NModel?. ................................................................................................ 3 2.2 What is the motivation behind the NModel tool?. ............................................... 3 2.3 How does NModel work?. ................................................................................... 3 3. Using NModel to Test Software 3.1 Program Overview. .............................................................................................. 4 3.2 Writing the Model File. ........................................................................................ 4 3.3 Writing the Test Harness. ..................................................................................... 5 3.4 Making Sense of the Results. ............................................................................... 6
Background image of page 2
Preface P REFACE There are many steps to developing software, from design to deployment. One major aspect of software development is testing – ensuring that the software is correct. If a program does not do what it says it does, the program is then "incorrect", and the software is useless. There are many methods of testing software, each one having its own strengths and weaknesses. In this report we will be focusing on Model-Based Testing, using the NModel analysis framework. Model-Based Testing is quite different from the traditional method of testing software, which is generally done manually. Having a stronger understanding of what Model-Based Testing is, and how it can be used in the testing phases, can give software testers and developers alike more tools to ensure their software is correct. There are many ways to approach Model-Based Testing, and some methods have different benefits than others. For the scope of this report, we will be utilizing NModel which is an open source analysis framework developed at Microsoft Research. Model- Based Testing with NModel will be used to solve a software problem through an example as presented in the report.
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Background image of page 4
Model-Based Testing 1.1 WHAT IS MODEL-BASED TESTING? “Model-Based Testing is the automatic generation of efficient test procedures/vectors using models of system requirements and specified functionality.” [Thedacs, https://goldpractice.thedacs.com/practices/mbt/] Model-Based Testing is a method of testing computer software. Other forms of testing computer software include manual testing and automated testing. Model-Based Testing is focused on analyzing the behavior of a program, rather than testing individual functionalities of a program. Given an input, or a sequence of inputs, we want to ensure
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

Page1 / 13

nmodel_rep_f - Model-Based Testing Using NModel Nick Brusso...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online