• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.123-125
• /
• 2012

임베디드 소프트웨어에서의 테스팅은 하드웨어에 의존도가 높기 때문에 일반적인 소프트웨어에서의 테스팅과 달리 다양한 테스트 기법과 도구를 활용한 기술 집약적 테스트가 미약하고, 다른 펌웨어에서 테스팅 할 경우 테스팅이 제대로 되지 않는다. 본 논문에서는 하드웨어 의존도가 높은 임베디드 소프트웨어의 모듈을 펌웨어가 다른 x86의 환경에서 테스팅 할 수 있도록, 레지스터, 포트 등을 참조하는 부분을 로그로 출력하고, 모듈끼리의 의존성이 없도록 소스 코드를 수정하여, 공개 소스 테스팅 도구를 활용하여 단위 테스트 할 수 있도록 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제9권1호
• /
• pp.17-23
• /
• 2004

소프트웨어 자동 테스팅 도구를 이용하여 테스트 프로세스의 전부 또는 일부를 자동화함으로써 테스트시간의 단축과 테스트 비용을 줄일 수 있다 그러나 하나의 테스팅 도구를 이용하여 이질적인 컴퓨팅 환경에서 다양한 종류의 테스트 요구 사항을 모두 충족시킨다는 것은 현실적으로 불가능하다 본 논문에서는 소프트웨어 자동 테스팅 도구의 분류 기준을 제시하고, 이를 기반으로 상용화된 테스팅 도구들의 특성을 조사, 분석하여 테스팅 도구의 발전 로드맵을 제시함으로써 테스팅 도구들 상호간의 관계성 이해와 향후 테스팅 도구들의 발전 방향을 모색하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.120-122
• /
• 2012

기존 소프트웨어 테스팅 기법은 개발자가 수동으로 테스트 케이스를 작성해야 하는 비효율성으로 인해 임베디드 소프트웨어의 안정성 확보에 어려움이 있다. Concolic 테스팅 기법은 자동으로 소프트웨어 테스트 케이스를 생성함으로써 기존 소프트웨어 테스팅 기법의 문제를 해결했지만, 임베디드 소프트웨어 테스트에 필수적인 bitwise 연산을 지원하지 않는 등의 문제가 있었다. 본 논문에서는 임베디드 소프트웨어를 위해 bitwise 연산을 지원하는 Concolic 테스팅 개선 방법에 대한 연구를 수행하고 오픈 소스 임베디드 소프트웨어 Busybox에 적용하여 기존 연구와 결과를 비교하였다. Busybox의 10개 유틸리티에 적용한 결과 기존 연구 결과 대비 평균 33%의 분기 커버리지 향상이 있었다.

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

본 논문은 임베디드 시스템의 제한된 자원을 효율적으로 사용할 수 있는 임베디드 소프트웨어의 개발을 위한 성능 측정 도구를 제안한다. 제안하는 성능 측정 도구는 편리한 GUI를 제공하는 호스트-타겟(host-target) 기반의 테스팅 환경이다. 제안하는 테스팅 도구는 타겟 머신에 맞는 테스팅 코드 생성을 위한 파싱 엔진과 호스트-타겟간 소스 코드와 결과의 전송 및 테스팅 수행을 위한 에이젼트 모듈로 구성된다. 또한, 문자 스트링 형태의 저수준 테스팅 결과를 API 형태로 변경하는 데이터 처리기와 API 형태의 결과 정보를 그래픽 형태로 출력하는 레포트 생성기를 포함한다. 본 테스팅 도구는 개발자에게 레포트 뷰(view)를 제공하여 빠른 성능 분석과 코드 수정을 지원하며, 효율적이고 신뢰성 있는 임베디드 기반 소프트웨어 개발의 기회를 제공할 것으로 기대된다.

• 한국컴퓨터정보학회논문지
• /
• 제18권8호
• /
• pp.105-111
• /
• 2013

본 논문에서는 스마트 센서 응용 소프트웨어를 테스팅하기 위한 효율적인 방법인 가상 센서 시스템을 제안한다. 센서 응용 소프트웨어를 테스트하는 보편적인 방법은 테스트 보드에 센서를 직접 연결시켜 테스팅 환경의 센서 측정값으로 응용소프트웨어를 테스팅 하는 것이다. 센서 측정값을 입력으로 센서 응용 소프트웨어를 테스팅함으로 발생하는 문제는 테스트 데이터가 제한적이라는 것이다. 즉, 테스트 데이터가 센서로부터 생성되기 때문에 소프트웨어 테스터가 테스트 데이터를 조절하지 못하는 문제가 있다. 이러한 문제를 해결하기 위해 가상센서 시스템을 제안한다. 가상 센서 시스템은 소프트웨어 테스터가 센서의 측정값을 조절할 수 있게 한다. 가상 센서 시스템에서 센서 선택, 센서 특성화, 출력 패턴 정의의 세 단계를 통해 가상 센서를 정의한다. 가상 센서 시스템을 통해 조절 가능한 센서 측정값을 사용함으로써 센서 응용 소프트웨어에 대한 효율적인 테스트가 가능하다. 본 연구의 유용성을 보이기 위해 가상 센서 시스템을 안드로이드 앱의 센서 프로그램에 적용해 보고 실험 결과를 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1613-1616
• /
• 2003

