James W. Grenning - Test Driven Development for Embedded C

/* Includes ------------------------------------------------------------------*/
#include "main.h"
 
/* Private includes ----------------------------------------------------------*/
/* USER CODE BEGIN Includes */
#include <string.h>
#include <stdio.h>
/* USER CODE END Includes */
 
/* Private typedef -----------------------------------------------------------*/
/* USER CODE BEGIN PTD */
 
/* USER CODE END PTD */
 
/* Private define ------------------------------------------------------------*/
/* USER CODE BEGIN PD */
/* USER CODE END PD */
 
/* Private macro -------------------------------------------------------------*/
/* USER CODE BEGIN PM */
 
/* USER CODE END PM */
 
/* Private variables ---------------------------------------------------------*/
ADC_HandleTypeDef hadc;
 
UART_HandleTypeDef huart2;
 
/* USER CODE BEGIN PV */
/* Private variables ---------------------------------------------------------*/
 
/* USER CODE END PV */
 
/* Private function prototypes -----------------------------------------------*/
void SystemClock_Config(void);
static void MX_GPIO_Init(void);
static void MX_USART2_UART_Init(void);
static void MX_ADC_Init(void);
/* USER CODE BEGIN PFP */
/* Private function prototypes -----------------------------------------------*/
 
/* USER CODE END PFP */
 
/* Private user code ---------------------------------------------------------*/
/* USER CODE BEGIN 0 */
 
/* USER CODE END 0 */
 
/**
  * @brief  The application entry point.
  * @retval int
  */
int main(void)
{
  /* USER CODE BEGIN 1 */
char str1[9]={0}, str2[9]={0}; 
int Level=0, PrevLevel=0, count1=0;
float Voltage=0.0, PrevVoltage=0.0;
  /* USER CODE END 1 */
 
  /* MCU Configuration--------------------------------------------------------*/
 
  /* Reset of all peripherals, Initializes the Flash interface and the Systick. */
  HAL_Init();
 
  /* USER CODE BEGIN Init */
 
  /* USER CODE END Init */
 
  /* Configure the system clock */
  SystemClock_Config();
 
  /* USER CODE BEGIN SysInit */
 
  /* USER CODE END SysInit */
 
  /* Initialize all configured peripherals */
  MX_GPIO_Init();
  MX_USART2_UART_Init();
  MX_ADC_Init();
  /* USER CODE BEGIN 2 */
 
  /* USER CODE END 2 */
 
  /* Infinite loop */
  /* USER CODE BEGIN WHILE */
  while (1)
  {
 
    /* USER CODE END WHILE */
 
    /* USER CODE BEGIN 3 */
      HAL_ADC_Start(&hadc); 
        HAL_ADC_PollForConversion(&hadc,100);
        PrevLevel= (int)HAL_ADC_GetValue(&hadc);
        HAL_ADC_Stop(&hadc);  
        
        for(count1=0; count1<=200; count1++){
            HAL_ADC_Start(&hadc); 
            HAL_ADC_PollForConversion(&hadc,100);
            Level= (int)HAL_ADC_GetValue(&hadc);
            HAL_ADC_Stop(&hadc);
        
            PrevVoltage=PrevLevel*3.3/4095;
            Voltage=Level*3.3/4095;
        
            if(Voltage>PrevVoltage){
                if( ((int)(Voltage*100)-(int)(PrevVoltage*100))>0 ){
                    Level=PrevLevel;
                    continue;
                }
            }
            if(Voltage<PrevVoltage){
                if( ((int)(PrevVoltage*100)-(int)(Voltage*100))>0 ){
                    Level=PrevLevel;
                    continue;
                }
            }
        
            sprintf(str1,"%4d", Level);
            sprintf(str2,"%.6f", Voltage);
            HAL_UART_Transmit( &huart2, "The ADC level is ", 18, 100);
            HAL_UART_Transmit( &huart2, (uint8_t *)str1, 10, 100);
            HAL_UART_Transmit( &huart2, " , voltage is ", 15, 100);
            HAL_UART_Transmit( &huart2, (uint8_t *)str2, 10, 100);
            HAL_UART_Transmit( &huart2, "\r\n", 2, 100);
        }
        Level=0;
        PrevLevel=0;
        HAL_Delay(500);
  }
  /* USER CODE END 3 */
}

#include "uartlib_mock.h"  // подключаем mock-хедер(ы) либы UART. Он должен называться, как и сама либа, но с суффиксом "_mock"
 
void setup() {
    uartlib_mockInit();
    // ... инициируем все mock'и всех внешних библиотек
}
 
void teardown() {
    uartlib_mockVerify();
    // ... проверяем все mock'и всех внешних библиотек
}
 
 
void test_main(int test) {
    MX_GPIO_InitExpect(); // Ожидаем вызов функции
    MX_USART2_UART_InitExpect(); // Ожидаем вызов функции
    MX_ADC_InitExpect(); // Ожидаем вызов функции
    // ... готовим другие функции
    HAL_ADC_StartExpect(&hadc); // Показываем, что функция должна на входе получить параметр "&hadc"
    HAL_ADC_PollForConversionExpect(&hadc,100); // Показываем, что функция должна на входе получить параметр "&hadc, 100"
    HAL_ADC_GetValueExpectAndReturn(&hadc, 20); // Показываем, что функция должна на входе получить параметр "&hadc" и вернуть "20"
    // ... последовательность, количество вызывов и соответствие входных/выходных параметров в тесте должны быть соблюдены
   
    main();  // Вызываем тест функции
 
    // проверяем внешние пераметры, которые изменила функция    
}