Arduino平台基于DbC的软件调试

基于LED和串口通信的DBC调试工具：HAssert --- Hyper LED/Serial Assert 。

本文基于DbC思想 ，在Arduino平台上实现了两种断言显示方式---LED显示和串口输出显示。
LED显示方式
适用于没有串口(这种情况很少)，或者串口已经被占用的情况，只用一个LED的显示次数来调试程序；
串口输出显示方式
可以把断言内容传送到PC机，在PC机看到出错的位置（文件名和行号）。
以下的HAssert.h和HAssert.cpp实现了DbC调试的断言。

一.HAssert.h头文件

#ifndef H_ASSERT_H
#define H_ASSERT_H
#include <stdint.h>                 // C99-standard exact-width integers
#include <avr/pgmspace.h>
//#define ROM_BYTE(rom_var_)    pgm_read_byte_near(&(rom_var_))
//#define ROM   PROGMEM
/// 1.有/无断言选择开关（配置1）
// (1)调试时，   H_ASSERT = 1，断言有效
// (2)发布软件时,H_ASSERT = 0，自动去掉代码中插入的所有断言
#define H_ASSERT_EN  1
///2.LED/串口显示断言选择开关(配置2)
//(1)H_LED_ASSERT_EN = 1时，选择LED显示断言
//(2)H_LED_ASSERT_EN = 0时，选择串口显示断言
#define H_LED_ASSERT_EN   0
//=================================================
/// 状态LED引脚 (配置3)
#define H_ASSERT_LED_PIN    13 //Arduino板用13; MSR和SWT板用RxErr状态LED，7.
/// 状态LED延时时间(配置4)
// (1)仿真用了10000ms, 实际上可以修改成1秒的时间
#define H_ASSERT_LED_DELAY_TIME    1000 // ms
//================================================
///3.H_ASSERT_EN == 0，去掉断言宏
#if  H_ASSERT_EN == 0
    #define H_ASSERT_ID(id, test)
    #define H_REQUIRE_ID(id, test)
    #define H_ERROR_ID(id)
    #define H_BREAKPOINT_ID(id)
    #define H_DEFINE_THIS_FILE
    #define H_DEFINE_THIS_MODULE(name_)
    #define H_ASSERT(test)
    #define H_REQUIRE(test)
    #define H_ERROR()
    #define H_BREAK_POINT()
///4.H_ASSERT_EN == 1，加入断言宏
#else
    ///4.0.声明断言函数
    #ifdef __cplusplus
        extern "C" {
    #endif
        void H_onAssert_id(uint8_t id); //LED显示断言回调函数声明
        void H_onAssert(char const PROGMEM * const file, int line); //串口显示断言回调函数声明
    #ifdef __cplusplus
        }
    #endif
    ///4.1.LED断言宏
    #if H_LED_ASSERT_EN == 1
        ///LED断言---带id参数
        //(1).id参数可以指示错误分类等，如用LED闪亮的次数分类
        //(2). 建议id = 2~255, id=0和1都算做1次，以下类同
        ///断言宏
        #define H_ASSERT_ID(id, test)     if (test) { \
                                     } \
                                        else (H_onAssert_id((id)))
        ///必要条件
        #define H_REQUIRE_ID(id, test)   H_ASSERT_ID(id, test)
        ///错误
        #define H_ERROR_ID(id)           (H_onAssert_id((id)))
        ///断点
        #define H_BREAKPOINT_ID(id)      (H_onAssert_id((id)))
    ///4.2.串口断言宏
    #else
        ///加入到每个文件的#include "HSAssert.h"之后，文件的前边。
        //绝对路径文件，太长！
        #define H_DEFINE_THIS_FILE \
            static char const PROGMEM l_file[] = __FILE__;
        ///自己写文件名，或模块名
        #define H_DEFINE_THIS_MODULE(module_name_) \
            static char const PROGMEM l_file[] = #module_name_;
        ///断言宏
        #define H_ASSERT(test)     if (test) {\
                                    } \
                                else (H_onAssert(l_file, __LINE__))
        ///必要条件
        #define H_REQUIRE(test)  H_ASSERT(test)
        ///错误
        #define H_ERROR()       (H_onAssert(l_file, __LINE__))
        ///断点 停止
        #define H_BREAKPOINT()      { Serial.print("--- Breakpoint --- ");\
                                      (H_onAssert(l_file, __LINE__)); \
                                      cli();\
                                      while(1);\
                                    } while(0)
    #endif
