ceedling 0.13.0.rc1 → 0.13.0

data/vendor/cmock/examples/test/TestAdcModel.c

@@ -0,0 +1,33 @@
+#include "unity.h"
+#include "Types.h"
+#include "AdcModel.h"
+#include "MockTaskScheduler.h"
+#include "MockTemperatureCalculator.h"
+#include "MockTemperatureFilter.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testDoGetSampleShouldReturn_FALSE_WhenTaskSchedulerReturns_FALSE(void)
+{
+  TaskScheduler_DoAdc_ExpectAndReturn(FALSE);
+  TEST_ASSERT_EQUAL(FALSE, AdcModel_DoGetSample());
+}
+
+void testDoGetSampleShouldReturn_TRUE_WhenTaskSchedulerReturns_TRUE(void)
+{
+  TaskScheduler_DoAdc_ExpectAndReturn(TRUE);
+  TEST_ASSERT_EQUAL(TRUE, AdcModel_DoGetSample());
+}
+
+void testProcessInputShouldDelegateToTemperatureCalculatorAndPassResultToFilter(void)
+{
+  TemperatureCalculator_Calculate_ExpectAndReturn(21473, 23.5f);
+  TemperatureFilter_ProcessInput_Expect(23.5f);
+  AdcModel_ProcessInput(21473);
+}

data/vendor/cmock/examples/test/TestAdcTemperatureSensor.c

@@ -0,0 +1,47 @@
+#include "unity.h"
+#include "Types.h"
+#include "AdcTemperatureSensor.h"
+#include "AT91SAM7X256.h"
+
+AT91S_ADC AdcPeripheral;
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testShouldStartTemperatureSensorConversionWhenTriggered(void)
+{
+  AT91C_BASE_ADC->ADC_CR = 0;
+  Adc_StartTemperatureSensorConversion();
+  TEST_ASSERT_EQUAL(AT91C_ADC_START, AT91C_BASE_ADC->ADC_CR);
+}
+
+void testTemperatureSensorSampleReadyShouldReturnChannelConversionCompletionStatus(void)
+{
+  AT91C_BASE_ADC->ADC_SR = 0;
+  TEST_ASSERT_EQUAL(FALSE, Adc_TemperatureSensorSampleReady());
+  AT91C_BASE_ADC->ADC_SR = ~AT91C_ADC_EOC4;
+  TEST_ASSERT_EQUAL(FALSE, Adc_TemperatureSensorSampleReady());
+  AT91C_BASE_ADC->ADC_SR = AT91C_ADC_EOC4;
+  TEST_ASSERT_EQUAL(TRUE, Adc_TemperatureSensorSampleReady());
+  AT91C_BASE_ADC->ADC_SR = 0xffffffff;
+  TEST_ASSERT_EQUAL(TRUE, Adc_TemperatureSensorSampleReady());
+}
+
+void testReadTemperatureSensorShouldFetchAndTranslateLatestReadingToMillivolts(void)
+{
+  uint16 result;
+
+  // ADC bit weight at 10-bit resolution with 3.0V reference = 2.9296875 mV/LSB
+  AT91C_BASE_ADC->ADC_CDR4 = 138;
+  result = Adc_ReadTemperatureSensor();
+  TEST_ASSERT_EQUAL(404, result);
+
+  AT91C_BASE_ADC->ADC_CDR4 = 854;
+  result = Adc_ReadTemperatureSensor();
+  TEST_ASSERT_EQUAL(2502, result);
+}

data/vendor/cmock/examples/test/TestExecutor.c

@@ -0,0 +1,36 @@
+#include "unity.h"
+#include "Types.h"
+#include "Executor.h"
+#include "MockModel.h"
+#include "MockUsartConductor.h"
+#include "MockAdcConductor.h"
+#include "MockTimerConductor.h"
+#include "MockIntrinsicsWrapper.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldCallInitOfAllConductorsAndTheModel(void)
+{
+  Model_Init_Expect();
+  UsartConductor_Init_Expect();
+  AdcConductor_Init_Expect();
+  TimerConductor_Init_Expect();
+  Interrupt_Enable_Expect();
+  
+  Executor_Init();
+}
+
+void testRunShouldCallRunForEachConductorAndReturnTrueAlways(void)
+{
+  UsartConductor_Run_Expect();
+  TimerConductor_Run_Expect();
+  AdcConductor_Run_Expect();
+
+  TEST_ASSERT_EQUAL(TRUE, Executor_Run());
+}

