C言語の単体テストのやり方｜組み込みの実コードをUnityとgcovで単体テストした

#include "wbgt.h"
#include "config.h"

/* ---- 室内用WBGT簡易推定テーブル ----
 * 行：気温21〜40℃（1℃刻み）／列：相対湿度20〜100%（5%刻み）
 * 出典：日本生気象学会「日常生活における熱中症予防指針」Ver.4（2022）
 *       図3「室内を対象とした気温と相対湿度からWBGTを簡易的に推定する図」を数表化
 * 適用条件：日射のない室内・温湿度が一様・気流の弱い環境（屋外には使えない）
 */
#define WBGT_T_MIN  21
#define WBGT_T_MAX  40
#define WBGT_RH_COLS 17

static const int8_t WBGT_TABLE[WBGT_T_MAX - WBGT_T_MIN + 1][WBGT_RH_COLS] = {
    /* 21℃ */ { 14, 14, 15, 15, 16, 16, 17, 17, 18, 18, 19, 19, 19, 20, 20, 21, 21 },
    /* 22℃ */ { 15, 15, 16, 16, 17, 17, 18, 18, 19, 19, 20, 20, 20, 21, 21, 22, 22 },
    /* 23℃ */ { 15, 16, 16, 17, 18, 18, 19, 19, 20, 20, 20, 21, 21, 22, 22, 23, 23 },
    /* 24℃ */ { 16, 17, 17, 18, 18, 19, 19, 20, 20, 21, 21, 22, 22, 23, 23, 24, 24 },
    /* 25℃ */ { 17, 17, 18, 19, 19, 20, 20, 21, 21, 22, 22, 23, 23, 24, 24, 25, 25 },
    /* 26℃ */ { 18, 18, 19, 20, 20, 21, 21, 22, 22, 23, 23, 24, 24, 25, 25, 26, 26 },
    /* 27℃ */ { 18, 19, 20, 20, 21, 22, 22, 23, 23, 24, 24, 25, 25, 26, 26, 27, 27 },
    /* 28℃ */ { 19, 20, 21, 21, 22, 22, 23, 24, 24, 25, 25, 26, 26, 27, 27, 28, 28 },
    /* 29℃ */ { 20, 21, 21, 22, 23, 23, 24, 24, 25, 26, 26, 27, 27, 28, 28, 29, 29 },
    /* 30℃ */ { 21, 21, 22, 23, 23, 24, 25, 25, 26, 26, 27, 28, 28, 29, 29, 30, 30 },
    /* 31℃ */ { 21, 22, 23, 24, 24, 25, 26, 26, 27, 27, 28, 29, 29, 30, 30, 31, 31 },
    /* 32℃ */ { 22, 23, 24, 24, 25, 26, 26, 27, 28, 28, 29, 29, 30, 31, 31, 32, 32 },
    /* 33℃ */ { 23, 24, 25, 25, 26, 27, 27, 28, 29, 29, 30, 30, 31, 31, 32, 33, 33 },
    /* 34℃ */ { 24, 25, 25, 26, 27, 28, 28, 29, 30, 30, 31, 31, 32, 32, 33, 34, 34 },
    /* 35℃ */ { 24, 25, 26, 27, 28, 28, 29, 30, 30, 31, 32, 32, 33, 33, 34, 34, 35 },
    /* 36℃ */ { 25, 26, 27, 28, 29, 29, 30, 31, 31, 32, 33, 33, 34, 34, 35, 35, 36 },
    /* 37℃ */ { 26, 27, 28, 29, 29, 30, 31, 32, 32, 33, 34, 34, 35, 35, 36, 36, 37 },
    /* 38℃ */ { 27, 28, 29, 29, 30, 31, 32, 33, 33, 34, 35, 35, 36, 36, 37, 37, 38 },
    /* 39℃ */ { 27, 28, 29, 30, 31, 32, 33, 33, 34, 35, 35, 36, 37, 37, 38, 38, 39 },
    /* 40℃ */ { 28, 29, 30, 31, 32, 33, 34, 34, 35, 36, 36, 37, 38, 38, 39, 39, 40 }
};

