-What we just saw with the category-partition method, is a - -2
-specific instance of this systematic - -3
-functional testing approach. So specific instance - -4
-of the steps that we represented here. And, as I - -5
-mentioned earlier on, this is not the only way in which - -6
-you can generate test cases, starting from a functional specification. - -7
-In particular, this step, in which we identified relevant inputs and - -8
-then we combine them to generate test case specifications, can also - -9
-be done in different ways. And, we're going to look at one - -10
-of these ways. Which is through the construction of a - -11
-model. And, the reason why I want to talk about models. - -12
-Is because, model based testing is also, fairly popular in - -13
-industry. And fairly used in practice. In model based testing, the - -14
-way in which we go from specifications, to test cases, - -15
-is through the construction of a model. Where a model is - -16
-an abstract representation of the software under test. Also in - -17
-this case there are many possible models, that we can use. - -18
-And what we're going to do, we're going to focus - -19
-on a specific kind of model. And I'll - -20
-just point you to additional sources of information, - -21
-in case you're interested in seeing other examples. -- cgit 1.4.1