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@57:8dc3192ff150, 2016-06-19 (annotated)
- Committer:
- sbouber1
- Date:
- Sun Jun 19 22:21:08 2016 +0000
- Revision:
- 57:8dc3192ff150
- Parent:
- 55:ee80f248919d
- Child:
- 60:17e0a8e2be4a
update
Who changed what in which revision?
User | Revision | Line number | New 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 | 36:8aeb014bd651 | 5 | #include "PIDController.h" |
sbouber1 | 19:ee89eabe1fa2 | 6 | #include "testing.h" |
sbouber1 | 55:ee80f248919d | 7 | #include "settings.h" |
sbouber1 | 19:ee89eabe1fa2 | 8 | |
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 | 50:c1f682eb4c4e | 19 | MOCK(prox_mock_steady, 500.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 | 50:c1f682eb4c4e | 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 | 50:c1f682eb4c4e | 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 | 51:4a70184ff7dc | 44 | ALARM_TEST(testAlarmWaterLeakCritical, temp_mock_steady, salt_mock_steady, leak_critical_mock, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1); |
sbouber1 | 22:4b5bf1c2e1ff | 45 | |
sbouber1 | 50:c1f682eb4c4e | 46 | MOCK(salinity_mock1, 3.1+(t*0.000005)); |
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 | 50:c1f682eb4c4e | 49 | MOCK(salinity_mock2, 9.1+(t*0.000005)); |
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 | 50:c1f682eb4c4e | 52 | MOCK(salinity_mock3, 2.9-(t*0.000005)); |
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 | 50:c1f682eb4c4e | 55 | MOCK(salinity_mock4, 12.1+(t*0.000005)); |
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 | 50:c1f682eb4c4e | 58 | MOCK(temp_heating_mock, 29+(0.001*t)); |
sbouber1 | 23:46cc7d776988 | 59 | bool testTemperatureHeater(TestCase *tc) { |
sbouber1 | 36:8aeb014bd651 | 60 | DEF_MOCKS(temp_heating_mock, salt_mock_steady, prox_mock_steady); |
sbouber1 | 36:8aeb014bd651 | 61 | PIDController pidc(false,0,&temp,&salt,&prox); |
sbouber1 | 36:8aeb014bd651 | 62 | |
sbouber1 | 37:2d9480c498c9 | 63 | pidc.run(); |
sbouber1 | 36:8aeb014bd651 | 64 | tc->assert(pidc.is_heating(), "PIDController should be heating at temp=29!"); |
sbouber1 | 36:8aeb014bd651 | 65 | Thread::wait(1000); |
sbouber1 | 37:2d9480c498c9 | 66 | |
sbouber1 | 37:2d9480c498c9 | 67 | pidc.run(); |
sbouber1 | 36:8aeb014bd651 | 68 | tc->assert(pidc.is_heating(), "PIDController should be heating at temp=30!"); |
sbouber1 | 36:8aeb014bd651 | 69 | Thread::wait(1000); |
sbouber1 | 37:2d9480c498c9 | 70 | |
sbouber1 | 37:2d9480c498c9 | 71 | pidc.run(); |
sbouber1 | 36:8aeb014bd651 | 72 | tc->assert(pidc.is_heating(), "PIDController should be heating at temp=31!"); |
sbouber1 | 51:4a70184ff7dc | 73 | Thread::wait(2500); |
sbouber1 | 37:2d9480c498c9 | 74 | |
sbouber1 | 37:2d9480c498c9 | 75 | pidc.run(); |
sbouber1 | 51:4a70184ff7dc | 76 | tc->assert(!pidc.is_heating(), "PIDController shouldn't be heating at temp=33.5!"); |
sbouber1 | 36:8aeb014bd651 | 77 | |
sbouber1 | 23:46cc7d776988 | 78 | return true; |
sbouber1 | 23:46cc7d776988 | 79 | } |
sbouber1 | 23:46cc7d776988 | 80 | |
sbouber1 | 30:cf12566013a5 | 81 | |
sbouber1 | 30:cf12566013a5 | 82 | |
sbouber1 | 19:ee89eabe1fa2 | 83 | int test_main() { |
sbouber1 | 31:1c50d2d8c155 | 84 | |
sbouber1 | 31:1c50d2d8c155 | 85 | START_TESTS(); |
sbouber1 | 31:1c50d2d8c155 | 86 | |
sbouber1 | 57:8dc3192ff150 | 87 | TESTCASE("Test if alarm is raised when temp > 40 for 30 seconds", testTempDangerousHighAlarm); |
sbouber1 | 57:8dc3192ff150 | 88 | TESTCASE("Test if alarm is raised when temp < 30 for 30 seconds", testTempDangerousLowAlarm); |
sbouber1 | 57:8dc3192ff150 | 89 | TESTCASE("Test if alarm is raised when temp > 30 and < 32 for 5 minutes", testTempLowRangeAlarm); |
sbouber1 | 57:8dc3192ff150 | 90 | TESTCASE("Test if alarm is raised when temp > 38 and < 40 for 5 minutes", testTempHighRangeAlarm); |
sbouber1 | 19:ee89eabe1fa2 | 91 | |
sbouber1 | 57:8dc3192ff150 | 92 | TESTCASE("Test if alarm is raised when salinity > 3 and < 6 for 5 minutes", testSalinityLowRangeAlarm); |
sbouber1 | 57:8dc3192ff150 | 93 | TESTCASE("Test if alarm is raised when salinity > 9 and < 12 for 5 minutes", testSalinityHighRangeAlarm); |
sbouber1 | 57:8dc3192ff150 | 94 | TESTCASE("Test if alarm is raised when salinity < 3 for 30 seconds", testSalinityDangerousLowAlarm); |
sbouber1 | 57:8dc3192ff150 | 95 | TESTCASE("Test if alarm is raised when salinity > 12 for 30 seconds", testSalinityDangerousHighAlarm); |
sbouber1 | 31:1c50d2d8c155 | 96 | |
sbouber1 | 57:8dc3192ff150 | 97 | TESTCASE("Test if heater gets enabled at < 32 and disabled at 33+", testTemperatureHeater); |
sbouber1 | 31:1c50d2d8c155 | 98 | |
sbouber1 | 57:8dc3192ff150 | 99 | TESTCASE("Test if alarm is raised when water tank level in range 900-1000 ml for 5 minutes", testAlarmWaterOverflowUndesired); |
sbouber1 | 57:8dc3192ff150 | 100 | TESTCASE("Test if alarm is raised when water tank level is 1001 for 30 seconds", testAlarmWaterOverflowCritical); |
sbouber1 | 57:8dc3192ff150 | 101 | TESTCASE("Test if alarm is raised when water tank level is in range 0-100 ml for 5 minutes", testAlarmWaterLeakUndesired); |
sbouber1 | 57:8dc3192ff150 | 102 | TESTCASE("Test if alarm is raised when water tank level is < 0 for 30 seconds", testAlarmWaterLeakCritical); |
sbouber1 | 31:1c50d2d8c155 | 103 | |
sbouber1 | 31:1c50d2d8c155 | 104 | END_TESTS(); |
sbouber1 | 30:cf12566013a5 | 105 | |
sbouber1 | 19:ee89eabe1fa2 | 106 | return 0; |
sbouber1 | 19:ee89eabe1fa2 | 107 | } |