임베디드 시스템 개발과 임베디드 응용 소프트웨어 개발에 대한 관심이 높아지면서 이를 테스팅 하기 위한 기술과 테스팅 도구들의 도입이 확산되고 있다. 그러나 임베디드 시스템 테스팅은 여타 시험 검증 도구에 비하여 알고리즘의 정교성, 설계의 복잡성, 그리고 구현의 난이도 등으로 인하여 구현하기 쉽지 않은 것이 현실이다. 따라서 본 논문에서는 임베디드 시스템을 효율적으로 테스팅 하기 위해 타겟시스템 기반의 테스팅 방법을 제시하고, 테스팅을 위한 전체 시스템의 구성과 실시간 분석 방법을 제시한다. 이를 통해 임베디드 시스템을 테스팅 하기 위한 도구 구조를 분석하고 개발에 적용할 수 있도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.382-384
• /
• 2005

임베디드 소프트웨어는 다른 일반 시스템과는 여러 가지 다른 특성을 가지고 있다. 우선 프로세서 자원과 메모리 자원을 적게 사용해야 하며, 소프트웨어의 오류에 대해 데스크 탑 또는 기타 서버환경에 비해 확실한 소프트웨어의 검증을 요구한다. 이러한 소프트웨어의 검증은 임베디드 소프트웨어의 오류허용이 다른 환경에 비해서 매우 다르기 때문에 고난도의 임베디드 소프트웨어의 응용을 빠르고 안정되게 개발하기 위해서는 사용자가 쉽게 사용할 수 있는 기술이 절실히 필요한 실정이다. 본 논문에서는 기존의 테스팅 자동화도구의 핵심 이슈인 테스트 데이터 제너레이터와 테스트 스크립트의 기능을 포함한 모듈인 테스트슈트 제너레이터의 성능향상 위한 방법을 제시한다. 제시된 테스트슈트 제너레이터 모듈은 임베디드 소프트웨어 테스팅 자동화도구의 개발 시 활용하여 개발한다면 임베디드 소프트웨어를 보다 효과적으로 테스팅 할 수 있을 것으로 예상된다.

• 정보보호학회논문지
• /
• 제17권2호
• /
• pp.51-59
• /
• 2007

소프트웨어 테스팅은 소프트웨어의 버그 및 잘못 구현된 부분 등을 찾아내는 과정을 통해 품질을 평가하는 방법이다. 퍼징(fuzzing)은 소프트웨어 테스팅 기술의 여러 가지 방법 중 하나로써 난수를 발생시켜 테스팅하고자 하는 소프트웨어에 주입하는 방법으로써 보안에 중점을 두어 테스팅하는 방법이다. 퍼징은 단위 시간 당 테스팅 효율성, 비용 절감 등 여러 가지 장점을 이유로 다수 사용되고 있으나 퍼징 수행 시 전문가의 개입이 많은 단점이 존재한다. 예를 들면 해당 소프트웨어가 사용하는 프로토콜 혹은 퍼징 대상이 파일인 경우 파일 포맷에 대한 분석을 수행한 후에야 가능하기 때문에 테스팅 기간이 길어질 수 있으며 퍼징 도구를 이용해도 퍼징 대상의 프로토콜 및 포맷에 대한 분석이 난해한 경우 테스팅 대상에 대한 퍼징을 수행하지 못할 수도 있다. 본 논문에서 설계한 ROAD는 RPC 기반 프로토콜 및 소프트웨어를 자동으로 퍼징할 수 있는 도구이다. RPC는 다수의 취약점이 발견된 구성요소로써 본 논문에서는 이를 자동으로 퍼징할 수 있는 도구의 구현을 목표로 하였다. 기존의 도구 중 RPC 기반 소프트웨어를 퍼징하는 도구가 존재하지만 자동화되어 있지 않을 뿐만 아니라 소프트웨어에 따라 도구를 수정해야만 사용이 가능하다. 본 논문은 이러한 단점을 극복하고자 자동화 도구를 설계 및 구현하여 실제 RPC 기반 프로토콜 및 소프트웨어에 적용하였다. 또한 실험을 통해 도구의 효용성을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.256-258
• /
• 2012

임베디드 소프트웨어를 실제 하드웨어 상에서 테스팅 하는 것은 하드웨어의 사용이 개발후반에 가능함에 따른 시간적인 제약으로 인해 테스트를 위한 충분한 시간 확보에 어려움이 있다. 이러한 문제점은 임베디드 소프트웨어 테스팅을 위한 시뮬레이션 기반 테스팅 환경의 구축으로 간단히 해결 할 수 있다. $\mu$-ITRON은 일본 임베디드 분야에서 활발히 사용되는 Real-Time Embedded OS로, 본 논문은 하드웨어 에뮬레이터 QEMU를 이용하여 임베디드 소프트웨어 테스팅을 위한 ARM Cortex-M3기반 $\mu$ITRON의 시뮬레이션 환경 구축에 대해 설명한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1895_1896
• /
• 2009

본 논문에서는 로봇 소프트웨어 컴포넌트 테스팅 자동화에 적합한 테스팅 자동화 프레임워크 및 계층적 로봇 소프트웨어 테스트 모델을 제안한다. 테스팅 자동화 프레임워크는 로봇 소프트웨어 컴포넌트의 지속적인 통합, 다양한 로봇 환경 및 분산 컴포넌트 환경을 지원한다. 테스팅 자동화 프레임워크를 실제 구현하여 테스트 베드에 설치 및 평가를 통하여, 본 논문에서 제안하는 프레임워크가 효율적임을 보인다.