Saltware / Mbed 2 deprecated Water Play

Program for the water play project for the course Software Testing Practical 2016 given at the VU University

Dependencies:   mbed DRV88255 TextLCD Ping mbed-rtos

testing.cpp@80:38e274c4dafa, 2016-06-24 (annotated)

Committer:
sbouber1
Date:
Fri Jun 24 13:51:42 2016 +0000
Revision:
80:38e274c4dafa
Parent:
71:38bb6bf09933 
final

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 61:6b5c2ddcea0c 4 #include "SensorAlarmController.h"
sbouber1 36:8aeb014bd651 5 #include "PIDController.h"
sbouber1 19:ee89eabe1fa2 6 #include "testing.h"
sbouber1 19:ee89eabe1fa2 7
sbouber1 19:ee89eabe1fa2 8
sbouber1 31:1c50d2d8c155 9 void TestCase::assert(bool b, const char *error) {
sbouber1 19:ee89eabe1fa2 10 if(!b) {
sbouber1 19:ee89eabe1fa2 11 printf("[%s] ASSERTION FAILED: %s\r\n", this->name, error);
sbouber1 19:ee89eabe1fa2 12 this->failed = true;
sbouber1 19:ee89eabe1fa2 13 }
sbouber1 19:ee89eabe1fa2 14 }
sbouber1 19:ee89eabe1fa2 15
sbouber1 28:f4a4ee58d57e 16 MOCK(temp_mock_steady, 35.0);
sbouber1 23:46cc7d776988 17 MOCK(salt_mock_steady, 6.1);
sbouber1 50:c1f682eb4c4e 18 MOCK(prox_mock_steady, 500.0);
sbouber1 23:46cc7d776988 19
sbouber1 30:cf12566013a5 20
sbouber1 22:4b5bf1c2e1ff 21 MOCK(temp_mock1, 40.1+(t/1000.0));
sbouber1 30:cf12566013a5 22 ALARM_TEST(testTempDangerousHighAlarm, temp_mock1, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 19:ee89eabe1fa2 23
sbouber1 22:4b5bf1c2e1ff 24 MOCK(temp_mock2, 29.9-(t/1000.0));
sbouber1 30:cf12566013a5 25 ALARM_TEST(testTempDangerousLowAlarm, temp_mock2, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 22:4b5bf1c2e1ff 26
sbouber1 50:c1f682eb4c4e 27 MOCK(temp_mock3, 30+(t*0.000001));
sbouber1 30:cf12566013a5 28 ALARM_TEST(testTempLowRangeAlarm, temp_mock3, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 22:4b5bf1c2e1ff 29
sbouber1 50:c1f682eb4c4e 30 MOCK(temp_mock4, 38+(t*0.000001));
sbouber1 30:cf12566013a5 31 ALARM_TEST(testTempHighRangeAlarm, temp_mock4, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 30:cf12566013a5 32
sbouber1 30:cf12566013a5 33 MOCK(overflow_undesired_mock, 900+(t/4000.0));
sbouber1 30:cf12566013a5 34 ALARM_TEST(testAlarmWaterOverflowUndesired, temp_mock_steady, salt_mock_steady, overflow_undesired_mock, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 30:cf12566013a5 35
sbouber1 30:cf12566013a5 36 MOCK(overflow_critical_mock, 1001+(t/4000.0));
sbouber1 30:cf12566013a5 37 ALARM_TEST(testAlarmWaterOverflowCritical, temp_mock_steady, salt_mock_steady, overflow_critical_mock, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 30:cf12566013a5 38
sbouber1 30:cf12566013a5 39 MOCK(leak_undesired_mock, 1+(t/4000.0));
sbouber1 30:cf12566013a5 40 ALARM_TEST(testAlarmWaterLeakUndesired, temp_mock_steady, salt_mock_steady, leak_undesired_mock, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 30:cf12566013a5 41
sbouber1 30:cf12566013a5 42 MOCK(leak_critical_mock, -1-(t/4000.0));
sbouber1 51:4a70184ff7dc 43 ALARM_TEST(testAlarmWaterLeakCritical, temp_mock_steady, salt_mock_steady, leak_critical_mock, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 22:4b5bf1c2e1ff 44
sbouber1 50:c1f682eb4c4e 45 MOCK(salinity_mock1, 3.1+(t*0.000005));
sbouber1 31:1c50d2d8c155 46 ALARM_TEST(testSalinityLowRangeAlarm, temp_mock_steady, salinity_mock1, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 31:1c50d2d8c155 47
sbouber1 50:c1f682eb4c4e 48 MOCK(salinity_mock2, 9.1+(t*0.000005));
sbouber1 31:1c50d2d8c155 49 ALARM_TEST(testSalinityHighRangeAlarm, temp_mock_steady, salinity_mock2, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1);
sbouber1 31:1c50d2d8c155 50
sbouber1 50:c1f682eb4c4e 51 MOCK(salinity_mock3, 2.9-(t*0.000005));
sbouber1 31:1c50d2d8c155 52 ALARM_TEST(testSalinityDangerousLowAlarm, temp_mock_steady, salinity_mock3, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 31:1c50d2d8c155 53
sbouber1 50:c1f682eb4c4e 54 MOCK(salinity_mock4, 12.1+(t*0.000005));
sbouber1 31:1c50d2d8c155 55 ALARM_TEST(testSalinityDangerousHighAlarm, temp_mock_steady, salinity_mock4, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1);
sbouber1 19:ee89eabe1fa2 56
sbouber1 50:c1f682eb4c4e 57 MOCK(temp_heating_mock, 29+(0.001*t));
sbouber1 23:46cc7d776988 58 bool testTemperatureHeater(TestCase *tc) {
sbouber1 36:8aeb014bd651 59 DEF_MOCKS(temp_heating_mock, salt_mock_steady, prox_mock_steady);
sbouber1 36:8aeb014bd651 60 PIDController pidc(false,0,&temp,&salt,&prox);
sbouber1 36:8aeb014bd651 61
sbouber1 37:2d9480c498c9 62 pidc.run();
sbouber1 61:6b5c2ddcea0c 63 tc->assert(pidc.isHeating(), "PIDController should be heating at temp=29!");
sbouber1 36:8aeb014bd651 64 Thread::wait(1000);
sbouber1 37:2d9480c498c9 65
sbouber1 37:2d9480c498c9 66 pidc.run();
sbouber1 61:6b5c2ddcea0c 67 tc->assert(pidc.isHeating(), "PIDController should be heating at temp=30!");
sbouber1 36:8aeb014bd651 68 Thread::wait(1000);
sbouber1 37:2d9480c498c9 69
sbouber1 37:2d9480c498c9 70 pidc.run();
sbouber1 61:6b5c2ddcea0c 71 tc->assert(pidc.isHeating(), "PIDController should be heating at temp=31!");
sbouber1 51:4a70184ff7dc 72 Thread::wait(2500);
sbouber1 37:2d9480c498c9 73
sbouber1 37:2d9480c498c9 74 pidc.run();
sbouber1 61:6b5c2ddcea0c 75 tc->assert(!pidc.isHeating(), "PIDController shouldn't be heating at temp=33.5!");
sbouber1 36:8aeb014bd651 76
sbouber1 23:46cc7d776988 77 return true;
sbouber1 23:46cc7d776988 78 }
sbouber1 23:46cc7d776988 79
sbouber1 30:cf12566013a5 80
sbouber1 68:b769c0f23406 81 MOCK(salinity_mock5, 1.0f);
sbouber1 68:b769c0f23406 82 MOCK(salinity_mock6, 2.0f);
sbouber1 68:b769c0f23406 83 MOCK(salinity_mock7, 4.0f);
sbouber1 68:b769c0f23406 84 MOCK(salinity_mock8, 7.0f);
sbouber1 68:b769c0f23406 85 MOCK(salinity_mock10, 10.0f);
sbouber1 68:b769c0f23406 86 MOCK(salinity_mock11, 14.0f);
sbouber1 68:b769c0f23406 87 MOCK(vol_mock1, 600.0f);
sbouber1 68:b769c0f23406 88
sbouber1 68:b769c0f23406 89 bool testPumps1(TestCase *tc) {
sbouber1 71:38bb6bf09933 90
sbouber1 71:38bb6bf09933 91 Thread::wait(5000);
sbouber1 71:38bb6bf09933 92
sbouber1 71:38bb6bf09933 93 DEF_MOCKS(temp_mock_steady, salinity_mock11, vol_mock1);
sbouber1 68:b769c0f23406 94 PIDController pidc(false,0,&temp,&salt,&prox);
sbouber1 68:b769c0f23406 95
sbouber1 71:38bb6bf09933 96 temp.run();
sbouber1 71:38bb6bf09933 97 salt.run();
sbouber1 71:38bb6bf09933 98 prox.run();
sbouber1 71:38bb6bf09933 99
sbouber1 68:b769c0f23406 100 pidc.run();
sbouber1 68:b769c0f23406 101
sbouber1 71:38bb6bf09933 102 printf("Manually verify the amount of salty water pumped for 2.0f salt and 600ml volume\r\n");
sbouber1 68:b769c0f23406 103
sbouber1 68:b769c0f23406 104 Thread::wait(5000);
sbouber1 68:b769c0f23406 105
sbouber1 68:b769c0f23406 106 return true;
sbouber1 68:b769c0f23406 107 }
sbouber1 68:b769c0f23406 108
sbouber1 68:b769c0f23406 109
sbouber1 68:b769c0f23406 110
sbouber1 68:b769c0f23406 111
sbouber1 68:b769c0f23406 112
sbouber1 61:6b5c2ddcea0c 113 int testMain() {
sbouber1 31:1c50d2d8c155 114
sbouber1 31:1c50d2d8c155 115 START_TESTS();
sbouber1 31:1c50d2d8c155 116
sbouber1 71:38bb6bf09933 117 /*TESTCASE("Test if alarm is raised when temp > 40 for 30 seconds", testTempDangerousHighAlarm);
sbouber1 57:8dc3192ff150 118 TESTCASE("Test if alarm is raised when temp < 30 for 30 seconds", testTempDangerousLowAlarm);
sbouber1 57:8dc3192ff150 119 TESTCASE("Test if alarm is raised when temp > 30 and < 32 for 5 minutes", testTempLowRangeAlarm);
sbouber1 57:8dc3192ff150 120 TESTCASE("Test if alarm is raised when temp > 38 and < 40 for 5 minutes", testTempHighRangeAlarm);
sbouber1 19:ee89eabe1fa2 121
sbouber1 57:8dc3192ff150 122 TESTCASE("Test if alarm is raised when salinity > 3 and < 6 for 5 minutes", testSalinityLowRangeAlarm);
sbouber1 57:8dc3192ff150 123 TESTCASE("Test if alarm is raised when salinity > 9 and < 12 for 5 minutes", testSalinityHighRangeAlarm);
sbouber1 57:8dc3192ff150 124 TESTCASE("Test if alarm is raised when salinity < 3 for 30 seconds", testSalinityDangerousLowAlarm);
sbouber1 57:8dc3192ff150 125 TESTCASE("Test if alarm is raised when salinity > 12 for 30 seconds", testSalinityDangerousHighAlarm);
sbouber1 31:1c50d2d8c155 126
sbouber1 57:8dc3192ff150 127 TESTCASE("Test if heater gets enabled at < 32 and disabled at 33+", testTemperatureHeater);
sbouber1 31:1c50d2d8c155 128
sbouber1 57:8dc3192ff150 129 TESTCASE("Test if alarm is raised when water tank level in range 900-1000 ml for 5 minutes", testAlarmWaterOverflowUndesired);
sbouber1 57:8dc3192ff150 130 TESTCASE("Test if alarm is raised when water tank level is 1001 for 30 seconds", testAlarmWaterOverflowCritical);
sbouber1 57:8dc3192ff150 131 TESTCASE("Test if alarm is raised when water tank level is in range 0-100 ml for 5 minutes", testAlarmWaterLeakUndesired);
sbouber1 57:8dc3192ff150 132 TESTCASE("Test if alarm is raised when water tank level is < 0 for 30 seconds", testAlarmWaterLeakCritical);
sbouber1 71:38bb6bf09933 133 */
sbouber1 68:b769c0f23406 134 TESTCASE("Test pump at 1.0f ppt salinity and 600ml volume", testPumps1);
sbouber1 68:b769c0f23406 135
sbouber1 31:1c50d2d8c155 136 END_TESTS();
sbouber1 30:cf12566013a5 137
sbouber1 19:ee89eabe1fa2 138 return 0;
sbouber1 19:ee89eabe1fa2 139 }