임베디드 C에서 테스트 주도 개발(TDD)로 상태 머신 구축하기

상태 머신과 TDD: 검증된 전략

상태 머신(State Machine, SM)은 많은 임베디드 시스템 기초지만 개발 복잡할 수 있습니다. 이 글은 자원 제약 환경에 적합한 C 구현 중심으로 테스트 주도 개발(TDD) 사용한 상태 머신 소프트웨어 구축 검증 전략 개요.

상태 머신 핵심 요소

핵심적으로 SM 모델은 상태(States), 전이(Transitions), 액션(Actions) 구성. 상태는 조건 표현, 전이는 보통 이벤트 트리거로 한 상태에서 다른 상태로 경로 정의, 액션은 진입·퇴출·전이 중 실행되는 행동 포착.

UML 상태 머신에서 액션은 상태 진입/퇴출, 전이 자체, 내부 반응에 부착 가능. 모든 상태 머신 형식주의가 실행-완료(Run-To-Completion, RTC) 실행 모델 가정: 각 이벤트 완전히 처리 - 퇴출 액션, 전이 액션, 진입 액션 포함 - 후 다음 이벤트 처리.

TDD가 중요한 이유

TDD 전략 들어가기 전 TDD 중요성 이해 필수. TDD는 프로덕션 코드 전 실패하는 단위 테스트 작성 강제하는 점진적 개발 접근. 테스트는 작고 자동화되며 원하는 동작 명세 역할. 제임스 그레닝(James Grenning) "임베디드 C를 위한 테스트 주도 개발" 기반 TDD 사이클:

• 작고 실패하는 테스트 작성
• 모든 테스트 실행, 새 테스트 실패 확인
• 테스트 통과하는 최소 코드 작성
• 모든 테스트 재실행, 새 테스트 통과 확인
• 중복 제거·명확성 개선 위해 리팩토링

기본 상태 머신 테스트: 전이 테이블 검증

그림 1 SM 다이어그램 고려. StateA에서 시작, Alpha 이벤트 수신 시 StateB로 전이, xStateA(), effect(), nStateB() 순서 실행. 이 동작 정확성 어떻게 검증?

가장 직관적 테스트 접근: SM 전이 테이블 검증. 상태당 1개 테스트 케이스 생성, 관련 이벤트로 SM 자극, 결과 상태와 실행된 액션 단언. 복잡한 액션엔 전용 테스트 필요. ("단위 테스트로 상태 머신 테스팅" 기사 참조.)

각 테스트 4단계 xUnit 패턴 따름:

• 셋업(Setup): 선행 조건 확립 (현재 상태, 이벤트, 예상 대상 상태, 액션 시퀀스)
• 실행(Exercise): 이벤트로 SM 트리거
• 검증(Verify): 결과가 기대치와 일치하는지 단언
• 정리(Cleanup): SM 초기 상태로 리셋 (선택적)

복잡한 동작: 기능 시나리오 테스팅

이 전략 단순 SM엔 효과적이지만, 효과가 여러 단계 후만 관측되는 전이 체인 같은 복잡한 동작엔 기능 시나리오 테스팅 필요. 고립된 상태 체크 대신 필요한 상태, 이벤트, 액션 실행하는 완전 시퀀스 테스트.

그림 2는 전통적 do-while 루프 모방하는 DoWhile SM 예시. x = 0, output = 0으로 기본값 초기화, x++ 또는 x = (x > 0) ? x-: x로 루프 카운터 설정, i++로 반복, 가드 i == x 실패 시까지, 이후 output = i 출력.

테스트 리스트 작성과 구현

코딩 전 명세에서 파생된 테스트 리스트 작성. DoWhile 초기 리스트:

• 초기화 시 모든 데이터 기본값 설정
• X 속성 증가
• X 속성 감소
• 단일 반복 루프 실행
• 다중 반복 실행
• 비반복 시나리오 처리
• 아웃오브바운드 조건 체크

빌드 시스템으로 시들링(Ceedling), 경량 테스트 하네스로 유니티(Unity) 사용. SM은 DoWhile.h, DoWhile.c 정의, 테스트 스위트 test_DoWhile.c에 상주. "단일 반복" 테스트 케이스 간결 발췌:

테스트가 SM 초기화, 반복 카운트 0 설정, Up 이벤트 디스패치로 증가, Start 이벤트 트리거, 마지막으로 Alpha 전송해 1회 루프 반복 실행. out 속성이 반복 횟수와 같고 SM이 StateC 유지됨 단언.

같은 테스트 확장으로 다중 반복 시연 (코드 리스팅 2). 별도 테스트(리스팅 3)가 Alpha가 선행 Up 없이 수신 시 반복 수행 안 함 확인.

구현 세부사항이 글 초점 아니지만 DoWhile.c, DoWhile.h 발췌로 깔끔한 스위치-케이스 상태 처리 접근법 예시.

요약

TDD가 상태 머신 개발에 두 가지 상호보완적 전략 제공: (1) 상태별 전이 테스팅, (2) 다중 상태와 액션 커버하는 기능 시나리오 테스팅. 이 방법들은 언어·도구 중립적, 상태 기반 로직 지배하는 임베디드 시스템에 특히 적합.

C가 임베디드 소프트웨어 링구아 프랑카로 남아있는 한, 시들링과 유니티 조합이 견고한 TDD 워크플로 제공. 이 관행 채택이 기존 접근보다 더 유연하고 유지보수 용이하며 재사용 가능한 소프트웨어로 이끔.

모든 코드와 모델은 GitHub 저장소 https://github.com/leanfrancucci/sm-tdd.git에서 이용 가능.