#endif
#endif

二.HAssert.cpp文件

#include <Arduino.h>
#include "HAssert.h"
///1.LED断言函数实现---显示闪亮次数
//(1).用一个LED亮表示有错，闪亮次数表示错误类型
//(2).有代码中不同的位置放id不同的断言宏，用闪亮的次数表示错误类型
//(3).建议id = 2~255，不建议用0和1.
//(4).有错误就会停止
void H_onAssert_id(uint8_t id) {
    pinMode(H_ASSERT_LED_PIN, OUTPUT);
    sei();
    delay(H_ASSERT_LED_DELAY_TIME);
    for (uint8_t i = 0; i < id; i++) {
        digitalWrite(H_ASSERT_LED_PIN, LOW);
        delay(H_ASSERT_LED_DELAY_TIME);
        digitalWrite(H_ASSERT_LED_PIN, HIGH);
        delay(H_ASSERT_LED_DELAY_TIME);
    }
    cli();
    while(1) { ; }  //停止，断言不会返回,错误就得处理掉！
    //asm volatile ("jmp 0x0000");    // 复位
}
///2.串行断言函数实现---显示文件和出错行
//只有H_BREAKPOINT()会停止
void H_onAssert(char const PROGMEM * const file, int line) {
    int i =0 ;
    char ch, buffer[60];
    do {
        ch = (char)pgm_read_word(file + i);
        buffer[i++] = ch;
    } while((ch != 0)&&(i < 60) );
    Serial.print(line - 3,DEC); Serial.print(" Line Error in ");
    Serial.print(buffer); Serial.println(" file.");
}

三.DbC测试程序

1.利用LED的DbC测试

//////////////////////////////////////////////////////////////////////////////
// 名称：利用LED的DbC测试
//////////////////////////////////////////////////////////////////////////////
///LED断言要求：HAssert.h中
//配置1：H_ASSERT_EN = 1
//配置2：H_LED_ASSERT_EN = 1
#include "HAssert.h"
void setup() {
}
void loop() {
    uint8_t x = 5;
    uint8_t y = 6;
    H_REQUIRE_ID(2,x==y); //判断逻辑错误时，闪亮2次，最后保持亮
    H_REQUIRE_ID(3,x != y); //判断逻辑正确时，不亮
H_ERROR_ID(10); //闪亮10次，最后保持亮
    H_BREAKPOINT_ID(10);//与 H_ERROR_ID(10)一样

    delay(100);
    while(1);
}

2.利用串口通信的DbC测试

 //////////////////////////////////////////////////////////////////////////////
// 名称：利用串口通信的DbC测试
//////////////////////////////////////////////////////////////////////////////
///串口断言要求：HAssert.h中
//配置1：H_ASSERT_EN = 1
//配置2：H_LED_ASSERT_EN = 0
#include "HAssert.h"
#include <Arduino.h>
H_DEFINE_THIS_MODULE("Test_HAssert.ino") //自己写文件名
//HS_DEFINE_THIS_FILE  //绝对路径文件，太长！不用
void setup() {
    Serial.begin(9600);
}
void loop() {
    uint8_t x = 5;
    uint8_t y = 6;
    H_ASSERT(false);
    H_REQUIRE(x == y);
    H_REQUIRE(x != y); //满足条件，不输出
    H_ERROR();
     H_BREAKPOINT();
    delay(100);
    //while(1);
}

四.串口通信DbC测试效果

本文中只给出串口DbC测试的运行效果，LED的DbC测试是在Arduino板上用LED闪亮次数来表示出错的位置。