data/vendor/cmock/examples/test/TestMain.c

@@ -0,0 +1,24 @@
+#include "unity.h"
+#include "Types.h"
+#include "MockExecutor.h"
+#include "Main.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testMainShouldCallExecutorInitAndContinueToCallExecutorRunUntilHalted(void)
+{
+  Executor_Init_Expect();
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(TRUE);
+  Executor_Run_ExpectAndReturn(FALSE);
+  
+  AppMain();
+}

data/vendor/cmock/examples/test/TestModel.c

@@ -0,0 +1,20 @@
+#include "unity.h"
+#include "Types.h"
+#include "Model.h"
+#include "MockTaskScheduler.h"
+#include "MockTemperatureFilter.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldCallSchedulerAndTemperatureFilterInit(void)
+{
+  TaskScheduler_Init_Expect();
+  TemperatureFilter_Init_Expect();
+  Model_Init();
+}

data/vendor/cmock/examples/test/TestTaskScheduler.c

@@ -0,0 +1,104 @@
+#include "unity.h"
+#include "Types.h"
+#include "TaskScheduler.h"
+
+void setUp(void)
+{
+  TaskScheduler_Init();
+}
+
+void tearDown(void)
+{
+}
+
+void testShouldScheduleUsartTaskAfter1000ms(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+
+  TaskScheduler_Update(999);
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+
+  TaskScheduler_Update(1000);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
+}
+
+void testShouldClearUsartDoFlagAfterReported(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+  TaskScheduler_Update(1000);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+}
+
+void testShouldScheduleUsartTaskEvery1000ms(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+
+  TaskScheduler_Update(1300);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
+
+  TaskScheduler_Update(2000);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
+
+  TaskScheduler_Update(3100);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
+}
+
+void testShouldScheduleUsartTaskOnlyOncePerPeriod(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+  TaskScheduler_Update(1000);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
+  TaskScheduler_Update(1001);
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+  TaskScheduler_Update(1999);
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoUsart());
+  TaskScheduler_Update(2000);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoUsart());
+}
+
+void testShouldScheduleAdcTaskAfter100ms(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+
+  TaskScheduler_Update(99);
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+
+  TaskScheduler_Update(100);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
+}
+
+void testShouldClearAdcDoFlagAfterReported(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+  TaskScheduler_Update(100);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+}
+
+void testShouldScheduleAdcTaskEvery100ms(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+
+  TaskScheduler_Update(121);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
+
+  TaskScheduler_Update(200);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
+
+  TaskScheduler_Update(356);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
+}
+
+void testShouldScheduleAdcTaskOnlyOncePerPeriod(void)
+{
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+  TaskScheduler_Update(100);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
+  TaskScheduler_Update(101);
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+  TaskScheduler_Update(199);
+  TEST_ASSERT_EQUAL(FALSE, TaskScheduler_DoAdc());
+  TaskScheduler_Update(200);
+  TEST_ASSERT_EQUAL(TRUE, TaskScheduler_DoAdc());
+}

data/vendor/cmock/examples/test/TestTemperatureCalculator.c

@@ -0,0 +1,33 @@
+#include "unity.h"
+#include "Types.h"
+#include "TemperatureCalculator.h"
+#include <math.h>
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testTemperatureCalculatorShouldCalculateTemperatureFromMillivolts(void)
+{
+  float result;
+
+  // Series resistor is 5k Ohms; Reference voltage is 3.0V
+  // R(t) = A * e^(B*t); R is resistance of thermisor; t is temperature in C
+  result = TemperatureCalculator_Calculate(1000);
+  TEST_ASSERT_FLOAT_WITHIN(0.01f, 25.0f, result);
+
+  result = TemperatureCalculator_Calculate(2985);
+  TEST_ASSERT_FLOAT_WITHIN(0.01f, 68.317f, result);
+
+  result = TemperatureCalculator_Calculate(3);
+  TEST_ASSERT_FLOAT_WITHIN(0.01f, -19.96f, result);
+}
+
+void testShouldReturnNegativeInfinityWhen_0_millivoltsInput(void)
+{
+  TEST_ASSERT_FLOAT_WITHIN(0.0000001f, -INFINITY, TemperatureCalculator_Calculate(0));
+}

data/vendor/cmock/examples/test/TestTemperatureFilter.c