int8_t wbgt_estimate(int8_t temp_c, uint8_t humidity) {
    /* 表の範囲外は端の値へ丸める（DHT11は0〜50℃/20〜90%を返す） */
    if (temp_c < WBGT_T_MIN) {
        temp_c = WBGT_T_MIN;
    }
    if (temp_c > WBGT_T_MAX) {
        temp_c = WBGT_T_MAX;
    }
    if (humidity < 20) {
        humidity = 20;
    }
    if (humidity > 100) {
        humidity = 100;
    }

    uint8_t row = (uint8_t)(temp_c - WBGT_T_MIN);
    uint8_t col = (uint8_t)((humidity - 20 + 2) / 5);   /* 最も近い5%刻みの列へ */
    if (col >= WBGT_RH_COLS) {
        col = WBGT_RH_COLS - 1;
    }
    return WBGT_TABLE[row][col];
}

/* WBGT→レベルの単純変換（ヒステリシスなし） */
static RiskLevel level_of(int8_t wbgt) {
    if (wbgt >= WBGT_DANGER) {
        return RISK_DANGER;
    } else if (wbgt >= WBGT_SEVERE) {
        return RISK_SEVERE;
    } else if (wbgt >= WBGT_CAUTION) {
        return RISK_CAUTION;
    } else {
        return RISK_NORMAL;
    }
}

/* レベルの入口しきい値（RISK_CAUTION以上で使う） */
static int8_t threshold_of(RiskLevel level) {
    if (level == RISK_DANGER) {
        return WBGT_DANGER;
    } else if (level == RISK_SEVERE) {
        return WBGT_SEVERE;
    } else {
        return WBGT_CAUTION;
    }
}

RiskLevel wbgt_judge(int8_t wbgt, RiskLevel current) {
    RiskLevel raw = level_of(wbgt);

    if (raw > current) {
        /* 危険側への変化は即時に反映する（安全側） */
        return raw;
    }
    if (raw < current) {
        /* 安全側への変化は、今のレベルの入口よりWBGT_HYST℃下がるまで保留。
         * しきい値の上下でON/OFFがバタつくのを防ぐ（1段ずつ降ろす） */
        if (wbgt <= (int8_t)(threshold_of(current) - 1 - WBGT_HYST)) {
            return (RiskLevel)(current - 1);
        }
        return current;
    }
    return current;
}

#ifndef CONFIG_H
#define CONFIG_H

/* ============================================================
 * 自動温湿度調整システム 設定値（要件定義書の規定値はここに集約）
 * ============================================================ */

/* ---- ピン割り当て ---- */
#define PIN_DHT    2    /* DHT11 DATA（#4と同じ） */
#define PIN_IR_RX  8    /* IR受信モジュールOUT（PB0。アイドルHigh） */
/* D11(PB3/OC2A)＝赤外線LED。Timer2のOC2A出力固定のため変更不可（#5と同じ） */
/* D13(PB5)＝警告LED（内蔵LED） */

/* ---- 周期（すべて1秒tickの数で数える） ---- */
#define MEAS_PERIOD_S    10u     /* 温湿度の測定・判定周期：10秒 */
#define TREND_PERIOD_S   300u    /* 冷房中のトレンド判定周期：5分 */
#define RESUME_PERIOD_S  1800u   /* 人間優先からの復帰時間：30分 */

/* 試験・デモ用の時間短縮倍率。1で実時間、60にすると5分→5秒になる */
#define TIME_SCALE       1u

/* ---- しきい値（WBGT℃。日本生気象学会「日常生活における熱中症予防指針」Ver.4の4段階） ---- */
#define WBGT_CAUTION     25   /* 警戒（25以上28未満） */
#define WBGT_SEVERE      28   /* 厳重警戒（28以上31未満）＝エアコンON判断 */
#define WBGT_DANGER      31   /* 危険（31以上） */
#define WBGT_HYST        1    /* レベルを下げるときのヒステリシス幅（℃） */

/* ---- 制御 ---- */
#define TARGET_TEMP_C    25   /* 冷房で近づけたい室温（℃） */
#define SENSOR_FAIL_MAX  3    /* 連続失敗この回数でセンサ異常と判断 */

#endif

