디지털 라이브러리[ 검색결과 ]
STPA, FTA 및 FMEA 분석 기법을 연계한 소형 항공기 충돌 회피 소프트웨어 안전 요구사항 도출
http://doi.org/10.5626/JOK.2024.51.8.706
최근 대두되는 도심항공교통의 추세에 따라 항공기는 소형화되고 소프트웨어 집약적 시스템으 로 변화하고 있다. 이에 따라 항공기 안전성 평가 프로세스인 ARP4761 중심의 안전성 분석 기법 및 표준 도 소프트웨어를 중심으로 변화할 필요가 있다. 본 논문에서는 소프트웨어 집약적 시스템인 항공 모빌리티 의 안전성 분석을 위해, STPA 방법과 FTA와 FMEA의 안전성 분석 기법을 연계하였다. 또한 STPA, FTA, FMEA의 연계 가능성과 효과를 파악하기 위하여 소형 항공기의 충돌 회피 소프트웨어를 중심으로 안전성 분석 사례를 진행하였다. 이러한 제안 방법과 사례 분석을 통해, STPA, FTA, 그리고 FMEA 안 전성 기법의 상호 연계 효과를 확인하고 안전 요구사항을 도출하였다.
깃허브 이슈 관리 시스템을 위한 다중 레이블 분류 봇
http://doi.org/10.5626/JOK.2021.48.8.928
많은 개발자들이 오픈 소스 소프트웨어를 개발할 때 사용하는 GitHub 플랫폼은 이슈 관리 시스템을 제공한다. 이 시스템을 활용하여 관련자들은 소프트웨어 문제가 생기거나 기능적인 요청을 할 경우 이를 이슈로 보고할 수 있다. 깃허브의 이슈 관리 시스템은 이슈 보고서에 개발자들이 자유롭게 레이블을 만들어 이슈를 분류할 수 있도록 도와준다. 그러나 레이블링 작업은 수작업으로 이루어지기 때문에 많은 노력이 들어가고 부정확한 레이블링이 쉽게 발생할 수 있다. 반면 레이블링 없는 이슈들을 하나씩 읽고 피드백을 주기 위해서는 많은 시간이 필요하다 이러한 문제점들을 해결하기 위해 단일한 레이블을 붙이는 연구들이 존재한다. 그러나 실제 이슈 보고서에는 여러 개의 레이블이 붙어야 하는 이슈 보고서들도 적지 않게 존재한다. 따라서 본 연구에서는 GitHub 프로젝트 관리자들이 이슈 보고서를 읽고 피드백 주는데 들이는 노력을 줄일 수 있도록 복수개의 레이블을 자동으로 붙이는 다중 레이블링 봇을 제안한다. 제안한 봇에서 사용한 다중 레이블 분류 기법은 0.54의 정확도와 0.78의 F1-score를 보였다.
순환 신경망을 활용한 코드 변경 추천 시스템의 학습 시간 단축 방법
http://doi.org/10.5626/JOK.2020.47.10.948
개발자에게 수정이 필요한 파일을 추천하는 시스템은 개발자의 작업 시간을 줄여 준다. 그러나 이런 추천 시스템은 일반적으로 축적된 데이터를 학습할 때 많은 시간이 들며, 또한 새로운 데이터가 축적될 때마다 새로이 학습하는데 많은 시간을 소모한다. 본 연구는 순환 신경망을 이용한 코드 변경 추천시스템(RNN-CRS)에 새로운 데이터가 축적되어 학습을 다시 해야 할 때 불필요한 학습을 회피하여 학습에 드는 시간을 줄이는 방법을 제안한다. 제안 방법의 실험 평가에서 제안 방법은 데이터가 새로 축적되어 학습 모델을 다시 생성하는데 소요되는 시간을, 실험에 사용된 다섯 개의 제품들에 대하여 시간 단축이 큰 경우에는 기존 연구에 비해 49.08%~68.15% 단축시켰고 작은 경우에는 10.66% 단축시켰다.
소프트웨어 변경 규칙을 활용한 메소드 호출 갱신 기법
http://doi.org/10.5626/JOK.2019.46.2.161
클라이언트 소프트웨어를 갱신하기 위한 개발자의 노력을 줄이기 위하여 기존 연구들은 프레임워크의 릴리즈 버전의 차이를 분석하여 변경 규칙을 도출하는 기법을 제시하였다. 그러나 이런 연구들은 클라이언트 시스템을 직접 갱신하지 않고 변경 규칙을 생성할 뿐이다. 이러한 제약을 넘어서기 위해 본 연구에서는 기존의 규칙 생성 도구에서 생성한 변경 규칙을 활용하여 클라이언트에 존재하는 메소드 호출을 자동 갱신하는 기법을 제시한다. 또한 제시한 기법을 도구로 구현하여 메소드 호출의 자동 갱신을 실험함으로써 추출한 정보가 얼마나 잘 적용되었는지 평가한다. 평가 결과 메소드 호출 547개 중 279개의 메소드 호출이 자동 갱신되었으며 단 2개의 컴파일 오류만을 확인하였다. 본 연구는 프레임워크의 메소드 변화에 따라 클라이언트 개발자가 메소드 호출을 갱신하는 노력을 줄이는 연구에 공헌한다.
소프트웨어 변경 이력의 최근 변경을 클래스 다이어그램으로 가시화하는 도구
http://doi.org/10.5626/JOK.2018.45.2.150
소프트웨어 가시화 연구는 개발자들이 소프트웨어 시스템을 이해하고 코드 변경을 수행할 때 도움을 줄 수 있다는 점에서 중요하다. 최근 제시된 상향식 소프트웨어 가시화 도구들은 개발자가 직접 작업하는 코드 정보만을 보여주는 이점으로 개발자들의 작업에 도움을 줄 수 있다는 효과를 입증하고 있다. 하지만 이러한 도구들은 개발자가 탐색한 코드만 한정되게 보여주는 약점이 있다. 본 논문은 상향식 가시화 도구에서 연관이 되는 코드 정보를 제공하여 코드 탐색을 돕기 위하여 소프트웨어 개정 이력을 클래스 다이어그램으로 보이는 도구를 제시한다. 제시 도구는 개발자들이 커밋한 코드 정보를 한 번의 클릭으로 클래스 다이어그램으로 보여줌으로써, 개발자들의 코드 변경에 대한 빠른 이해를 돕는다. 또한 본 논문은 사례 연구를 통하여 개발자들이 수일동안 지속적인 변경 작업을 수행할 때 제시 도구가 유용할 수 있음을 보인다.
