• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• 한국산학기술학회논문지
• /
• 제21권12호
• /
• pp.97-106
• /
• 2020

본 연구의 목적은 소프트웨어 공인시험기관에 국제 표준 ISO/IEC 17025 요구사항을 기준으로 ISO/IEC/IEEE 29119 소프트웨어 시험 절차와 ISO/IEC 25023 소프트웨어 시험 평가 항목을 적용하는 방법에 대한 연구이다. 연구의 방법으로 시험기관에 적용하는 전체 요구사항은 ISO/IEC 17025를 기준으로 ISO/IEC/IEEE 29119와 ISO/IEC 25023을 매핑하여 분석되었다. 해당 매핑 분석에 따라 시험기관 운영을 위한 품질 매뉴얼과 절차서, 지침서는 총 29 종류의 문서를 작성하였다. 연구의 결과 시험기관 관리 시스템은 분석된 전체 요구사항 결과를 적용하여 Confluence 6.15 소프트웨어를 이용하여 구현하였고 시험절차서, 문서, 기록은 시험관리 시스템에 저장하여 운영하도록 하였다. 시험기관운영 적합성 검증은 서울 소재 LG전자 SW공인시험소에서 KOLAS 평가사에 의하여 문서 심사 및 현장 심사로 진행이 되었다. 결론적으로 시험기관 관리 시스템과 시험기관의 운영은 KOLAS의 심사 평가를 통하여 적합하다는 것을 확인할 수 있었고 이전 연구 사례와 비교하여 효과적으로 시험기관 운영과 전체 일정을 단축할 수 있었다.