/* 2回目：1回目の4本に、境界値と残った分岐のテストを8本足した */
#include "unity.h"
#include "wbgt.h"

void setUp(void) {
}

void tearDown(void) {
}

/* 気温30℃・湿度60%は表の10行目・9列目（26℃） */
void test_estimate_reads_table(void) {
    TEST_ASSERT_EQUAL_INT8(26, wbgt_estimate(30, 60));
}

/* 危険側への変化はすぐに上げる */
void test_judge_raises_immediately(void) {
    TEST_ASSERT_EQUAL(RISK_SEVERE, wbgt_judge(28, RISK_NORMAL));
}

/* 安全側への変化は、今のレベルのしきい値（28）より1℃下がっただけでは保留する */
void test_judge_holds_near_threshold(void) {
    TEST_ASSERT_EQUAL(RISK_SEVERE, wbgt_judge(27, RISK_SEVERE));
}

/* しきい値（28）より2℃下がったら1段だけ下げる */
void test_judge_lowers_one_step(void) {
    TEST_ASSERT_EQUAL(RISK_CAUTION, wbgt_judge(26, RISK_SEVERE));
}

/* ---- 2回目で足した：表の外側は端の値へ丸める（湿度60%は9列目） ---- */
/* 気温の下限：21℃は表の1行目、20℃も1行目の値になる */
void test_estimate_clamps_low_temp(void) {
    TEST_ASSERT_EQUAL_INT8(18, wbgt_estimate(21, 60));
    TEST_ASSERT_EQUAL_INT8(18, wbgt_estimate(20, 60));
}

/* 気温の上限：40℃は表の20行目、41℃も20行目の値になる */
void test_estimate_clamps_high_temp(void) {
    TEST_ASSERT_EQUAL_INT8(35, wbgt_estimate(40, 60));
    TEST_ASSERT_EQUAL_INT8(35, wbgt_estimate(41, 60));
}

/* 湿度の下限：気温30℃で、20%は1列目、19%も1列目の値になる */
void test_estimate_clamps_low_humidity(void) {
    TEST_ASSERT_EQUAL_INT8(21, wbgt_estimate(30, 20));
    TEST_ASSERT_EQUAL_INT8(21, wbgt_estimate(30, 19));
}

/* 湿度の上限：気温30℃で、100%は17列目、101%も17列目の値になる */
void test_estimate_clamps_high_humidity(void) {
    TEST_ASSERT_EQUAL_INT8(30, wbgt_estimate(30, 100));
    TEST_ASSERT_EQUAL_INT8(30, wbgt_estimate(30, 101));
}

/* ---- 2回目で足した：判定の残りの分岐 ---- */
/* 31以上なら危険へ上げる */
void test_judge_raises_to_danger(void) {
    TEST_ASSERT_EQUAL(RISK_DANGER, wbgt_judge(31, RISK_SEVERE));
}

/* 25未満のままなら注意未満のまま */
void test_judge_keeps_normal(void) {
    TEST_ASSERT_EQUAL(RISK_NORMAL, wbgt_judge(20, RISK_NORMAL));
}

/* 危険のしきい値（31）より2℃下がったら厳重警戒へ */
void test_judge_lowers_from_danger(void) {
    TEST_ASSERT_EQUAL(RISK_SEVERE, wbgt_judge(29, RISK_DANGER));
}

/* 警戒のしきい値（25）より2℃下がったら注意未満へ */
void test_judge_lowers_from_caution(void) {
    TEST_ASSERT_EQUAL(RISK_NORMAL, wbgt_judge(23, RISK_CAUTION));
}

int main(void) {
    UNITY_BEGIN();
    RUN_TEST(test_estimate_reads_table);
    RUN_TEST(test_judge_raises_immediately);
    RUN_TEST(test_judge_holds_near_threshold);
    RUN_TEST(test_judge_lowers_one_step);
    RUN_TEST(test_estimate_clamps_low_temp);
    RUN_TEST(test_estimate_clamps_high_temp);
    RUN_TEST(test_estimate_clamps_low_humidity);
    RUN_TEST(test_estimate_clamps_high_humidity);
    RUN_TEST(test_judge_raises_to_danger);
    RUN_TEST(test_judge_keeps_normal);
    RUN_TEST(test_judge_lowers_from_danger);
    RUN_TEST(test_judge_lowers_from_caution);
    return UNITY_END();
}

