Presentation on theme: "Voluntary exercise II Solution Tor Stålhane IDI / NTNU."— Presentation transcript:
Voluntary exercise II Solution Tor Stålhane IDI / NTNU
Heating element Temperature sensor Heating element 220V AC Controller I/O panel
Requirements – natural language 1.The user shall be able to use a simple panel to define time intervals, consisting of – Starting time – Ending time – Temperature during this interval – Ta 2.The time intervals are not allowed to overlap 3.The user shall be able to use a simple panel to define a temperature tolerance value d. 4.If the user don't set a temperature tolerance, the system shall use default value d = 2 o C 5.If the temperature falls below Ti – d, the heather shall be turned on 6.If the temperature exceeds Ti + d, the heather shall be turned off 7.If time is outside all defined intervals the temperature shall be set to a predefined default value T0.
Requirements – boilerplates 1. shall be able to 2. shall be able to 3. shall be able to 4.If, shall 5. shall have 6. shall have 7. shall have 8.In order to, shall have 9.In order to, shall have 10.If, shall 11.If, shall 12.When, shall 13. shall at least times per 14. shall not allow to 15.If, shall
Tests – 1 Implement observation points for Temperature tolerance d Default temperature T0 Interval start, end and temperature for all defined intervals – for interval “a” we must be able to observe ts, te and Ta
Tests – 3 R1, R2, R7: define time interval a = [07h – 12h]. Check Ta = T0. Set Ta = 22 o. Check Ta = 22 o. R14: define time interval b = [11h – 15h]. Check for error message. Check that time interval b does not exist. Define interval c = [08h – 10h] Check for error message Check that interval c dies not exist R3, R4: check d = 2 o. Set d = 1 o. Check d = 1 o. R15: check temperature setting outside interval a = T0.
Tests – 4 Temperature sensor Controller I/O panel Thermostat unit Keeps temperature sensor at pre-set value Temperature setting Switch state logging unit Log
Tests – 5 R10, R11, R12: Define time intervals interval a = [07h – 12h] and b = [19h – 22h]. Ta = 22 o, Tb = 18 o, d = 1 o. Set thermostat unit to 20 o = T0. Start test with controller clock at 06h. We should observe: 07h + max 40s: switch “On” 12h + max 40s: switch “Off” Nothing else should happen.
Tests – 6 Define time intervals interval a = [07h – 12h]. Ta = 22 o, d = 1 o. Set thermostat unit to 20 o = T0. Start test with controller clock at 06. We should observe: 07h + max 40s: switch “On” Set thermostat unit to 24 o at 11. We should observe: 11h + max 40s: switch “Off” Nothing else should happen.