본문 바로가기
현대자동차 AVN 시스템 결함 분석 Speaker: 이선열 Subject: 현대자동차 AVN 시스템 결함 분석 Abstract 현대자동차 AVN 시스템의 결함 목록을 바탕으로 논리적 이벤트를 정의한다. 그리고 이벤트의 인과 관계가 결함 발생에 미치는 영향을 분석한다. 더보기
A supporting method of the evolution of state diagrams with scenarios Speaker: 윤영동 Subject: A supporting method of the evolution of state diagrams with scenarios Published: Principles of Software Evolution, Eighth International Workshop on, 5-6 Sept. 2005 Abstract The authors of this thesis discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools .. 더보기
상태 머신 생성 연구 조사 및 향후 연구 방향 Speaker: 최현재 Subject: 상태 머신 생성 연구 조사 및 향후 연구 방향 Source: J. H. Bae, “A Systematic Approach to Constructing Understandable State Machine,” Ph.D Thesis, Pusan National University, 2014. Dick, Jeremy, and Alain Faivre. "Automating the generation and sequencing of test cases from model-based specifications." FME'93: Industrial-Strength Formal Methods. Springer Berlin Heidelberg, 1993 Bert, Didier, an.. 더보기
소프트웨어 결함 예측 능력 개선을 위한 샘플링 기법의 실험 Speaker: 구교진 Subject: 소프트웨어 결함 예측 능력 개선을 위한 샘플링 기법의 실험 Abstract: 소프트웨어 결함의 예측력 향상을 위해 다양한 방법이 제안되고 있지만, 결함 예측력의 향상이 정체되어 있다. 이러한 결함 예측 능력의 향상에 문제가 생 기는 이유 중 하나로 데이터의 불균형이 있다. 데이터 불균형 문제는 결함이 없는 모듈의 수가 많을 경우 분류의 정확성을 높이기 위해 결함이 없는 것으 로 분류를 많이 하게 되고, 이 경우 결함이 있는 모듈은 없는 모듈로 예측될 확률이 높기 때문이다. 불균형 문제를 해결하기 위해 샘플링 방법이 제안이 되었다. 이번 실험에서는 소프트웨어 결함 데이터를 바탕으로 기존의 제안된 샘플링 방법을 적용하여 불균형 문제를 극복할 수 있는 지에 대한 확인 및.. 더보기
Korean Conference ⊙ 최영원, 이영우, 채흥석, "CNN 모델 평가를 위한 이미지 데이터 증강 도구 개발," 제 22회 한국 소프트웨어공학 학술대회 논문집, 제 22권, 제 1호, pp. 312-313, Feb, 2020 (우수 논문) ⊙ 박재현, 최현재, 채흥석, "ResNet의 뉴런 활성 값과 Epoch 간 상관관계 분석을 통한 화이트 박스 방법의 모델 평가," 제 22회 한국 소프트웨어공학 학술대회 논문집, 제 22권, 제 1호, pp. 58-65, Feb, 2020 ⊙ 이선열, 채흥석, "함정 전투체계 피처 모델 구축 연구," 국방소프트웨어연구회 2018추계워크샵, pp. 220-221, Nov, 2018 ⊙ 이현호, 최현재, 채흥석, "안전 필수 시스템의 ISO/IEC 16085기반 위험 분석 방법 비교," 제 .. 더보기
연락처 연구실 연락처 연락처 051 - 510 - 3940 E-mail square _At_ pusan.ac.kr 대표 학생 최현재(Hyun Jae Choi) E-mail gonoki _At_ pusan.ac.kr 오시는 길 609-735 부산 금정구 장전동 부산대학교 자연대연구실험동 305호 로드뷰 길찾기 더보기
A Retrospective Study of Software Analytics Projects: In-Depth Interviews with Practitioners Speaker: 김태연 Subject: A Retrospective Study of Software Analytics Projects: In-Depth Interviews with Practitioners Abstract: Software analytics guide practitioners in decision making throughout the software development process. In this context, prediction models can help managers efficiently organize their resources and identify problems by analyzing patterns on existing project data in an intel.. 더보기
CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows Speaker: 전형민 Subject: CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice - Experiences from Windows Abstract: Building large software systems is difficult. Maintaining large systems is equally hard. Making post- release changes requires not only thorough understanding of the architecture of a software component about to be changed but also its dependencies and interac.. 더보기
소프트웨어 품질 검증 및 테스트 자동화 연구 현대 사회에서 우리의 생활은 소프트웨어에 밀접한 영향을 받고 있으며, 그 영향력은 더더욱 증대되고 있다. 이에 따라 소프트웨어의 품질 역시 우리 생활에 중대한 영향을 미치고 있다. 소프트웨어의 결함으로 인해 수조원의 손실이 발생하는 사례 또한 속출하고 있다. 1999년 화성 기후 궤도탐사선 폭발, 1996년 아리안 5호의 폭발, 토요타 프리우스 하이브리드 리콜은 소프트웨어 결함으로 인한 피해의 대표적인 예이다. 하지만 소프트웨어의 결함으로 인한 피해를 줄이기 위해 소프트웨어의 품질을 향상시키는 것은 많은 시간과 비용을 요구한다. 이에 본 연구실에서는 효과적으로 소프트웨어의 품질을 향상시키기 위한 검증 및 테스트 자동화 기술을 연구하고 있다. - 임베디드 소프트웨어 모델링 - 테스트 데이터 자동생성 - 소.. 더보기
임베디드 소프트웨어 모델링 임베디드 소프트웨어는 센서, 작동기를 포함한 다양한 기기에 내장되어 동작하는 소프트웨어로서 일반적으로 센터를 이용한 모니터링 기능과 액추에이터를 이용한 제어 기능을 제공한다. 다양한 센서를 활용하는 복잡한 환경에서 동작하는 자동차, 국방 등의 분야에서 임베디드 소프트웨어의 비중은 높아지고 있다. 임베디드 시스템과 같은 복잡한 시스템에서 소프트웨어를 성공적으로 개발하기 위해서는 복잡한 현상을 여러 관점으로 분리하고 각 관점에서 필요한 부분에 초점을 맞추어 분석, 설계하는 것이 필요하다. 이렇게 복잡한 소프트웨어를 다양한 관점으로 추상화하여 개념적으로 표현한 것이 소프트웨어 모델이다. 그리고 이러한 모델을 이용하여 임베디드 소프트웨어를 효과적으로 분석,설계하기 위해 대상 시스템을 쉽게 이해하도록 하는 것이 .. 더보기

티스토리툴바