$ rm -f wbgt.gcda
$ gcc -std=c99 -Wall -Wextra -Iunity -Isrc -c test/test_wbgt_boundary.c
$ gcc --coverage -o test_wbgt_boundary test_wbgt_boundary.o wbgt.o unity.o
$ ./test_wbgt_boundary
test/test_wbgt_boundary.c:79:test_estimate_reads_table:PASS
test/test_wbgt_boundary.c:80:test_judge_raises_immediately:PASS
test/test_wbgt_boundary.c:81:test_judge_holds_near_threshold:PASS
test/test_wbgt_boundary.c:82:test_judge_lowers_one_step:PASS
test/test_wbgt_boundary.c:83:test_estimate_clamps_low_temp:PASS
test/test_wbgt_boundary.c:84:test_estimate_clamps_high_temp:PASS
test/test_wbgt_boundary.c:85:test_estimate_clamps_low_humidity:PASS
test/test_wbgt_boundary.c:86:test_estimate_clamps_high_humidity:PASS
test/test_wbgt_boundary.c:87:test_judge_raises_to_danger:PASS
test/test_wbgt_boundary.c:88:test_judge_keeps_normal:PASS
test/test_wbgt_boundary.c:89:test_judge_lowers_from_danger:PASS
test/test_wbgt_boundary.c:90:test_judge_lowers_from_caution:PASS
-----------------------
12 Tests 0 Failures 0 Ignored 
OK
$ gcov -b wbgt.c
File 'src/wbgt.c'
Lines executed:97.30% of 37
Branches executed:100.00% of 26
Taken at least once:96.15% of 26
Calls executed:100.00% of 2
Creating 'wbgt.c.gcov'
Lines executed:97.30% of 37

$ gcc -std=c99 -Wall -Wextra -Iunity -Isrc --coverage -c src/wbgt_fixed.c
$ gcc --coverage -o test_wbgt_fixed test_wbgt_boundary.o wbgt_fixed.o unity.o
$ ./test_wbgt_fixed
test/test_wbgt_boundary.c:79:test_estimate_reads_table:PASS
test/test_wbgt_boundary.c:80:test_judge_raises_immediately:PASS
test/test_wbgt_boundary.c:81:test_judge_holds_near_threshold:PASS
test/test_wbgt_boundary.c:82:test_judge_lowers_one_step:PASS
test/test_wbgt_boundary.c:83:test_estimate_clamps_low_temp:PASS
test/test_wbgt_boundary.c:84:test_estimate_clamps_high_temp:PASS
test/test_wbgt_boundary.c:85:test_estimate_clamps_low_humidity:PASS
test/test_wbgt_boundary.c:86:test_estimate_clamps_high_humidity:PASS
test/test_wbgt_boundary.c:87:test_judge_raises_to_danger:PASS
test/test_wbgt_boundary.c:88:test_judge_keeps_normal:PASS
test/test_wbgt_boundary.c:89:test_judge_lowers_from_danger:PASS
test/test_wbgt_boundary.c:90:test_judge_lowers_from_caution:PASS
-----------------------
12 Tests 0 Failures 0 Ignored 
OK
$ gcov -b wbgt_fixed.c
File 'src/wbgt_fixed.c'
Lines executed:100.00% of 35
Branches executed:100.00% of 24
Taken at least once:100.00% of 24
Calls executed:100.00% of 2
Creating 'wbgt_fixed.c.gcov'
Lines executed:100.00% of 35

/* 通らない分岐を消した版（wbgt_fixed.c）と原本（wbgt.c）が、
 * int8_t の気温 × uint8_t の湿度の全65,536通りで同じ値を返すかを確かめる */
#include "unity.h"
#include "wbgt.h"

int8_t wbgt_estimate_orig(int8_t temp_c, uint8_t humidity);

void setUp(void) {
}

void tearDown(void) {
}

