본문 바로가기
도서 출판: 프로그래밍 센스를 살리는 비타민 C++ 저자: 채흥석출판사: 교보문고출간일: 2014.02.28 페이지: 761 책소개 『프로그래밍 센스를 살리는 비타민 C++』는 크게 13장으로 구성된 책이다. C++의 개요를 비롯하여 타입과 변수, 제어 구조, 함수, 클래스-개요, 생성자와 소멸자, 연산자 오버로딩, 상속, 다형성, 상속고급 주제, 템플릿, 예외 처리, 네임스페이스 등의 내용이 수록되어 있다. 더보기
이정욱 Connected Vehicle 해커톤 우승 지난 4월 4일~5일, 실리콘밸리에서 개최된 Connected Vehicle 해커톤(AT&T와 NestGSV 공동주최)에 컴퓨터공학과를 졸업한 김광휘(석사 11학번), 이정욱(석사11학번)씨는 HertzRide 앱으로 Hertz Business Model Challenge 트랙에서 우승하였다. 아래는 앱에 대한 소개이다.Hertz Ride: iBeacon을 활용하여 렌트카와 카풀을 접목한 아이디어로 렌트한 사람이 자신의 이동경로를 등록하면 조건이 맞는 사람과 카풀할 수 있는 서비스 어플리케이션. 카풀이용자는 일정 금액을 Hertz에 지불하고, 이 금액의 일부를 운전자가 Hertz의 쿠폰형태로 받게 된다. 이로 인해 Hertz는 수익과 재구매율을 높일 수 있는 컨셉의 아이디어. 추가로 사용자들의 음악취향을.. 더보기
진행 프로젝트 목록 과제명: 데이터 및 구조 기반의 심층 신경망 통합 평가 프레임워크 개발총 연구기간: 2019-06-01 ~ 2022-02-28지원기관: 한국연구재단 더보기
모델 기반 테스팅을 이용한 테스트 케이스 생성 기술 연구기관현대자동차 연구목표AVN 시스템을 대상으로 테스트 모델 구축과 이를 바탕으로 생성한 테스트 케이스 생성을 본 과제의 연구 개발 목표로 함 ▷ 테스트 모델 구축: 테스트 케이스를 생성에 바탕이 되는 모델을 구축함▷ 테스트 케이스 생성: 기능성과 강건성을 평가하기 위한 테스트 케이스를 생성함 본 과제를 통해 생성한 테스트 모델을 통해 테스트 케이스의 완전성을 평가하고 테스트 케이스 생성을 통해 결함을 검출하는 기술을 확보함 ▷ 테스트 케이스 완전성: 전체 요구사항 중 테스트 케이스가 실행한 비율을 검사함으로써 테스트의 완전성을 평가함 ▷ 결함 검출: 테스트 케이스를 생성하고 실행함으로써 결함을 검출함 연구내용 본 과제는 기본 테스트 모델 구축, 확장된 테스트 모델 구축, 테스트 케이스 자동 생성의 3.. 더보기
이벤트 인과 관계를 이용한 sneak path 테스팅 전략 Speaker: 이선열 Subject: 이벤트 인과 관계를 이용한 sneak path 테스팅 전략 Abstract: 기존의 sneak path 테스팅 연구에 대해서 소개하고, 인과 관계를 이용한 sneak path 테스팅 전략을 제안한다. 더보기
소프트웨어 결함 예측 능력 개선을 위한 샘플링 기법의 실험 Speaker: 구교진 Subject: 소프트웨어 결함 예측 능력 개선을 위한 샘플링 기법의 실험 Abstract: 소프트웨어 결함 예측을 구축하기 위해 소프트웨어의 수치화된 데이터와 데이터 마이닝 기법을 사용하여 소프트웨어 결함 여부를 추측하는 연구이다. 소프트웨어 결함의 예측력 향상을 위해 다양한 방법이 제안되고 있지만, 결함 예측력의 향상이 정체되어 있다. 이러한 결함 예측 능력의 향상에 문제가 생기는 이유 중 하나로 데이터의 불균형이 있다. 데이터 불균형이란 결함이 있는 모듈의 수와 결함이 없는 모듈간의 간이 비율이 한쪽으로 많이 치우친 것을 말한다. 데이터 불균형 문제는 결함이 없는 모듈의 수가 많을 경우 분류의 정확성을 높이기 위해 결함이 없는 것으로 분류를 많이 하게 되고, 이 경우 결함이 .. 더보기
프로토콜 상태 머신과 예제 소개 Speaker: 운영동 Subject: 프로토콜 상태 머신과 예제 소개 Abstract: 상태 머신은 객체의 상태를 표현하거나 객체가 수행하는 행위를 명세하기 위한 모델이다. 그 중 프로토콜 상태 머신은 객체가 수행하는 행위보다 객체가 지켜야 할 규약(프로토콜)을 표현한 상태 머신의 일종이다. 본 발표에서는 프로토콜 상태 머신에 대해 소개하고 그에 대한 몇 가지 예제를 보인다. 더보기
상태 머신 다이어그램의 구현 Speaker: 이선열 Subject: 상태 머신 다이어그램의 구현 Abstract: 상태 머신 다이어그램의 구현 방법 소개 - the nested switch statement - the state table - the object-oriented state design pattern - other techniques that are often a combination of the above 더보기
소프트웨어 특성에 따른 탐색 기반 테스팅 성능 비교 Speaker: 최현재 Subject: 소프트웨어 특성에 따른 탐색 기반 테스팅 성능 비교 Abstract: 기존의 연구에서와 새 연구의 주요 변경점을 설명한다. 또한 변경에 따른 탐색 기반 테스팅 실험 도구의 구성을 소개하고 향후 연구 계획을 설명한다. 더보기
소프트웨어의 변경 리스크 분석 Speaker: 전형민 Subject: 석사 학위 논문 주제 (소프트웨어의 변경 리스크 분석) Abstract: 주제: 결함 예측 기존 방법: 클래스 또는 파일 단위의 정적 분석 데이터로 예측 문제점 1: 단위가 너무 크다 —> 개발이 점진적이고 빠르게 진행되는 도메인에 부적합 문제점 2: 특정 모듈의 변경이 다른 모듈에 미치는 영향이 결함 예측 기법에 고려 되어있지 않음 더보기

티스토리툴바