Introduction to Model-Based Testing Sample Clauses

Introduction to Model-Based Testing. (MBT) Model-based testing (MBT) is a variant of testing that relies on explicit behavior models that encode the intended behavior of a system and possibly the behavior of its environment. There are several definitions of model-based testing: Model-based testing is the generation of executable black-box tests from a behavioral model of the SUT (System Under Test) [4]. Model-based Testing provides a technique for automatic generation of test cases using models extracted from software artifacts [5]. Model-based testing is a testing technique where the runtime behavior of an implementation under test is checked against predictions made by a formal specification, or model (Xxxxx Xxxxxxxx, Microsoft Research). There are also different approaches known as model-based testing [4]: Generation of test input data from a domain model Generation of test cases from an environment model Generation of test cases with oracles from a behavior model Generation of test scripts from abstract tests In terms of model-based testing, the necessity to validate the model implies that the model must be simpler than the SUT, or at least easier to check, modify and maintain. Otherwise, the efforts of validating the model would equal the efforts of validating the SUT (see Figure 2-1). Figure 2-1: Model-based testing uses models of the SUT and its environment [9] The model describing the SUT is usually an abstract, partial presentation of the system under test's desired behavior. The test cases derived from this model are functional tests on the same level of abstraction as the model. These test cases are collectively known as the abstract test suite. The abstract test suite cannot be directly executed against the system under test because it is on the wrong level of abstraction. Therefore an executable test suite must be derived from the abstract test suite that can communicate with the system under test. This is done by mapping the abstract test cases to concrete test cases suitable for execution [6]. Figure 2-2: Model based testing [6]