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
- Committer:
- sbouber1
- Date:
- 2016-06-17
- Revision:
- 52:eaddbde192f1
- Parent:
- 51:4a70184ff7dc
- Child:
- 55:ee80f248919d
File content as of revision 52:eaddbde192f1:
#include "mbed.h" #include "MockSensorController.h" #include "AlarmController.h" #include "PIDController.h" #include "testing.h" #define NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM 30 #define NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM 300 void TestCase::assert(bool b, const char *error) { if(!b) { printf("[%s] ASSERTION FAILED: %s\r\n", this->name, error); this->failed = true; } } MOCK(temp_mock_steady, 35.0); MOCK(salt_mock_steady, 6.1); MOCK(prox_mock_steady, 500.0); MOCK(temp_mock1, 40.1+(t/1000.0)); ALARM_TEST(testTempDangerousHighAlarm, temp_mock1, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1); MOCK(temp_mock2, 29.9-(t/1000.0)); ALARM_TEST(testTempDangerousLowAlarm, temp_mock2, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1); MOCK(temp_mock3, 30+(t*0.000001)); ALARM_TEST(testTempLowRangeAlarm, temp_mock3, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1); MOCK(temp_mock4, 38+(t*0.000001)); ALARM_TEST(testTempHighRangeAlarm, temp_mock4, salt_mock_steady, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1); MOCK(overflow_undesired_mock, 900+(t/4000.0)); ALARM_TEST(testAlarmWaterOverflowUndesired, temp_mock_steady, salt_mock_steady, overflow_undesired_mock, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1); MOCK(overflow_critical_mock, 1001+(t/4000.0)); ALARM_TEST(testAlarmWaterOverflowCritical, temp_mock_steady, salt_mock_steady, overflow_critical_mock, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1); MOCK(leak_undesired_mock, 1+(t/4000.0)); ALARM_TEST(testAlarmWaterLeakUndesired, temp_mock_steady, salt_mock_steady, leak_undesired_mock, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1); MOCK(leak_critical_mock, -1-(t/4000.0)); ALARM_TEST(testAlarmWaterLeakCritical, temp_mock_steady, salt_mock_steady, leak_critical_mock, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1); MOCK(salinity_mock1, 3.1+(t*0.000005)); ALARM_TEST(testSalinityLowRangeAlarm, temp_mock_steady, salinity_mock1, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1); MOCK(salinity_mock2, 9.1+(t*0.000005)); ALARM_TEST(testSalinityHighRangeAlarm, temp_mock_steady, salinity_mock2, prox_mock_steady, NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1); MOCK(salinity_mock3, 2.9-(t*0.000005)); ALARM_TEST(testSalinityDangerousLowAlarm, temp_mock_steady, salinity_mock3, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1); MOCK(salinity_mock4, 12.1+(t*0.000005)); ALARM_TEST(testSalinityDangerousHighAlarm, temp_mock_steady, salinity_mock4, prox_mock_steady, NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1); MOCK(temp_heating_mock, 29+(0.001*t)); bool testTemperatureHeater(TestCase *tc) { DEF_MOCKS(temp_heating_mock, salt_mock_steady, prox_mock_steady); PIDController pidc(false,0,&temp,&salt,&prox); pidc.run(); tc->assert(pidc.is_heating(), "PIDController should be heating at temp=29!"); Thread::wait(1000); pidc.run(); tc->assert(pidc.is_heating(), "PIDController should be heating at temp=30!"); Thread::wait(1000); pidc.run(); tc->assert(pidc.is_heating(), "PIDController should be heating at temp=31!"); Thread::wait(2500); pidc.run(); tc->assert(!pidc.is_heating(), "PIDController shouldn't be heating at temp=33.5!"); return true; } int test_main() { START_TESTS(); TESTCASE("Test if alarm is raised when temp > 40 for 30 seconds", testTempDangerousHighAlarm); // PASSED TESTCASE("Test if alarm is raised when temp < 30 for 30 seconds", testTempDangerousLowAlarm); // PASSED TESTCASE("Test if alarm is raised when temp > 30 and < 32 for 5 minutes", testTempLowRangeAlarm); // PASSED TESTCASE("Test if alarm is raised when temp > 38 and < 40 for 5 minutes", testTempHighRangeAlarm); // PASSED TESTCASE("Test if alarm is raised when salinity > 3 and < 6 for 5 minutes", testSalinityLowRangeAlarm); // PASSED TESTCASE("Test if alarm is raised when salinity > 9 and < 12 for 5 minutes", testSalinityHighRangeAlarm); // PASSED TESTCASE("Test if alarm is raised when salinity < 3 for 30 seconds", testSalinityDangerousLowAlarm); // PASSED TESTCASE("Test if alarm is raised when salinity > 12 for 30 seconds", testSalinityDangerousHighAlarm); // PASSED TESTCASE("Test if heater gets enabled at < 32 and disabled at 33+", testTemperatureHeater); // PASSED TESTCASE("Test if alarm is raised when water tank level in range 900-1000 ml for 5 minutes", testAlarmWaterOverflowUndesired); // PASSED TESTCASE("Test if alarm is raised when water tank level is 1001 for 30 seconds", testAlarmWaterOverflowCritical); // PASSED TESTCASE("Test if alarm is raised when water tank level is in range 0-100 ml for 5 minutes", testAlarmWaterLeakUndesired); // PASSED TESTCASE("Test if alarm is raised when water tank level is < 0 for 30 seconds", testAlarmWaterLeakCritical); // PASSED END_TESTS(); return 0; }