• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권2호
• /
• pp.123-132
• /
• 2003

품질 인증 테스트는 소프트웨어의 품질을 결정하고 보증하기 위하여 인증 기관에서 제품 개발 후에 수행하는 테스트로써 해당 제품의 소스 코드 없이 제품 매뉴얼의 분석을 통하여 테스트가 이루어지는 경우가 대부분이다. 본 논문에서는 제품 매뉴얼에 기반한 테스트 데이타 생성을 위하여, 소프트웨어 패키지와 매뉴얼 분석 데이타로부터 테스트 데이타를 생성하는 것을 자동화한 '테스트 데이터 자동 생성 도구'(Manual-based Automatic Test data generating tool: MaT)를 구현한다. MaT의 입력 데이타는 소프트웨어 패키지와 매뉴얼의 분석 결과인데, 입력 데이타 구성을 위하여 '메뉴 기반 테스트 분석 모델'을 제안한다. 본 도구를 소프트웨어 패키지의 품질 인증 테스트에 적용함으로써 품질과 신뢰도가 향상된 소프트웨어 제품 개발에 기여할 수 있게 된다.

• 정보처리학회지
• /
• 제18권1호
• /
• pp.33-42
• /
• 2011

컴포넌트의 외부 행위는 파라미터를 가진 인터페이스로 정의된다. 소프트웨어 개발자는 컴포넌트를 테스트하기 위해 인터페이스를 통해 각기 다른 파라미터의 값을 반복적으로 입력하고, 입력값에 따른 출력값을 관찰한다. 테스팅에 소요되는 시간을 줄이기 위해 테스트 케이스를 자동으로 실행하는 테스팅 자동화 도구가 효율적이지 않은 테스트 시퀀스를 수행한다면 테스팅 자동화의 효과는 줄어든다. 유한 상태 머신을 기반으로 하는 기존의 테스트 시퀀스 생성 기법들은 파라미터를 가진 인터페이스 테스팅에 최적화된 테스트 시퀀스를 제공하지 않는다. 이 연구는 컴포넌트 인터페이스를 파라미터를 고려한 상태 모델로 표현하고 최적의 시퀀스 생성 기법을 제안한다. 최적의 시퀀스 생성 기법은 파라미터를 가진 상태 기반의 행위 모델에서 특정 간선을 원하는 회수만큼 수행을 보장하는 시퀀스를 생성하며, 생성된 시퀀스는 최적의 테스트 수행 시간을 갖는다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권6호
• /
• pp.547-558
• /
• 2008

임베디드 시스템은 어플리케이션, OS 커널, 디바이스 드라이버, HAL, 하드웨어와 같은 이질적 계층들이 매우 밀접히 결합되어 있다. 임베디드 시스템은 제품 목적과 탑재된 하드웨어에 따라 맞춤 제작된다. 또한 점점 짧아지는 제품 주기 때문에 여러 업체의 소프트웨어, 하드웨어가 불안정한 상태에서 통합된다. 따라서 모든 계층에 결함 발생 확률이 높다. 임베디드 소프트웨어 개발자는 자신의 코드를 결함이 내재된 다른 계층들과 통합된 상태에서 테스트하며, 이 때문에 테스트해야 할 모든 영역을 테스트하였는지, 자신의 코드가 잘못된 건지, 통합된 다른 소프트웨어나 하드웨어에 문제가 있는 건 아닌지를 확신하기 힘들다. 본 논문은 임베디드 소프트웨어 개발자가 다양한 계층에 내재된 결함 위치와 원인을 추적할 수 있도록 하는 임베디드 소프트웨어 인터페이스 테스트 방안과 이를 구현한 자동화 도구 Justitia를 제안한다. 제안하는 기술은 개발자를 돕기 위한 이뮬레이터를 이용한 디버깅을 전문적인 테스팅으로 승화시킨 자동화 방안이다.

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

최근 컴퓨팅 자원의 수요 증가로 데이터, 슈퍼컴퓨터 센터의 자원의 규모가 대규모로 커지고 있다. 이렇게 운용하는 자원의 규모가 커지면서 자동화된 형상관리 도구의 중요성이 높아지고 있다. 본 논문에서는 대규모의 서버의 효율적인 운용을 위해 어플리케이션과 미들웨어 등의 설정을 자동화할 수 있는 형상관리 도구에 대해서 분석하였다. 대표적으로 많이 사용되고 있는 Puppet과 Chef를 테스트 베드에 설치 및 관리 하면서 관리 도구의 특성을 비교 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.490-492
• /
• 2004

소프트웨어 개발 프로세스의 평가를 통해 소프트웨어 프로덕트의 품질을 높이려는 다양한 시도들이 행해지고 있다. 소프트웨어 테스트 프로세스는 소프트웨어 개발 프로세스 중에서도 소프트웨어 프로덕트의 품질 향상에 직접적인 영향을 끼치므로, 이에 대한 체계적인 개선이 필요하다. 본 논문에서는 프로세스의 품질과 프로덕트의 품질을 동시에 고려하는 소프트웨어 테스팅 모델인 SETP 핵심 모델과 이를 지원하는 자동화 도구(Legba)를 제안한다.

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

