홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | TTAS.KO-11.0067 | 구표준번호 | |
|---|---|---|---|
| 제개정일 | 2007-12-26 | 총페이지 | 20 |
| 한글표준명 | 리눅스 디바이스 드라이버의 정적 분석 지침 | ||
| 영문표준명 | Guideline for Static Analysis of Linux Device Driver | ||
| 한글내용요약 | 본 표준은 리눅스 디바이스 드라이버를 시험하기 위한 정적 분석 모델과 정적
분석 내용 및 절차에 관한 지침이다. 본 표준에서는 리눅스 디바이스 드라이버를 정적 분석하는데 필요한 정적 분석 모델에 대해 설명한다. 또한, 디바이스 드라이 버를 위한 정적 분석 내용을 분류하고, 절차를 제시하였다. |
||
| 영문내용요약 | This standard specifies the static analysis model, properties to be analyzed, and
procedures for systematic and effective static analysis of device drivers on Linux system. Also it subdivides the device driver verification into two levels, and suggests verification properties for the each level. |
||
| 국제표준 | |||
| 관련파일 |
 TTAS.KO-11.0067.pdf
| ||
