• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.460-462
• /
• 2005

소프트웨어의 품질 향상을 위해서는 무엇보다도 프로세스의 개선이 필요하다는 인식이 증대되고 있다. 그 중에서도 실질적으로 프로덕트의 품질과 직결된 테스트 프로세스의 개선이 무엇보다 시급한데, 그러기 위해서는 테스트 프로세스의 현재 상태를 파악하고 분석하는 과정이 선행되어야 한다. 본 논문에서는 테스팅 관점에서 소프트웨어의 품질을 고려하여 개발된 SETP(Simple and Easy Test Process) 핵심 모델과, 이를 바탕으로 테스트 프로세스를 평가하고 분석하는 자동화 도구 Legba를 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.184-186
• /
• 2006

테스트 주도 개발은 익스트림 개발 방법론의 바탕이 되는 방법론이다. 테스트 주도 개발은 소스 코드를 구현을 하기 전에 테스트 케이스를 먼저 만드는 작성한다. .Net 개발 환경에서 테스트 주도 개발을 하기 위해 NUnit 이라는 유닛 테스트 프레임워크를 많이 사용하고 있다. [1] 본 논문은 NUnit 유닛 테스트 프레임워크를 기반으로 리플랙션을 사용하여 유닛 테스팅 자동화 도구의 제작을 위한 프레임워크를 제안한다. 그리고 이 프레임워크를 이용하여 유닛 테스트 뼈대를 자동으로 생성하는 프로그램을 구현하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 추계학술발표대회
• /
• pp.181-184
• /
• 2018

최근 주목 받고 있는 소프트웨어 정의 네트워크(SDN: Software-Defined Networks)는 기존 네트워크 운용의 비효율성과 복잡성을 근본적으로 해결하기 위해 등장한 개방형 네트워크 인프라이다. SDN 시스템이 점차 상용화, 개방화 되는 시점에서, 내재되어있는 보안적 위협을 줄이기 위하여 효율적이고 자동화된 취약점 탐지의 필요성이 대두되고 있다. 본 논문에서는 자동화된 소프트웨어 테스트 기법 중 하나인 퍼즈테스팅이 SDN에 적용되어야 할 이유를 살펴보고자 한다. 또한, 기존에 관련된 연구의 분석을 통해 현재 학계의 연구동향을 파악하고 앞으로의 연구 방향성을 제시한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1061-1065
• /
• 2010

최근 세계 자동차 업계는 AUTOSAR 소프트웨어 플랫폼 표준을 제정하여 소프트웨어의 신뢰성과 재사용성을 향상키고 있다. 그러나 테스트 시스템 및 테스트 프로세스의 신뢰성 확보와 테스트에 소요되는 기간 단축을 위하여 테스트의 표준화 및 자동화가 절실하다. 특히 RTE 및 베이직 소프트웨어 모듈은 표준화를 만족하는 설계 도구를 사용함으로써 최소한의 신뢰성이 보장되지만, 여전히 응용 소프트웨어 컴포넌트에 대해서는 철저한 테스트가 필요하다. 본 논문에서는 표준화된 AUTOSAR 설계 정보를 이용하여 소프트웨어 컴포넌트의 유닛 테스트를 위한 테스트 시스템의 생성 및 테스트 케이스 생성 자동화 방법을 제안하였으며, 테스트 시스템은 TTCN-3 테스트 표준을 적용하였다. 본 논문에서 제안한 방법을 적용함으로써 차량 소프트웨어의 개발 기간 단축 및 신뢰성을 향상시킬 수 있었다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.361-370
• /
• 2009

