Saltware / Mbed 2 deprecated Water Play

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Dependencies:   mbed DRV88255 TextLCD Ping mbed-rtos

testing.cpp@31:1c50d2d8c155, 2016-06-14 (annotated)

Committer:
sbouber1
Date:
Tue Jun 14 10:51:15 2016 +0000
Revision:
31:1c50d2d8c155
Parent:
30:cf12566013a5
Child:
36:8aeb014bd651
more test stuff

Who changed what in which revision?

UserRevisionLine numberNew contents of line
sbouber1 21:17dd0d778bda 1 #include "mbed.h"
sbouber1 21:17dd0d778bda 2
sbouber1 19:ee89eabe1fa2 3 #include "MockSensorController.h"
sbouber1 19:ee89eabe1fa2 4 #include "AlarmController.h"
sbouber1 19:ee89eabe1fa2 5 #include "testing.h"
sbouber1 19:ee89eabe1fa2 6
sbouber1 21:17dd0d778bda 7 #define NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM 30
sbouber1 28:f4a4ee58d57e 8 #define NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM 300
sbouber1 19:ee89eabe1fa2 9
sbouber1 31:1c50d2d8c155 10 void TestCase::assert(bool b, const char *error) {
sbouber1 19:ee89eabe1fa2 11 if(!b) {
sbouber1 19:ee89eabe1fa2 12 printf("[%s] ASSERTION FAILED: %s\r\n", this->name, error);
sbouber1 19:ee89eabe1fa2 13 this->failed = true;
sbouber1 19:ee89eabe1fa2 14 }
sbouber1 19:ee89eabe1fa2 15 }
sbouber1 19:ee89eabe1fa2 16
sbouber1 28:f4a4ee58d57e 17 MOCK(temp_mock_steady, 35.0);
sbouber1 23:46cc7d776988 18 MOCK(salt_mock_steady, 6.1);
sbouber1 23:46cc7d776988 19 MOCK(prox_mock_steady, 10.0);
sbouber1 23:46cc7d776988 20
sbouber1 30:cf12566013a5 21
sbouber1 22:4b5bf1c2e1ff 22 MOCK(temp_mock1, 40.1+(t/1000.0));
sbouber1 30:cf12566013a5 23 ALARM_TEST(testTempDangerousHighAlarm, temp_mock1, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 19:ee89eabe1fa2 24
sbouber1 22:4b5bf1c2e1ff 25 MOCK(temp_mock2, 29.9-(t/1000.0));
sbouber1 30:cf12566013a5 26 ALARM_TEST(testTempDangerousLowAlarm, temp_mock2, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 22:4b5bf1c2e1ff 27
sbouber1 22:4b5bf1c2e1ff 28 MOCK(temp_mock3, 30+t*0.000001);
sbouber1 30:cf12566013a5 29 ALARM_TEST(testTempLowRangeAlarm, temp_mock3, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 22:4b5bf1c2e1ff 30
sbouber1 22:4b5bf1c2e1ff 31 MOCK(temp_mock4, 38+t*0.000001);
sbouber1 30:cf12566013a5 32 ALARM_TEST(testTempHighRangeAlarm, temp_mock4, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 30:cf12566013a5 33
sbouber1 30:cf12566013a5 34 MOCK(overflow_undesired_mock, 900+(t/4000.0));
sbouber1 30:cf12566013a5 35 ALARM_TEST(testAlarmWaterOverflowUndesired, temp_mock_steady, salt_mock_steady, overflow_undesired_mock, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 30:cf12566013a5 36
sbouber1 30:cf12566013a5 37 MOCK(overflow_critical_mock, 1001+(t/4000.0));
sbouber1 30:cf12566013a5 38 ALARM_TEST(testAlarmWaterOverflowCritical, temp_mock_steady, salt_mock_steady, overflow_critical_mock, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 30:cf12566013a5 39
sbouber1 30:cf12566013a5 40 MOCK(leak_undesired_mock, 1+(t/4000.0));
sbouber1 30:cf12566013a5 41 ALARM_TEST(testAlarmWaterLeakUndesired, temp_mock_steady, salt_mock_steady, leak_undesired_mock, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 30:cf12566013a5 42
sbouber1 30:cf12566013a5 43 MOCK(leak_critical_mock, -1-(t/4000.0));
sbouber1 30:cf12566013a5 44 ALARM_TEST(testAlarmWaterLeakCritical, temp_mock_steady, salt_mock_steady, leak_critical_mock, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 22:4b5bf1c2e1ff 45
sbouber1 31:1c50d2d8c155 46 MOCK(salinity_mock1, 3.1+(t*0.00001));
sbouber1 31:1c50d2d8c155 47 ALARM_TEST(testSalinityLowRangeAlarm, temp_mock_steady, salinity_mock1, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 31:1c50d2d8c155 48
sbouber1 31:1c50d2d8c155 49 MOCK(salinity_mock2, 9.1+(t*0.00001));
sbouber1 31:1c50d2d8c155 50 ALARM_TEST(testSalinityHighRangeAlarm, temp_mock_steady, salinity_mock2, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 31:1c50d2d8c155 51
sbouber1 31:1c50d2d8c155 52 MOCK(salinity_mock3, 2.9-(t*0.00001));
sbouber1 31:1c50d2d8c155 53 ALARM_TEST(testSalinityDangerousLowAlarm, temp_mock_steady, salinity_mock3, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 31:1c50d2d8c155 54
sbouber1 31:1c50d2d8c155 55 MOCK(salinity_mock4, 12.1+(t*0.00001));
sbouber1 31:1c50d2d8c155 56 ALARM_TEST(testSalinityDangerousHighAlarm, temp_mock_steady, salinity_mock4, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 19:ee89eabe1fa2 57
sbouber1 23:46cc7d776988 58 bool testTemperatureHeater(TestCase *tc) {
sbouber1 23:46cc7d776988 59 // TODO
sbouber1 23:46cc7d776988 60 return true;
sbouber1 23:46cc7d776988 61 }
sbouber1 23:46cc7d776988 62
sbouber1 30:cf12566013a5 63
sbouber1 30:cf12566013a5 64
sbouber1 30:cf12566013a5 65
sbouber1 19:ee89eabe1fa2 66 int test_main() {
sbouber1 31:1c50d2d8c155 67
sbouber1 31:1c50d2d8c155 68 START_TESTS();
sbouber1 31:1c50d2d8c155 69
sbouber1 31:1c50d2d8c155 70 TESTCASE("Test if alarm is raised when temp > 40 for 30 seconds", testTempDangerousHighAlarm);
sbouber1 31:1c50d2d8c155 71 TESTCASE("Test if alarm is raised when temp < 30 for 30 seconds", testTempDangerousLowAlarm);
sbouber1 31:1c50d2d8c155 72 TESTCASE("Test if alarm is raised when temp > 30 and < 32 for 5 minutes", testTempLowRangeAlarm);
sbouber1 31:1c50d2d8c155 73 TESTCASE("Test if alarm is raised when temp > 38 and < 40 for 5 minutes", testTempHighRangeAlarm);
sbouber1 19:ee89eabe1fa2 74
sbouber1 31:1c50d2d8c155 75 TESTCASE("Test if alarm is raised when salinity > 3 and < 6 for 5 minutes", testSalinityLowRangeAlarm);
sbouber1 31:1c50d2d8c155 76 TESTCASE("Test if alarm is raised when salinity > 9 and < 12 for 5 minutes", testSalinityHighRangeAlarm);
sbouber1 31:1c50d2d8c155 77 TESTCASE("Test if alarm is raised when salinity < 3 for 30 seconds", testSalinityDangerousLowAlarm);
sbouber1 31:1c50d2d8c155 78 TESTCASE("Test if alarm is raised when salinity > 12 for 30 seconds", testSalinityDangerousHighAlarm);
sbouber1 31:1c50d2d8c155 79
sbouber1 31:1c50d2d8c155 80 // TODO
sbouber1 31:1c50d2d8c155 81 //TESTCASE("Test if heater gets enabled at < 32 and disabled at 32+", testTemperatureHeater);
sbouber1 31:1c50d2d8c155 82
sbouber1 31:1c50d2d8c155 83 TESTCASE("Test if alarm is raised when water tank level in range 900-1000 ml for 5 minutes", testAlarmWaterOverflowUndesired);
sbouber1 31:1c50d2d8c155 84 TESTCASE("Test if alarm is raised when water tank level is 1001 for 30 seconds", testAlarmWaterOverflowCritical);
sbouber1 31:1c50d2d8c155 85 TESTCASE("Test if alarm is raised when water tank level is in range 0-100 ml for 5 minutes", testAlarmWaterLeakUndesired);
sbouber1 31:1c50d2d8c155 86 TESTCASE("Test if alarm is raised when water tank level is < 0 for 30 seconds", testAlarmWaterLeakCritical);
sbouber1 31:1c50d2d8c155 87
sbouber1 31:1c50d2d8c155 88 END_TESTS();
sbouber1 30:cf12566013a5 89
sbouber1 19:ee89eabe1fa2 90 return 0;
sbouber1 19:ee89eabe1fa2 91 }