File content as of revision 28:f4a4ee58d57e:

#include "mbed.h"

#include "MockSensorController.h"
#include "AlarmController.h"
#include "testing.h"

#define NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM 30
#define NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM 300

void TestCase::assertTrue(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, 10.0);

MOCK(temp_mock1, 40.1+(t/1000.0));
bool testTempDangerousHighAlarm(TestCase *tc) {
    
    DEF_MOCKS(temp_mock1, salt_mock_steady, prox_mock_steady);
    
    AlarmController alarm(false,0,&temp,&salt,&prox);
    for(int i = 0; i < NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1; i++) {
        alarm.run();
        Thread::wait(1000);
    }
    
    return alarm.is_error();    
}


MOCK(temp_mock2, 29.9-(t/1000.0));
bool testTempDangerousLowAlarm(TestCase *tc) {
    
    DEF_MOCKS(temp_mock2, salt_mock_steady, prox_mock_steady);
    
    AlarmController alarm(false,0,&temp,&salt,&prox);
    for(int i = 0; i < NUMBER_OF_SEC_BEFORE_CRITICAL_ALARM+1; i++) {
        alarm.run();
        Thread::wait(1000);
    }
    
    return alarm.is_error();    
}

MOCK(temp_mock3, 30+t*0.000001);
bool testTempLowRangeAlarm(TestCase *tc) {
    
    DEF_MOCKS(temp_mock3, salt_mock_steady, prox_mock_steady);
    
    AlarmController alarm(false,0,&temp,&salt,&prox);
    for(int i = 0; i < NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1; i++) {
        alarm.run();
        Thread::wait(1000);
    }
    
    return alarm.is_error();    
}


MOCK(temp_mock4, 38+t*0.000001);
bool testTempHighRangeAlarm(TestCase *tc) {
    
    DEF_MOCKS(temp_mock4, salt_mock_steady, prox_mock_steady);
    
    AlarmController alarm(false,0,&temp,&salt,&prox);
    for(int i = 0; i < NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1; i++) {
        alarm.run();
        Thread::wait(1000);
    }
    
    return alarm.is_error();    
}


bool testTemperatureHeater(TestCase *tc) {
    // TODO
    return true;    
}

MOCK(overflow_undesired_mock, 900+(t/4000.0));
bool testAlarmWaterOverflowUndesired(TestCase *tc) {
    DEF_MOCKS(temp_mock_steady, salt_mock_steady, overflow_undesired_mock);
    
    AlarmController alarm(false,0,&temp,&salt,&prox);
    for(int i = 0; i < NUMBER_OF_SEC_BEFORE_UNDESIRED_ALARM+1; i++) {
        alarm.run();
        Thread::wait(1000);
    }
    
    return alarm.is_error(); 
}

bool testAlarmWaterOverflowCritical(TestCase *tc) {
    // TODO 1001 should raise alarm in 30 sec
    return true;    
}

bool testAlarmWaterLeakUndesired(TestCase *tc) {
    // TODO 0-100 ml for 5 minutes
    return true;    
}

bool testAlarmWaterLeakCritical(TestCase *tc) {
    // TODO 0 ml should produce alarm in 30 sec
    return true;   
}

int test_main() {
    TestCase("Test if alarm is raised when temp > 40 for 30 seconds", testTempDangerousHighAlarm);
    TestCase("Test if alarm is raised when temp < 30 for 30 seconds", testTempDangerousLowAlarm);
    TestCase("Test if alarm is raised when temp > 30 and < 32 for 300 seconds", testTempLowRangeAlarm);
    TestCase("Test if alarm is raised when temp > 38 and < 40 for 300 seconds", testTempHighRangeAlarm);
    //TestCase("Test if heater gets enabled at < 32 and disabled at 32+", testTemperatureHeater);
    
    return 0;
}