단위 테스팅 도구는 테스트 생성의 자동화 차이가 테스팅 도구의 수준을 결정합니다.
테스트 케이스 생성 기법으로는 대표적으로 Concrete Execution와 Symbolic Execution가 있습니다. Concrete와 Symbolic 기반 테스트 생성(Test Generation) 차이는 자동화 관점입니다.
- Concrete Execution: White-box testing (자동 생성) 
- Symbolic Execution: Black-box testing (수동 입력)
- Concolic Execution= Symbolic + Concrete 

Concrete Execution-based Automated White-box Path Testing
- 구체적 실행 방법(Concrete Execution)기반 경로 테스팅(Path Testing) 자동화 도구는 시간과 노력의 비용을 획기적으로 절감함과 더불어 임베디드 SW의 신뢰성을 빠르고 쉽게 확보할 수 있습니다.