void test_fixed_equals_original_for_all_inputs(void) {
    int t;
    int h;
    for (t = -128; t <= 127; t++) {
        for (h = 0; h <= 255; h++) {
            TEST_ASSERT_EQUAL_INT8(wbgt_estimate_orig((int8_t)t, (uint8_t)h),
                                   wbgt_estimate((int8_t)t, (uint8_t)h));
        }
    }
}

int main(void) {
    UNITY_BEGIN();
    RUN_TEST(test_fixed_equals_original_for_all_inputs);
    return UNITY_END();
}

$ rm -f wbgt.gcda
$ gcc -std=c99 -Wall -Wextra -Iunity -Isrc --coverage -fcondition-coverage -c src/wbgt.c
$ gcc --coverage -o test_wbgt_boundary test_wbgt_boundary.o wbgt.o unity.o
$ ./test_wbgt_boundary
test/test_wbgt_boundary.c:79:test_estimate_reads_table:PASS
test/test_wbgt_boundary.c:80:test_judge_raises_immediately:PASS
test/test_wbgt_boundary.c:81:test_judge_holds_near_threshold:PASS
test/test_wbgt_boundary.c:82:test_judge_lowers_one_step:PASS
test/test_wbgt_boundary.c:83:test_estimate_clamps_low_temp:PASS
test/test_wbgt_boundary.c:84:test_estimate_clamps_high_temp:PASS
test/test_wbgt_boundary.c:85:test_estimate_clamps_low_humidity:PASS
test/test_wbgt_boundary.c:86:test_estimate_clamps_high_humidity:PASS
test/test_wbgt_boundary.c:87:test_judge_raises_to_danger:PASS
test/test_wbgt_boundary.c:88:test_judge_keeps_normal:PASS
test/test_wbgt_boundary.c:89:test_judge_lowers_from_danger:PASS
test/test_wbgt_boundary.c:90:test_judge_lowers_from_caution:PASS
-----------------------
12 Tests 0 Failures 0 Ignored 
OK
$ gcov -b -g wbgt.c
File 'src/wbgt.c'
Lines executed:97.30% of 37
Branches executed:100.00% of 26
Taken at least once:96.15% of 26
Calls executed:100.00% of 2
Condition outcomes covered:96.15% of 26
Creating 'wbgt.c.gcov'
Lines executed:97.30% of 37

/* MC/DC：2つの条件それぞれが、単独で結果を変えることを確かめる */
#include "unity.h"
#include "trend.h"

void setUp(void) {
}

void tearDown(void) {
}

/* 目標(25℃)より高く、前回から下がっていない → 下げる */
void test_hot_and_not_falling(void) {
    TEST_ASSERT_EQUAL_INT(1, trend_needs_temp_down(28, 28));
}

/* 目標以下 → 下げない（1つ目の条件だけが変わった。2つ目の 25 >= 25 は真のまま） */
void test_already_cool(void) {
    TEST_ASSERT_EQUAL_INT(0, trend_needs_temp_down(25, 25));
}

/* 目標より高いが、前回から下がっている → 下げない（2つ目の条件だけが変わった） */
void test_hot_but_falling(void) {
    TEST_ASSERT_EQUAL_INT(0, trend_needs_temp_down(28, 29));
}

int main(void) {
    UNITY_BEGIN();
    RUN_TEST(test_hot_and_not_falling);
    RUN_TEST(test_already_cool);
    RUN_TEST(test_hot_but_falling);
    return UNITY_END();
}

$ rm -f trend.gcda
$ gcc -std=c99 -Wall -Wextra -Iunity -Isrc -c test/test_trend_mcdc.c
$ gcc --coverage -o test_trend_mcdc test_trend_mcdc.o trend.o unity.o
$ ./test_trend_mcdc
test/test_trend_mcdc.c:28:test_hot_and_not_falling:PASS
test/test_trend_mcdc.c:29:test_already_cool:PASS
test/test_trend_mcdc.c:30:test_hot_but_falling:PASS
-----------------------
3 Tests 0 Failures 0 Ignored 
OK
$ gcov -b -g trend.c
File 'src/trend.c'
Lines executed:100.00% of 4
Branches executed:100.00% of 4
Taken at least once:100.00% of 4
No calls
Condition outcomes covered:100.00% of 4
Creating 'trend.c.gcov'
Lines executed:100.00% of 4

