최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기한국시뮬레이션학회논문지 = Journal of the Korea Society for Simulation, v.27 no.1, 2018년, pp.25 - 32
박장성 , 조성봉 (국방과학연구소) , 박현룡 (스타트업) , 김도완 (국방과학연구소) , 김성균
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, T...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
모델 기반 SW 개발도구를 사용하는 사례가 증가하는 이유는? | 내장형 SW(Software) 개발 시 항공, 군수, 선박, 자동차 등 여러 분야에서 알고리듬을 설계 및 모델링하고 모의(Simulation)하여 성능을 검증하는데 있어 사용자 입장 에서 다양한 편의성 때문에 Simulink와 같은 모델 기반 SW 개발도구를 사용하는 사례가 증가하고 있다(Kim, Y.G. | |
상향식 방식이란 무엇인가? | 코드 동적 시험을 수행하기 위한 방식으로는 상향식 (Bottom-up) 방식과 하향식(Top-down) 방식으로 나눌 수 있다. 상향식 방식의 경우 단위 시험(Unit Test)으로 동적 시험을 먼저 수행하고 통합 시험(Integration Test) 를 수행하는 방식을 말한다. 상향식 방식은 코드 기반으로 새로운 SW Module 설계 시 오류를 줄일 수 있다는 측면에서는 유용하다. | |
코드 신뢰성 시험을 수행할 때 동적 시험 보다 정적 시험을 먼저 수행하는 것을 권하는 이유는? | (2015)에서는 코드 신뢰성 시험을 수행할 때 높은 코드 실행률을 달성하기 위해 동적 시험 보다 정적 시험을 먼저 수행하는 것을 권하고 있다. 이는 정적 시험을 통해 Unreachable Code, Redundant Condition등과 같이 동적 시험을 수행하더라도 통과하지 못하는 코드들을 미리 걸러주기 때문이다. 또한 개발 상황에 따라 코드 동적 시험 시 유용한 방식을 비교 분석하고 있다. |
Kim, Y.G., Yoon, H.S, Kim, S.H., "A Model-Based Design and Testing Approach for the UAV Flight Control Computer", KSAS Conference, pp. 630-633, 2015
Kwon, K.Y., Joo, J.S., Kim, T.S., Oh, J.W., Baek, J.H., "A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process", Journal of KIISE, Vol. 42, No. 7, pp 860-867, 2015.7
The MathWorks, "Control Algorithm Modeling Guidelines Using Matlab, Simulink, and Stateflow Version 3.0," The Mathworks Inc., 2012
The MathWorks, "Do Qualification Kit, Model-Based Design Workflow for DO-178C," The Mathworks Inc., 2015
The MathWorks, "Managing Model-Based Design", The Mathworks Inc, 2015
The MathWorks, "Model Advisor Checks for High-Integrity Modeling Guidelines," The Mathworks Inc., 2015.
The MathWorks, "Simulink Verification and Validation," The Mathworks Inc., 2015.
Han, D.G., Kim Y.G., Yoon, H.S, "Reasearch for Automated Model Test Method of Model-based Software", KSAS Fall Conference, pp. 1208-1209, 2016
Kim, Y.G., Yoon, H.S., Kim, S.H, "Research of the Effects of the Model Style Guidelines for Improving Software Reliability through Dynamic Testing in Model Based Design", KSAS Fall Conference, pp. 1707-1710, 2014.11
Yoon. S.H., Kim, Y.W., Hwang, S., "Validation and Verification of Model-based Development", KSAS Fall Conference, pp. 1101-1104, 2015.11
DAPA, "무기체계 소프트웨어 개발 및 관리 매뉴얼 제2016-4호," 방위사업청(DAPA), 2016
Cho, S.O., Choi, K.Y., "A Study on Validation of OFP for UAV using Auto Code Generation", Journal of The Korean Society for Aeronautical and Space Sciences, Vol. 37, No. 4, pp. 359-366, 2009.4
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
Free Access. 출판사/학술단체 등이 허락한 무료 공개 사이트를 통해 자유로운 이용이 가능한 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.