많은 모바일 어플리케이션 개발자들은 매우 엄격한 제약사항 즉 짧은 개발기간, 사용자의 다양한 요구사항 및 잦은 요구 변경에 직면하고 있다. 이러한 개발환경은 사용자가 사용하기 편리한 GUI의 개발과 S/W 개발초기부터 철저한 테스트를 하여 품질을 보증하는 테스트 방법이 필수적이다. 따라서 본 논문은 모바일 응용 S/W GUI를 기존의 매뉴얼을 보고 테스트 하는 단계적이고 수동적인 방법을 탈피하여 사용자 중심의 시나리오를 통하여 자동으로 GUI를 테스트 하는 것을 목적으로 한다. 제시한 테스트 방법은 사용자 중심의 UI를 설계하여 간편하고, 정확하게 테스트 할 뿐만 아니라 테스트케이스를 재사용하는 환경을 지원한다. 제안한 자동화 도구는 시나리오 기반의 정확한 테스트와 재사용성을 높인 테스트 도구로서 기존 테스트 도구와 기능적인 비교를 통하여 성능을 확인하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.163-165
• /
• 2008

A S/W testing for vital railway signaling system have been important because of the increase of software usage for signaling. And also the safety of vital signaling system is required by int'l std. such as IEC 61508. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to assessment software's safety. In this paper, we propose a automation schemen of software testing tool for railway signaling system. From that, we show the functional architecture and internal components of the tool.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.289-300
• /
• 2015

According to the generalization of mobile device use in our life, the complexity and diversity of mobile applications are increased, and thus the importance of application test to find faults and errors quickly and easily before release grows. This paper reviews the current automatic testing methodologies for mobile device applications and their element technologies. Also, well-known commercial tools for automatic testing are surveyed and case studies of their recent industry applications in domestic and foreign countries are performed.

• 대한임베디드공학회논문지
• /
• 제4권4호
• /
• pp.156-163
• /
• 2009

Recently a standard software platform for automotive, AUTOSAR, has been developed to manage growing software complexity and improve software reuseability. However reuse of testing system and test data are difficult because they are dependant on implementation language and testing phases. In this paper, we suggest a automated testing approach for AUTOSAR software component using a standardized testing language, TTCN-3. AUTOSAR defines the AUTOSAR XML Schema for the data exchange format so that it is possible to automatically convert AUTOSAR model into TTCN-3 testing model. Therefore our approach is to present generation techniques for the TTCN-3 testing system from a AUTOSAR XML description. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.575-578
• /
• 2017

학생 때 규모가 작은 프로젝트에서 직장에서의 규모가 큰 프로젝트까지 다른 사람들과 협업하며 프로젝트를 진행하는 것이 당연하다. 효율적으로 프로젝트를 수행하기 위한 간단하면서도 편리한 UI를 제공하는 웹 기반 프로젝트 협업 관리 도구를 제작하였다. 본 프로젝트는 소프트웨어 공학에서 사용되는 디자인 패턴 중 하나인 MVC 2 Model을 사용하였으며, 단순 서비스 제공을 목적으로 하는 것뿐만이 아니라 시스템 성능과 보다 유연한 서비스를 제공하기 위해서 Maven, 자동화 스크립트, Logback, 단위 테스팅, 데이터 6단계 정규화 등을 사용하는 환경을 구축하여 구현하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.609-612
• /
• 2014

오늘날 신뢰할 수 있는 정보통신기술(Information and Communication Technology, ICT) 시스템의 중요성은 증대되고 있으며 그에 맞춰 고위험 시스템의 검증(Verification) 작업도 점점 체계화되고 있다. 반면 여전히 일반적인 소프트웨어들은 검증 과정을 인력에 의한 테스팅과 같은 기초적인 방법에 의존하고 있다. 본 논문에서는 그 대표적인 예인 온라인 게임 서버를 대상으로, SPIN 모델 체커(SPIN model checker)를 이용한 자동화 검증방법을 적용하는 실험적인 연구를 수행한다. 연구 결과 기존의 검증 과정으로는 파악하지 못한 오류를 파악할 수 있었고, 검증 비용도 납득할 만한 수준이라는 것을 확인하였다.