#ifndef EEPROM_LOG_H
#define EEPROM_LOG_H

#include <stdint.h>

/* イベント種別（EEPROMに1バイトで残す） */
typedef enum {
    EV_BOOT        = 0x01,   /* 起動 */
    EV_LEVEL_UP    = 0x02,   /* 警告レベルが上がった */
    EV_LEVEL_DOWN  = 0x03,   /* 警告レベルが下がった */
    EV_AC_ON       = 0x04,   /* 冷房ONを送信 */
    EV_AC_TEMP_DOWN= 0x05,   /* 設定温度ダウンを送信 */
    EV_AC_OFF      = 0x06,   /* 停止を送信 */
    EV_HUMAN       = 0x07,   /* 人間のリモコン操作を検知（人間優先へ） */
    EV_RESUME      = 0x08,   /* 人間優先から自動制御へ復帰 */
    EV_SENSOR_FAIL = 0x09    /* センサ読み取りの連続失敗 */
} LogEvent;

void eeprom_log_init(void);                                    /* 起動回数+1とログ位置の復元 */
void eeprom_log_write(LogEvent ev, int8_t wbgt, int8_t temp_c, uint8_t humidity);
void eeprom_log_dump(void);                                    /* シリアルへCSV形式で全件表示 */

#endif

#include "eeprom_log.h"
#include "eeprom_hal.h"

/* 原本 eeprom_log.cpp から、レジスタを触る2関数を eeprom_hal へ出した版。
 * 処理（リングバッファ・壊れた値の復旧・同じ値なら書かない）は原本のまま。
 * eeprom_log_dump() は Serial に依存するため、実機側のファイルに残す。 */

/* 書き込み回数を減らす：今と同じ値なら書かない（update相当） */
static void eeprom_update_reg(uint16_t addr, uint8_t data) {
    if (eeprom_hal_read(addr) != data) {
        eeprom_hal_write(addr, data);
    }
}

/* ---- イベントログ（リングバッファ） ----
 * アドレス0：起動回数／アドレス1：次に書くレコード番号
 * アドレス8以降：1レコード4バイト（イベント種別・WBGT・気温・湿度）×32件
 * 32件を超えたら一番古いレコードから上書きする */
#define LOG_BASE   8
#define LOG_SIZE   4
#define LOG_COUNT  32

static uint8_t g_next = 0;          /* 次に書くレコード番号（0〜31） */

void eeprom_log_init(void) {
    uint8_t boot = eeprom_hal_read(0);
    eeprom_update_reg(0, (uint8_t)(boot + 1));

    g_next = eeprom_hal_read(1);
    if (g_next >= LOG_COUNT) {      /* 初回（0xFF）や壊れた値は0へ */
        g_next = 0;
    }
    eeprom_log_write(EV_BOOT, 0, 0, 0);
}

void eeprom_log_write(LogEvent ev, int8_t wbgt, int8_t temp_c, uint8_t humidity) {
    uint16_t addr = (uint16_t)(LOG_BASE + g_next * LOG_SIZE);
    eeprom_update_reg(addr + 0, (uint8_t)ev);
    eeprom_update_reg(addr + 1, (uint8_t)wbgt);
    eeprom_update_reg(addr + 2, (uint8_t)temp_c);
    eeprom_update_reg(addr + 3, humidity);

    g_next = (uint8_t)((g_next + 1) % LOG_COUNT);
    eeprom_update_reg(1, g_next);   /* 次回起動時に続きから書けるよう保存 */
}

/* eeprom_log の処理を、偽EEPROM（fake_eeprom.c）をリンクしてPCで確かめる。
 * 期待値はコードのコメントに書かれた仕様から決めた */
#include "unity.h"
#include "eeprom_log.h"
#include "fake_eeprom.h"

#define ADDR_BOOT   0
#define ADDR_NEXT   1
#define LOG_BASE    8
#define LOG_SIZE    4
#define LOG_COUNT   32

void setUp(void) {
    fake_eeprom_erase();    /* 毎回、消去済みのEEPROMから始める */
}

void tearDown(void) {
}