@@ -0,0 +1,69 @@
+#include "unity.h"
+#include "Types.h"
+#include "TemperatureFilter.h"
+#include <math.h>
+
+void setUp(void)
+{
+  TemperatureFilter_Init();
+}
+
+void tearDown(void)
+{
+}
+
+void testShouldInitializeTemeratureToInvalidValue(void)
+{
+  TemperatureFilter_Init();
+  TEST_ASSERT_FLOAT_WITHIN(0.0001f, -INFINITY, TemperatureFilter_GetTemperatureInCelcius());
+}
+
+void testShouldInitializeTemperatureAfterCallToInit(void)
+{
+  TemperatureFilter_Init();
+  TemperatureFilter_ProcessInput(17.8f);
+  TEST_ASSERT_FLOAT_WITHIN(0.0001f, 17.8f, TemperatureFilter_GetTemperatureInCelcius());
+
+  TemperatureFilter_Init();
+  TemperatureFilter_ProcessInput(32.6f);
+  TEST_ASSERT_FLOAT_WITHIN(0.0001f, 32.6f, TemperatureFilter_GetTemperatureInCelcius());
+}
+
+void setValueAndVerifyResponse(float input, float response)
+{
+  float actual;
+  TemperatureFilter_ProcessInput(input);
+  actual = TemperatureFilter_GetTemperatureInCelcius();
+  TEST_ASSERT_FLOAT_WITHIN(0.0001f, response, actual);
+}
+
+void testShouldWeightEachSubsequentValueBy25PercentAfterInitialValue(void)
+{
+  TemperatureFilter_Init();
+  setValueAndVerifyResponse(0.0f, 0.0f);
+  setValueAndVerifyResponse(10.0f, 2.5f);
+  setValueAndVerifyResponse(10.0f, 4.375f);
+  setValueAndVerifyResponse(10.0f, 5.78125f);
+
+  TemperatureFilter_Init();
+  setValueAndVerifyResponse(100.0f, 100.0f);
+  setValueAndVerifyResponse(0.0f, 75.0f);
+  setValueAndVerifyResponse(0.0f, 56.25f);
+  setValueAndVerifyResponse(0.0f, 42.1875f);
+}
+
+void setInvalidTemperatureAndVerifyReinitialized(float invalidTemperature)
+{
+  TemperatureFilter_Init();
+  setValueAndVerifyResponse(100.0f, 100.0f);
+  setValueAndVerifyResponse(invalidTemperature, -INFINITY);
+  setValueAndVerifyResponse(14.3f, 14.3f);
+}
+
+void testShouldResetAverageIfPassedInfinityOrInvalidValue(void)
+{
+  setInvalidTemperatureAndVerifyReinitialized(-INFINITY);
+  setInvalidTemperatureAndVerifyReinitialized(+INFINITY);
+  setInvalidTemperatureAndVerifyReinitialized(+NAN);
+  setInvalidTemperatureAndVerifyReinitialized(-NAN);
+}

data/vendor/cmock/examples/test/TestTimerConductor.c

@@ -0,0 +1,32 @@
+#include "unity.h"
+#include "Types.h"
+#include "TimerConductor.h"
+#include "MockTimerHardware.h"
+#include "MockTimerModel.h"
+#include "MockTimerInterruptHandler.h"
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testInitShouldCallHardwareInit(void)
+{
+  TimerHardware_Init_Expect();
+
+  TimerConductor_Init();
+}
+
+void testRunShouldGetSystemTimeAndPassOnToModelForEventScheduling(void)
+{
+  Timer_GetSystemTime_ExpectAndReturn(1230);
+  TimerModel_UpdateTime_Expect(1230);
+  TimerConductor_Run();
+
+  Timer_GetSystemTime_ExpectAndReturn(837460);
+  TimerModel_UpdateTime_Expect(837460);
+  TimerConductor_Run();
+}

data/vendor/cmock/examples/test/TestTimerConfigurator.c

