(4 slides per page) - Updated

Overview
Phase 10
Introduction
Notations
Java
Implementation
of modules
Module Tests
Procedure
Example - TLC
Example - SBC
Phase 11
Phase 12
Summary
Overview
Phase 10
Introduction
Notations
Java
Implementation
of modules
Module Tests
Procedure
Example - TLC
Example - SBC
Phase 11
Phase 12
Summary
Test environment for the application component
:TestAppTrafficLightsControl
:TestCases
Application
srr_if’
lights_state_if
: TrafficLightBehavior
: LightsApp
TestDriver
Test cases according to Phase 8.
bl_if’
er_if’
Implementation of LightsTestDriver for
lights state if
timeout
class LightsAppTestDriver implements lights_state_if {
int color = 0;
public final static int M_R = 1;
public final static int S_R = 2;
public final static int M_RY = 3;
[...]
public final static int ALL_OFF = 9;
}
public void main_red(){ color = M_R; }
public void sec_red(){color = S_R; }
public void main_yellow(){color = M_Y; }
[...]
public void all_off(){color = ALL_OFF;}
public boolean checkColor(int colorNr) {
boolean ret = (colorNr == color);
color = 0;
return ret;
}
: Timer
TestDriver
set_timeout
53 / 89
55 / 89
Overview
Phase 10
Introduction
Notations
Java
Implementation
of modules
Module Tests
Procedure
Example - TLC
Example - SBC
Phase 11
Phase 12
Summary
Overview
Phase 10
Introduction
Notations
Java
Implementation
of modules
Module Tests
Procedure
Example - TLC
Example - SBC
Phase 11
Phase 12
Summary
Implementation of test driver for set timeout
package tlc;
class TimerTestDriver implements set_timeout {
int sec = -1;
public void SetTimeOut(int seconds) {
sec = seconds;
}
public boolean checkSetTimeOut(int second) {
boolean ret = (sec == second); sec = -1;
return ret;
}
}
Reset of sec to enable two consecutive checks with same value.
Implementation of test cases for
TrafficLightBehavior I
package tlc;
import junit.framework.TestCase;
public class TrafficLightBehaviorTest extends TestCase {
TrafficLightBehavior tlb;
LightsAppTestDriver lia;
TimerTestDriver tot;
public void testInitialization() {
// Initialize the test environment and the SUT
(System unter test).
54 / 89
56 / 89