모바일 어플리케이션 소프트웨어의 GUI는 눈으로 보고 교감하는 것에 끝나지 않고 나날이 발전하여 소프트웨어의 성공여부를 결정하는 경우로 많이 부각되고 있다. 소프트웨어의 성공에 중요한 요소로 자리 잡히고 있으므로 소프트웨어의 성공을 위한 GUI 테스트가 요구되나 GUI 테스트는 많은 노력과 시간이 투자되는 테스트 분야이다. 이러한 자원의 소비의 줄이기 위해서 GUI 테스트의 자동화가 필요하리라 본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.198-201
• /
• 2011

현재 안드로이드 시장에는 다양한 플랫폼을 기반으로 한 디바이스들이 혼재하고 있고, 안드로이드의 성장세로 봤을 때 앞으로 더욱더 많은 플랫폼 및 디바이스가 출시될 것이다. 따라서 여러 플랫폼 및 디바이스에 대한 상호 호환성을 만족시키기 위해 안드로이드 소프트웨어 개발 단계부터 테스트의 중요도가 높아지고 있고, 테스팅 시간을 줄이기 위한 테스트 자동화 문제가 대두되고 있다. 이러한 환경에서 상호 호환성을 만족시키기 위해서는 소프트웨어적인 요소뿐만 아니라 프로그램의 전반적인 요소까지 고려해야 하지만 기존의 테스트 자동화 도구인 JUnit은 안드로이드 소프트웨어의 특정 상태에 대한 정보만을 도출하기 때문에 전반적인 요소에 대한 통합관리가 불가능하다. 따라서 본 논문에서는 안드로이드 소프트웨어의 전반적인 요소들에 대한 정보를 도출하여 테스트 케이스를 자동으로 생성하는 방안을 제안한다. 사용자가 도출하고자 하는 정보를 선택함으로써 테스트 케이스 생성에 대한 유연성이 증가하고, 이를 자동화함으로써 테스팅 시간 감소를 통해 생산성 향상 및 높은 품질의 안드로이드 소프트웨어를 기대할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.497-499
• /
• 2024

Fuzzing Test 와 같은 자동화된 소프트웨어 테스트 기법이 점차 출현함에 따라, 소프트웨어 테스트의 시간적 효율성과 성능의 상충을 조절하여 최적의 테스트를 진행하려는 시도가 발생하고 있다. 본 연구는 이러한 소프트웨어 테스트 기법을 하드웨어 단위에서 지원할 수 있는 기능을 확률 기반 명령어 생략 구조를 통해 제시하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권2호
• /
• pp.187-195
• /
• 2000

내장 소프트웨어는 외부 입력과 시스템의 현재 상태를 함께 고려하여 출력을 결정하는 특성을 가지고 있기 때문에, 하나의 모듈을 테스트하기 위해서는 해당 모듈에 대한 단위 테스트 기법 이외에, 추가적으로 그 모듈에 도달하기 위한 다양한 시퀀스를 생성하는 방법이 필요하다. 본 논문에서는 내장 소프트웨어의 모듈 테스트를 위한 명세 기반의 테스트 방법을 제안하고 이를 지원하는 자동화 도구인 MSCTest를 구현하였다. 각 모듈의 기능은 결정표 (decision table)를 이용하여 명세하고, 시스템에 발생가능한 시나리오는 데이타 표현을 첨가한 MSC (Message Sequence Charts)로 기술하여 테스트 시퀀스를 생성한다. MSCTest는 MSC 그래픽 편집기, 테스트 시퀀스와 데이타 생성기, 그리고 생성된 테스트데이타를 수행시키는 테스트 드라이버 생성기로 구성되어 있다. MSCTest를 이용하여 웹 비디오폰이나 디지털 TV 등에서 편리한 사용자 인터페이스를 제공하기 위해 사용되는 EsWin (Embedded System Windows) 소프트웨어를 효과적으로 테스트할 수 있었다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2006년도 하계학술대회
• /
• pp.795-798
• /
• 2006

최근 소프트웨어의 복잡도가 증가되어감에 따라 소프트웨어 취약점 검출에 대한 정형화된 방법과 자동화된 도구가 필요하게 되었다. 본 논문에서는 기존의 소프트웨어 테스트에서 고려되지 않았던 보안을 고려한 테스트라는 측면에서 자동화된 도구를 이용하여 소스가 없고 바이너리 코드만 있는 경우 결함 주입 기법을 통해 취약점 분석 방법을 보여주며, 윈도우즈 환경에서 사용되는 응용프로그램에 대한 상호 비교를 통해 향후 발생할 취약점에 대한 예방과 회피에 활용 될 사례를 보여주고 있다.