@@ -0,0 +1,112 @@
+#include "unity.h"
+#include "Types.h"
+#include "TimerConfigurator.h"
+#include "AT91SAM7X256.h"
+#include "MockTimerInterruptConfigurator.h"
+
+AT91S_PMC PmcPeripheral;
+AT91S_TC  TimerCounter0Peripheral;
+AT91S_PIO PioBPeripheral;
+
+void setUp(void)
+{
+}
+
+void tearDown(void)
+{
+}
+
+void testEnablePeripheralClocksShouldEnableClockToTimer0Peripheral(void)
+{
+  AT91C_BASE_PMC->PMC_PCER = 0;
+  Timer_EnablePeripheralClocks();
+  TEST_ASSERT_EQUAL(
+      TIMER0_CLOCK_ENABLE, 
+      AT91C_BASE_PMC->PMC_PCER & TIMER0_CLOCK_ENABLE);
+}
+
+void testEnablePeripheralClocksShouldEnableClockToPIOBPeripheral(void)
+{
+  AT91C_BASE_PMC->PMC_PCER = 0;
+  Timer_EnablePeripheralClocks();
+  TEST_ASSERT_EQUAL(
+      PIOB_CLOCK_ENABLE, 
+      AT91C_BASE_PMC->PMC_PCER & PIOB_CLOCK_ENABLE);
+}
+
+void testResetShouldSetTimer0ClockDisableBit_DisableTimer0Interrupts_ClearStatusRegister(void)
+{
+  AT91C_BASE_TC0->TC_CCR = 0;
+  AT91C_BASE_TC0->TC_IDR = 0;
+  AT91C_BASE_TC0->TC_SR = 0xFFFFFFFF;
+  Timer_Reset();
+  TEST_ASSERT_EQUAL(0x00000002, AT91C_BASE_TC0->TC_CCR);
+  TEST_ASSERT_EQUAL(0xffffffff, AT91C_BASE_TC0->TC_IDR);
+  // CANNOT BE VERIFIED!! TEST_ASSERT_EQUAL(0X00000000, AT91C_BASE_TC0->TC_SR);
+}
+
+void testEnableOutputPinShouldEnable_TIOA0_DigitalOutput(void)
+{
+  AT91C_BASE_PIOB->PIO_PDR = 0;
+  Timer_EnableOutputPin();
+  TEST_ASSERT_EQUAL(TIOA0_PIN_MASK, AT91C_BASE_PIOB->PIO_PDR);
+}
+
+void testConfigureModeShouldConfigureTimer0ClockSourceForMasterClockDividedBy1024(void)
+{
+  AT91C_BASE_TC0->TC_CMR = 0;
+  Timer_ConfigureMode();
+  TEST_ASSERT_EQUAL(0x00000004, AT91C_BASE_TC0->TC_CMR & 0x00000007);
+}
+
+void testConfigureModeShouldConfigureTimer0ForWaveGeneration(void)
+{
+  AT91C_BASE_TC0->TC_CMR = 0;
+  Timer_ConfigureMode();
+  TEST_ASSERT_EQUAL(0x00008000, AT91C_BASE_TC0->TC_CMR & 0x00008000);
+}
+
+void testConfigureModeShouldConfigureTimer0ForUpModeWithAutomaticTriggerOnRCCompare(void)
+{
+  AT91C_BASE_TC0->TC_CMR = 0;
+  Timer_ConfigureMode();
+  TEST_ASSERT_EQUAL(0x00004000, AT91C_BASE_TC0->TC_CMR & 0x00006000);
+}
+
+void testConfigureModeShouldConfigureTimer0ToToggleTIOAOnRCCompare(void)
+{
+  AT91C_BASE_TC0->TC_CMR = 0;
+  Timer_ConfigureMode();
+  TEST_ASSERT_EQUAL(0x000C0000, AT91C_BASE_TC0->TC_CMR & 0x000C0000);
+}
+
+void testConfigurePeriodShouldConfigureRegisterCFor10msInterval(void)
+{
+  AT91C_BASE_TC0->TC_RC = 0;
+  Timer_ConfigurePeriod();
+  TEST_ASSERT_EQUAL(469, AT91C_BASE_TC0->TC_RC);
+}
+
+void testEnableShouldSetEnableFlagForTimer0(void)
+{
+  AT91C_BASE_TC0->TC_CCR = 0;
+  Timer_Enable();
+  TEST_ASSERT_EQUAL_INT(1, AT91C_BASE_TC0->TC_CCR);
+}
+
+void testConfigureInterruptHandler(void)
+{
+  Timer_DisableInterrupt_Expect();
+  Timer_ResetSystemTime_Expect();
+  Timer_ConfigureInterrupt_Expect();
+  Timer_EnableInterrupt_Expect();
+
+  Timer_ConfigureInterruptHandler();
+}
+
+void testStartShouldSetSoftwareTriggerFlag(void)
+{
+  AT91C_BASE_TC0->TC_CCR = 0;
+  Timer_Start();
+  TEST_ASSERT_EQUAL(0x04, AT91C_BASE_TC0->TC_CCR);
+}