모델 기반 내장형 소프트웨어의 효율적 신뢰성 시험 기법

• 영문명: An Efficient Software Reliability Testing Method for the Model based Embedded Software
• 발행기관: 한국시뮬레이션학회
• 저자명: 박장성(Jang-Seong Park) 조성봉(Sung-Bong Cho) 박현룡(Hyun-Yong Park) 김도완(Do-Wan Kim) 김성균(Seong-Gyun Kim)
• 간행물 정보: 『한국시뮬레이션학회 논문지』제27권 제1호, 25~32쪽, 전체 8쪽
• 주제분류: 공학 > 기타공학
• 파일형태: PDF
• 발행일자: 2018.03.30

국문 초록

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

영문 초록

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

목차

1. 서론

2. 본 론

3. 결론

References

키워드

소프트웨어 신뢰성 시험 정적 시험 동적 시험 모델 기반 설계 자동 생성 코드 내장형 소프트웨어 Software Reliability Test Static Test Dynamic Test Model Based Design Auto-generated Code Weapon System Embedded Software