http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 주제어 : SW Reliability Test(SW 신뢰성 시험) (검색결과 7 건)
- 무료
- 기관 내 무료
- 유료
-
차상철(Sang-Cheol Cha),김정열(Jeong-Yeol Kim) 한국항공우주학회 2017 韓國航空宇宙學會誌 Vol.45 No.10
무기체계 SW 개발 전반에 대한 규정인 방위사업청의 무기체계 SW 개발 및 관리 매뉴얼이 개정될 때마다 SW 신뢰성 및 품질향상을 위해 SW 신뢰성 시험의 수준과 범위를 상향하는 방향으로 변경됨에 따라 SW 신뢰성 시험은 SW 개발자에게 큰 부담이 되고 있다. 특히 동적시험은 무기체계 SW를 구현하는데 필요한 일정과 인력에 육박할 정도의 비용이 소요되고 있으며, 1회성으로 그치지 않고 소스코드 형상이 변경될 때마다 수행해야 한다. 본 논문에서는 동적시험 도구인 VectorCast를 이용하여 동적시험을 최초 1회 수행한 후 소스코드 형상변경으로 인한 동적시험 회귀시험 시 사람의 개입을 최소화하여 자동으로 회귀시험을 수행하고 결과 보고서를 생성해주는 회귀시험 자동화 프로그램인 VectorCast Environment Manager 개발에 대해서 기술한다. As the weapon system SW development and management manual of the DAPA, which is the regulation for the overall weapon system SW development, is revised, the level and scope of SW reliability test are upgraded to improve the reliability and quality of SW. It is a big burden for SW developers. In particular, the dynamic test requires a schedule and manpower required to implement the weapon system SW, and should be performed every time the source code changes, not just one time. In this paper, we propose a regression test automation program(VectorCast Environment Manager) that performs a dynamic test using VectorCast, a dynamic test tool, and then performs a regression test automatically by minimizing human intervention in the regression test of dynamic test due to the change of the source code.
-
시험평가 개선을 통한 무기체계 SW 신뢰성 향상 방안 연구
이승규 한국IT정책경영학회 2020 한국IT정책경영학회 논문지 Vol.12 No.2
첨단 정밀 무기체계로 발전할수록 하드웨어에 비해서 소프트웨어가 차지하는 비중이 높아지고 있고 이러한 무기체계의 신뢰성과 안전성에 대한 확신은 무엇보다 중요하다고 할 것이다. 그러나 지금까지 국방 소프트웨어를 어떤 방식으로 시험할 것인가에 대한 체계적인 접근이 부족하였다. 이러한 제한사항을 해결하기 위해 시험평가개선을 통해 무기체계 SW 신뢰성 향상 방안에 대하여 연구하였다.
-
국제표준 및 산업표준 분석을 통한 무기체계 SW 신뢰성 확보방안 연구
최혜경,윤재석 한국품질경영학회 2019 한국품질경영학회 학술대회 Vol.2019 No.-
시스템의 복잡도가 높아짐에 따라 SW의 신뢰성도 매우 중요하게 되었다. 이에 정부의 SW 신뢰성에 대한 요구사항도 점차 증대하였다. 정부지침 ‘무기체계 SW 개발 및 관리 매뉴얼’이 2016년 7월 13일에 개정됨에 따라 개정 이후 계약된 과제에는 국제표준을 적용하는 것을 원칙으로 한다. ‘무기체계 SW 개발 및 관리 매뉴얼‘ 상에서 국제표준을 적용하는 것을 원칙으로 한다는 명제는 있으나, 기준 준수를 위한 가이드가 제공되지 않아 실제 과제 적용 시 많은 Load(코드구조에 대한 전반적인 수정)가 발생하였다. 국제표준에서 전반적으로 요구하는 고 신뢰성 수준을 달성하기 위해서는 Coding Rule 제정을 통한 관리, SW 단위시험 수행 및 코드 커버리지 확보가 요구되고 있다. 이에 본 연구에서는 국제 표준 및 산업표준 분석을 통해 무기체계 SW 신뢰성 확보방안에 대해 아래와 같이 제시하고자 한다. 첫째, 국제표준 코딩규칙을 획득 유형별/개발 환경별/코딩규칙 유형별 특성을 반영하여 과제에 맞게 테일러링 하는 방안을 제시하였다. 둘째, 효과적인 단위시험 수행을 위해 함수 관리 템플릿(함수기능, 입력값/예상값 관리)을 제시하였다. 셋째, 코드 커버리지 목표 수립 시 동적시험 기준 설정을 세분화하여, 결함영향도에 따른 동적시험 수준을 제안하였다. 넷째, 사업초기부터 동적시험을 고려하여 HW를 설계하고, 신뢰성 시험 관련 요구사항을 명확히 식별하여, 요구사항 기반 동적시험이 효율적으로 수행될 수 있는 방법을 제시하였다. 위와 같은 업무 개선을 통해 효율적인 SW 신뢰성 시험을 수행하여 고객 신뢰도를 제고하고, 국방SW의 품질을 향상시킬 것으로 기대된다.
-
AutoML을 이용한 무기체계 소프트웨어 정적시험 거짓경보 분류 모델 개발
남효주,이인섭,김태우,정남훈,조규태,노성규 한국정보과학회 2023 정보과학회 컴퓨팅의 실제 논문지 Vol.29 No.2
As weapon systems become more sophisticated, most functions are being developed by software (SW) code. With the proportion of SW in weapon systems increasing gradually, its complexity has also increased significantly. Therefore, SW stability has become an important issue in weapon system development. To meet the needs, the Defense Acquisition Program Administration makes SW developers perform SW reliability testing. However, there is a problem in that a large number of false alarms generate on scalable software in the static test of SW reliability testing. So the SW developers have to determine manually whether they are false alarms or not, which leads to overspending. In this paper, we propose a machine learning-based false alarm classification model using AutoML. It shows good performance in terms of four evaluation metrics such as accuracy, recall, precision, and F1-score.
-
무기체계 SW 개발 및 관리 매뉴얼 적용 효율화 방안 연구
최혜경,윤재석 한국품질경영학회 2018 한국품질경영학회 학술대회 Vol.2018 No.-
본 연구는 17년에 개정된 무기체계 SW 개발 및 관리 매뉴얼을 효율적으로 적용하기 위한 방안에 대한 연구이다. 무기체계 SW 개발 및 관리 매뉴얼이 2016년 7월 13일에 개정됨에 따라 개정 이후 계약된 과제에는 국제표준을 적용하는 것을 원칙으로 한다. 기존 방위사업청 코딩규칙(C언어: 50개, C++: 60개)에서 국제표준(Misra-C:2012(159개), Misra C++:2008(228개))을 적용하는 것으로 개정됨에 따라 검증해야할 코딩규칙의 수가 약 3∼4배 증가하였다. 또한 소스코드 메트릭 항목이 추가되어 코드구조에 대한 전반적인 수정이 요구된다. 실제 과제에 최신 매뉴얼을 적용함에 따른 코딩규칙 검출 수 비교 및 취약점 점검, 소스코드 메트릭 검출 수치에 대해 조사하고, 요구사항 기반 동적시험 수행 방법에 대해 소개하며, SW 신뢰성 시험의 목적을 극대화할 수 있는 시험방안에 대한 테일러링 방안을 제안한다.
-
BERT 기반의 모델을 이용한 무기체계 소프트웨어 정적시험 거짓경보 분류 모델 개발 방법 연구
남효주,이인섭,정남훈,정성윤,조규태,노성규 한국정보과학회 2024 정보과학회논문지 Vol.51 No.7
최근 무기체계에서 소프트웨어의 규모와 복잡도가 커짐에 따라 소프트웨어의 신뢰성 및 안정성 확보가 요구되고 있다. 이를 위해 개발자는 정적 및 동적 신뢰성 시험을 수행해야한다. 하지만 정적시험 과정에서 많은 거짓경보들이 발생하여 이를 분석하고 처리하는데 많은 시간과 자원을 할애하고 있다. 기존 연구에서는 이러한 문제를 해결하기 위해 SVM, LSTM 등의 모델을 활용하여 거짓 경보를 분류한다. 하지만 연구들에서 사용된 모델의 입력값은 코드 관련 정보이거나, Word2Vec기반 코드 임베딩이므로 결함 발생 부분과 연관된 코드 간의 관계를 표현하지 못한다는 한계점이 존재한다. BERT기반의 모델은 양방향 트랜스포머의 적용을 통해 문장 간 앞뒤 관계를 학습하므로 코드 간 관계를 분석하는데 용이하다. 따라서 이를 거짓 경보 분류 문제에 활용하면 위 한계점을 극복할 수 있다. 본 논문에서는 정적시험 결과를 효율적으로 분석하기 위해 BERT기반의 모델을 활용한 거짓경보 분류 모델 개발 방법을 제안한다. 개발 환경에서 데이터셋을 구축하는 방법을 설명하고, 실험을 통해 분류 모델의 성능이 우수함을 보인다. Recently, as the size and complexity of software in weapon systems have increased, securing the reliability and stability is required. To achieve this, developers perform static and dynamic reliability testing during development. However, a lot of false alarms occur in static testing progress that cause wasting resources such as time and cost for reconsider them. Recent studies have tried to solve this problem by using models such as SVM and LSTM. However, they have a critical limitation in that these models do not reflect correlation between defect code line and other lines since they use Word2Vec-based code embedding or only code information. The BERT-based model learns the front-to-back relationship between sentences through the application of a bidirectional transformer. Therefore, it can be used to classify false alarms by analyzing the relationship between code. In this paper, we proposed a method for developing a false alarm classification model using a BERT-based model to efficiently analyze static test results. We demonstrated the ability of the proposed method to generate a dataset in a development environment and showed the superiority of our model.
-
ScienceON
DBpia연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
