테스트 데이터 자동생성 소프트웨어 테스팅은 테스트 데이터 생성, 테스트 실행, 테스트 결과 검증의 3단계로 이루어진다. 그 중에서 테스트 데이터 생성은 전체 소프트웨어 테스팅 비용의 약 40%를 차지한다. 때문에 테스트 데이터 생성 비용 절감은 전체 소프트웨어 개발 비용 절감을 위한 중요 이슈이다. 테스트 데이터 생성 비용 절감을 위해 최근 테스트 데이터 자동 생성 방법이 많이 연구되고 있다. 테스트 데이터 자동 생성 방법은 동적 테스트 데이터 생성, 정적 테스트 데이터 생성이 있다. 동적 테스트 데이터 생성은 프로그램을 실행을 통해 테스트 데이터의 품질을 피드백 받고 이 정보를 바탕으로 테스트 데이터를 생성하는 방법이다. 정적 테스트 데이터 생성은 프로그램의 구조와 분기 조건을 분석하여 테스트 데이터를 생성하는 방법이다. 더보기 소프트웨어 분석학 "소프트웨어 분석학(Software Analytics)은 실무자들이 소프트웨어 개발, 시스템들, 사용자들과 관련된 작업을 달성하는 것을 돕기 위해 소프트웨어 아티팩트로부터 통찰력 있고 실행 가능한 정보를 획득하는 것을 목표로 한다." - Dongmei Zhang, Microsoft Research Asia 소프트웨어 분석학에서는 소프트웨어 개발 프로세스에서 만들어 지는 소스 코드, 버그 리포트, 형상 관리, 테스트 케이스 등의 다양한 종류의 데이터들에 대해 소프트웨어 품질에 관한 이해를 증대시키고자 데이터 마이닝, 통계, 머신 러닝 등의 분석 방법들을 활용한다. 마이크로소프트, 구글 등 세계적인 소프트웨어 개발 회사들은 이들 미션을 수행하는 전문 조직을 갖추고 소프트웨어 품질 활동을 강화하고 있는 추세이.. 더보기 모델기반 소프트웨어 테스트 "모델 기반 테스팅(Model-Based Testing)은 소프트웨어의 기능적인 측면과 비기능적인 측면을 묘사한 모델로부터 도출된 테스트 사양서(test specification)의 테스팅이다." Justyna Zander et al. "Model-Based Testing for Embedded Systems" 모델 기반 테스팅의 주요 연구 분야 - 테스트가 용이한 소프트웨어 모델의 설계: 모델 기반 테스팅의 효과성을 향상시키기 위한 모델의 설계 기법 연구 - 모델을 이용한 테스트 케이스 자동 생성: 모델로부터 커버리지가 높은 테스트 케이스 생성 연구 - 테스트 프로시져의 자동화: 모델 기반 테스팅의 산출물을 이용한 테스트 프로시져의 자동화 연구 더보기 배정호 박사 감사패 수여 박사과정 졸업 축하 및 재학 중 연구실에 대한 기여에 감사하며 감사패를 전달하였다.배정호씨는 졸업 후 국방과학연구소에 취직하였다. 더보기 강건성 테스트를 위한 이벤트 의존성을 이용한 상태 머신 다이어그램의 확장 Speaker: 이선열 Subject: 강건성 테스트를 위한 이벤트 의존성을 이용한 상태 머신 다이어그램의 확장 Abstract 작성된 논문을 리뷰한다. 더보기 Model Transformation Impact on Test Artifacts: An Empirical Study Speaker #1: 윤영동 Subject: Model Transformation Impact on Test Artifacts: An Empirical Study Published: MoDeVVa '12 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation Pages 5-10 Abstract Development environments that support Model-Driven Development often focus on model-level functional testing, enabling verification of design models against their specifications. .. 더보기 A New Novel Algorithm based on Ensemble for Cross Project Defect Prediction Speaker #1: 구교진 Subject : 학위 논문 진행 사항: 소프트웨어 결함 예측 능력 개선을 위한 샘플링 기법의 실험 Abstract 학위 논문 실험에 관한 지적사항에 대한 수정 및 진행상황 보고 Speaker #2: 김태연 Subject: A New Novel Algorithm based on Ensemble for Cross Project Defect Prediction Abstract CPDP 벤치마킹 연구를 통해 발견한 사실에 영감을 얻어 앙상블 기반의 새로운 CPDP 알고리즘을 개발해 본다. 더보기 모델기반기술을 이용한 항만터미널 시뮬레이터 개선 연구목표 - 항만 터미널 프로세스에 대한 모델 구축/검증/시뮬레이션을 통하여 항만 터미널 시뮬레이터 개선을 목표로 함 - 개선된 항만 터미널 시뮬레이터는 장비 제어 프로세스 모델을 입력으로 받아 장비별 처리량, 평균 소요시간과 같은 성능 분석 결과를 출력함 연구내용 - 항만 터미널 프로세스 모델링 ▷ 항만 터미널 프로세스를 모델링을 통해 표현함으로써 항만 터미널 환경의 행위/동작 소요시간과 같은 항만 터미널 프로세스의 표현력을 넓혀 사실적인 시뮬레이터 구현을 가능하게 함 ▷ 항만 터미널 프로세스를 모델링 기술을 이용하여 시뮬레이터와 항만 터미널 프로세스를 독립적으로 구성함으로써 항만 터미널 프로세스의 변화에 시뮬레이터가 별도의 변경 없이 동작할 수 있게 함 - 항만 터미널 프로세스 모델 검증 ▷ 항만 터.. 더보기 임베디드S/W 품질향상을 위한 테스트 자동화 기술 연구목표 실시간 임베디드 소프트웨어의 품질 향상을 위하여 행위 모델 기반의 기능성/강건성 테스트 자동화 기술을 연구 연구내용 - 기능성 테스트 시퀀스 생성 연구 ▷실시간 임베디드 소프트웨어의 행위 모델을 바탕으로 기능 테스트를 수행하기 위한 테스트 시퀀스 개발에 대한 연구 - 강건성 테스트 시퀀스 생성 연구 ▷실시간 임베디드 소프트웨어의 행위 모델을 바탕으로 강건성 테스트를 수행하기 위한 테스트 시퀀스 개발에 대한 연구 - 실시간 테스트 케이스 생성 및 결과 비교 분석 연구 ▷기능성/강건성 테스트 시퀀스에 실시간 입력 데이터를 추가한 실시간 기능성/강건성 테스트 케이스를 개발 ▷실시간 임베디드 소프트웨어 프로그램에 입력하여 수행된 실제 결과와 예상된 수행 결과를 비교 분석함으로써 테스트의 성공/여부를 판.. 더보기 완료 프로젝트 과제명: 에너지 효율화를 위한 사물인터넷 플랫폼 개발 및 창의적 인재양성총 연구기간: 2014-06-01 ~ 2019-12-31지원기관: 정보통신기술진흥센터 과제명: 임베디드 소프트웨어 신뢰성 확보를 위한 동적 테스트 요소기술 연구총 연구기간: 2019-05-01 ~ 2019-10-31지원기관: 국가보안기술연구소 과제명: 자율주행 차량의 예상치 못한 기능 상호작용을 고려한 안전성 테스트 기술총 연구기간: 2016-11-01 ~ 2019-10-31지원기관: 한국연구재단 과제명: 개방형 구조 공통컴포넌트 및 통합 통제 프레임워크 연구총 연구기간: 2017-05-01 ~ 2019-10-31지원기관: 국방과학연구소 과제명: 소프트웨어 안전성 보증을 위한 정확성 확보 체계 개발총 연구기간: 2015-06-01 ~.. 더보기 이전 1 2 3 4 5 6 다음
