모델 기반 동적 시험의 소프트웨어 신뢰성 향상을 위한 모델 가이드라인 영향성 연구

본 논문은 방위사업청 소프트웨어 신뢰성 시험 지침에 포함된 동적 시험 수행 시, 모델 기반 소프트웨어의 신뢰성 향상을 위해 3가지(MAAB, ORION GN&C, MISRA AC SLSF) 모델 설계 지침서가 Simulink 모델에서 생성된 자동 생성된 코드에 미치는 영향성을 분석한다. 또한 조건 블록 및 구문을 사용하는 모델을 정확한 로직 흐름으로 구성하도록 설계하고 시험이 가능할 수 있는 낮은 복잡도를 갖는 모델을 설계할 수 있게 도울 수 있는 모델 설계 지침서 항목을 선택하기 위한 기준을 제시한다.