• 음성과학
• /
• 제11권3호
• /
• pp.143-156
• /
• 2004

In this paper, we implemented a vocabulary-independent speech recognizer using the TMS320VC33 DSP. For this implementation, we had developed very small-sized recognition engine based on diphone sub-word unit, which is especially suited for embedded applications where the system resources are severely limited. The recognition accuracy of the developed recognizer with 1 mixture per state and 4 states per diphone is 94.5% when tested on frequently-used 2000 words set. The design of the hardware was focused on minimal use of parts, which results in reduced material cost. The finally developed hardware only includes a DSP, 512 Kword flash ROM and a voice codec. In porting the recognition engine to the DSP, we introduced several methods of using data and program memory efficiently and developed the versatile software protocol for host interface. Finally, we also made an evaluation board for testing the developed hardware recognition module.

• ETRI Journal
• /
• 제30권6호
• /
• pp.757-764
• /
• 2008

In this paper, we present a design evaluation system with visualization and interaction of mobile devices using virtual-reality-based prototypes which can be used to easily change design parameters and simulate embedded software. To evaluate and predict affective-engineering-based design preferences for mobile devices under a virtual environment, we have developed a high quality visualization platform which creates images that look similar to real mobile devices in addition to real-time simulation of realistic motions and functions of mobile devices. To support a quantitative usability test scenario for external design shape, we also have built a system which consists of a mixed-reality-based testing platform for measuring hand load.

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

하드웨어와 결합도가 높은 임베디드 소프트웨어는 플랫폼의 다양하여 기존의 자동화동 테스팅 도구나 기법을 그대로 적용하기에 어려움이 있다. 특히 단위 테스팅의 경우 디버깅으로 대체 대는 경우가 많아 이후의 단계에서 오류가 탐지 되더라도 오류의 위치를 추정하기에는 어려움이 많다. 본 논문에서는 임베디드 소프트웨어의 테스팅 난점 중 하드웨어와의 결합력과 관련한 어려움을 극복하는 것에 중점을 두고 임베디드 테스팅을 위한 기법을 제시한다.

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

임베디드 소프트웨어의 개발은 실제 어플리케이션이 수행되는 대상 시스템이 아닌 호스트 시스템에서 개발되기 때문에 개발 중 테스팅을 수행하기 어렵다. 또한 대상 시스템에서 어플리케이션이 실행될 때 결함 또는 오류가 발견되면 이를 재현하기 어렵다. 이러한 문제를 해결하기 위한 기존의 연구로는 RTOS 시뮬레이터를 사용하거나 모니터링 시스템을 추가하여 임베디드 소프트웨어의 동작을 확인한다. 하지만 RTOS 시뮬레이터는 기능 테스트만 가능하고 실직적인 시간 추정이 불가능하다. 또한 임베디드 소프트웨어에 모니터링 시스템을 추가하게 되면 어플리케이션의 동작에 영향을 주기 때문에 실시간 시스템의 제약 조건을 확인하기 어렵다. 따라서 본 논문에서는 임베디드 소프트웨어의 RIOS 기반 어플리케이션 구조를 제안하여 호스트 시스템에서 대상 시스템의 테스팅과 모니터링이 가능함을 보인다.

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

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

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

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

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

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

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

임베디드 시스템의 발달은 다양한 분야로의 보급으로 인해 널리 확장되면서 점차 빠르게 발전되어왔다. 이러한 빠른 발전은 점차 다양한 기기들의 융합인 컨버전스로 나아가고 있으며, 동일한 분야의 기기에서 시스템은 다르지만 비슷한 성능을 가진 기기들이 등장하고 있다. 이렇게 임베디드 시스템이 다양해지고 비슷한 성능의 제품들이 출시되는 상황에서 임베디드 소프트웨어의 중요성은 더욱 증가할 것이며, 오류를 검사하는 테스팅은 더욱더 중요해 지고 있다. 본 논문은 이기종 환경의 다양한 임베디드 시스템을 지원가능하고, 보다 가볍고 효율적으로 사용가능한 임베디드 소프트웨어 테스팅 도구를 설계하고 구현하고자 한다.

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

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

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

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