/* 「起動回数+1」：消去済みのEEPROMで初めて起動したら、起動回数は1になるはず */
void test_first_boot_counts_one(void) {
    eeprom_log_init();
    TEST_ASSERT_EQUAL_UINT8(1, fake_eeprom[ADDR_BOOT]);
}

/* 起動すると、先頭のレコードに起動イベントを残し、次の位置1を保存する */
void test_first_boot_writes_boot_record(void) {
    eeprom_log_init();
    TEST_ASSERT_EQUAL_UINT8(EV_BOOT, fake_eeprom[LOG_BASE]);
    TEST_ASSERT_EQUAL_UINT8(1, fake_eeprom[ADDR_NEXT]);
}

/* 「32件を超えたら一番古いレコードから上書き」：33件目は先頭へ戻る */
void test_wraps_after_32_records(void) {
    int i;
    eeprom_log_init();                          /* 1件目＝起動 */
    for (i = 0; i < LOG_COUNT - 1; i++) {       /* 2〜32件目 */
        eeprom_log_write(EV_AC_ON, 30, 30, 60);
    }
    eeprom_log_write(EV_AC_OFF, 25, 26, 50);    /* 33件目 */
    TEST_ASSERT_EQUAL_UINT8(EV_AC_OFF, fake_eeprom[LOG_BASE]);
    TEST_ASSERT_EQUAL_UINT8(1, fake_eeprom[ADDR_NEXT]);
}

/* 「初回（0xFF）や壊れた値は0へ」：位置が範囲外なら先頭から書く */
void test_broken_next_restarts_from_zero(void) {
    fake_eeprom[ADDR_NEXT] = 200;
    eeprom_log_init();
    TEST_ASSERT_EQUAL_UINT8(EV_BOOT, fake_eeprom[LOG_BASE]);
    TEST_ASSERT_EQUAL_UINT8(1, fake_eeprom[ADDR_NEXT]);
}

/* 「今と同じ値なら書かない」：同じ内容のレコードを上書きしても、書くのは位置の1バイトだけ */
void test_same_value_is_not_written(void) {
    int i;
    int before;
    eeprom_log_init();                          /* 先頭＝起動(0,0,0) */
    for (i = 0; i < LOG_COUNT - 1; i++) {
        eeprom_log_write(EV_AC_ON, 30, 30, 60);
    }
    before = fake_eeprom_write_count;
    eeprom_log_write(EV_BOOT, 0, 0, 0);         /* 先頭と同じ内容で上書き */
    TEST_ASSERT_EQUAL_INT(1, fake_eeprom_write_count - before);
}

int main(void) {
    UNITY_BEGIN();
    RUN_TEST(test_first_boot_counts_one);
    RUN_TEST(test_first_boot_writes_boot_record);
    RUN_TEST(test_wraps_after_32_records);
    RUN_TEST(test_broken_next_restarts_from_zero);
    RUN_TEST(test_same_value_is_not_written);
    return UNITY_END();
}

$ gcc -std=c99 -Wall -Wextra -Iunity -Isrc --coverage -c src/eeprom_log_fixed.c
$ gcc --coverage -o test_eeprom_log_fixed test_eeprom_log.o eeprom_log_fixed.o fake_eeprom.o unity.o
$ ./test_eeprom_log_fixed
test/test_eeprom_log.c:77:test_first_boot_counts_one:PASS
test/test_eeprom_log.c:78:test_first_boot_writes_boot_record:PASS
test/test_eeprom_log.c:79:test_wraps_after_32_records:PASS
test/test_eeprom_log.c:80:test_broken_next_restarts_from_zero:PASS
test/test_eeprom_log.c:81:test_same_value_is_not_written:PASS
test/test_eeprom_log.c:82:test_second_boot_continues:PASS
-----------------------
6 Tests 0 Failures 0 Ignored 
OK
$ gcov -b eeprom_log_fixed.c
File 'src/eeprom_log_fixed.c'
Lines executed:100.00% of 23
Branches executed:100.00% of 6
Taken at least once:100.00% of 6
Calls executed:100.00% of 11
Creating 'eeprom_log_fixed.c.gcov'
Lines executed:100.00% of 23