1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
1
00:00:00,370 --> 00:00:02,950
What we just saw with the category-partition method, is a
2
00:00:02,950 --> 00:00:05,530
specific instance of this systematic
3
00:00:05,530 --> 00:00:08,230
functional testing approach. So specific instance
4
00:00:08,230 --> 00:00:10,900
of the steps that we represented here. And, as I
5
00:00:10,900 --> 00:00:13,100
mentioned earlier on, this is not the only way in which
6
00:00:13,100 --> 00:00:16,700
you can generate test cases, starting from a functional specification.
7
00:00:16,700 --> 00:00:20,190
In particular, this step, in which we identified relevant inputs and
8
00:00:20,190 --> 00:00:23,390
then we combine them to generate test case specifications, can also
9
00:00:23,390 --> 00:00:25,490
be done in different ways. And, we're going to look at one
10
00:00:25,490 --> 00:00:28,170
of these ways. Which is through the construction of a
11
00:00:28,170 --> 00:00:31,040
model. And, the reason why I want to talk about models.
12
00:00:31,040 --> 00:00:34,090
Is because, model based testing is also, fairly popular in
13
00:00:34,090 --> 00:00:37,680
industry. And fairly used in practice. In model based testing, the
14
00:00:37,680 --> 00:00:41,150
way in which we go from specifications, to test cases,
15
00:00:41,150 --> 00:00:44,220
is through the construction of a model. Where a model is
16
00:00:44,220 --> 00:00:47,670
an abstract representation of the software under test. Also in
17
00:00:47,670 --> 00:00:50,860
this case there are many possible models, that we can use.
18
00:00:50,860 --> 00:00:52,180
And what we're going to do, we're going to focus
19
00:00:52,180 --> 00:00:54,370
on a specific kind of model. And I'll
20
00:00:54,370 --> 00:00:57,010
just point you to additional sources of information,
21
00:00:57,010 --> 00:00:59,070
in case you're interested in seeing other examples.
|
