From 8a7dfa0972c83fd811a4296e7373574bea4a28d0 Mon Sep 17 00:00:00 2001 From: Nguyễn Gia Phong Date: Sun, 19 Jul 2020 20:34:40 +0700 Subject: [usth/ICT2.7] Remove Udacity transcribes --- .../25 - Finite State Machines - lang_en_vs4.srt | 103 --------------------- 1 file changed, 103 deletions(-) delete mode 100644 usth/ICT2.7/P4L2 Black-Box Testing Subtitles/25 - Finite State Machines - lang_en_vs4.srt (limited to 'usth/ICT2.7/P4L2 Black-Box Testing Subtitles/25 - Finite State Machines - lang_en_vs4.srt') diff --git a/usth/ICT2.7/P4L2 Black-Box Testing Subtitles/25 - Finite State Machines - lang_en_vs4.srt b/usth/ICT2.7/P4L2 Black-Box Testing Subtitles/25 - Finite State Machines - lang_en_vs4.srt deleted file mode 100644 index 26f2fd7..0000000 --- a/usth/ICT2.7/P4L2 Black-Box Testing Subtitles/25 - Finite State Machines - lang_en_vs4.srt +++ /dev/null @@ -1,103 +0,0 @@ -1 -00:00:00,160 --> 00:00:02,320 -The model that we will consider, is a very well - -2 -00:00:02,320 --> 00:00:05,330 -known one. Which is finite state machines. And you might have - -3 -00:00:05,330 --> 00:00:08,320 -seen them before. At a high level, a state machine is - -4 -00:00:08,320 --> 00:00:11,990 -a graph in which nodes represent states of the system. For - -5 -00:00:11,990 --> 00:00:15,650 -example, in this case, state 1, state 2, and state 3. - -6 -00:00:15,650 --> 00:00:19,950 -Edges represent transitions between states. For instance, in this case we - -7 -00:00:19,950 --> 00:00:22,850 -have one edge from state 1, to state 2. That means - -8 -00:00:22,850 --> 00:00:25,640 -that the system can go from state 1, to state 2. - -9 -00:00:25,640 --> 00:00:29,530 -And finally, the labels on the edges represent events - -10 -00:00:29,530 --> 00:00:32,800 -and actions. For example, what this label means is that - -11 -00:00:32,800 --> 00:00:35,400 -the system goes from state three to state two - -12 -00:00:35,400 --> 00:00:39,140 -when event five occurs. And when going from state three - -13 -00:00:39,140 --> 00:00:42,190 -to state two, it generates action four. And does - -14 -00:00:42,190 --> 00:00:45,430 -reacher model, sir reacher's kind of state machines, but we're - -15 -00:00:45,430 --> 00:00:48,160 -just going to stick to this ones which are enough. For - -16 -00:00:48,160 --> 00:00:50,760 -our purpose. So how do we build such a final - -17 -00:00:50,760 --> 00:00:53,530 -state machine starting from a specification? The first thing - -18 -00:00:53,530 --> 00:00:56,660 -we need to do is to identify the system's boundaries - -19 -00:00:56,660 --> 00:00:59,250 -and the input and output to the system. Once we - -20 -00:00:59,250 --> 00:01:01,960 -have done that, we can identify, within the boundaries of - -21 -00:01:01,960 --> 00:01:06,070 -the system, the relevant states and transitions. So we split - -22 -00:01:06,070 --> 00:01:09,670 -this single state We'll refine it into several states. And - -23 -00:01:09,670 --> 00:01:12,640 -we also identify how the system can go from one - -24 -00:01:12,640 --> 00:01:16,830 -state to another. Including which inputs cause which transition, and - -25 -00:01:16,830 --> 00:01:19,350 -which result in outputs we can obtain. To - -26 -00:01:19,350 --> 00:01:21,810 -better illustrate that, let's look at a concrete example. -- cgit 1.4.1