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

본 연구원이 속한 연구실은 임베디드 소프트웨어 테스팅 프레임워크(이하 프레임워크)를 구축하고 있으며 임베디드 소프트웨어 요구사항 관리 도구(이하 REED)를 개발하였다. REED를 통해 작성된 요구사항은 프레임워크에서 테스트 케이스를 만들고 테스트를 수행하는 데 사용된다. 본 논문은 REED에서 기존에 개발된 요구사항 작성 및 분석 기능에 요구사항 관리 기능을 추가하는 개발에 관한 연구이다.

• 전자공학회논문지SC
• /
• 제47권6호
• /
• pp.73-79
• /
• 2010

지능형 자동차의 개발 및 보급 확대에 따라 차량용 시스템에 전기 전자 소프트웨어 모듈의 비중이 늘어나고 있다. 따라서 이러한 모듈을 포함하는 전자 제어 장치가 증가하게 되고, 소프트웨어와 시스템 장치 간의 상호 연동이 요구된다. 그렇지만 임베디드 플랫폼 간의 인터페이스가 표준화 되어 있지 않아 개발 및 통합이 어려운 실정이다. AUTOSAR 표준화 연구는 유럽의 자동차 제조업체와 부품 제조업체의 공동 협력 결과물로, 차량용 소프트웨어 플랫폼의 산업 표준을 제공한다. 본 연구의 이전 결과물로 AUTOSAR 플랫폼을 지원하는 RTE 코드 생성기 도구를 개발하였다. 본 논문에서는 테스트 과정을 통해 RTE 생성기의 동작 환경 및 표준 플랫폼 지원 결과를 분석하였다. 실험 결과, 코드 생성기가 표준 규격의 요구사항과 방법론에 맞게 파일을 생성함을 확인할 수 있었다.

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

현재 소비자의 요구에 따라 다양한 타켓 상에서 임베디드 소프트웨어 개발이 폭주되고 있다. 같은 서비스를 제공하는 어플리케이션을 다양한 플랫폼에 맞게 개발하려면 많은 시간과 비용이 소모된다. 또한 이를 위한 테스트 비용도 증가하게 된다. 이는 테스트 비용의 지출이 전체 개발비용에 막대한 영향을 미친다. 그래서 다양한 플랫폼 상에서의 테스트 비용을 감소하기 위해 기존 소프트웨어공학 기법 중 하나인 Model Driven Architecture (MDA)를 적용한 기존 임베디드 개발기법에 테스트 프로세스를 개선 및 강화할 것을 제안한다[1 ][2]. 또한 다양한 타켓에 맞는 이종 테스트케이스 개발에 밑거름이 될 것이다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권9호
• /
• pp.419-428
• /
• 2017

임베디드 시스템에서는 모듈간의 상호작용으로 데이터를 주고 받는다. 이때 오류가 포함된 리소스 데이터를 전달하면 시스템의 실행 오류를 유발할 수 있다. 상호작용에 활용되는 리소스들은 모듈간의 의존관계를 만들며 의존관계에 있는 모듈의 변화가 다른 모듈의 기능에 영향을 미치게 된다. 몇몇 임베디드 시스템 조사 자료에 따르면 모듈간의 상호작용 오류가 심각한 소프트웨어 실패의 원인이 되기도 한다. 상호작용 테스팅 단계에서는 이러한 상호작용 오류를 검출하여 시스템 실패의 위험을 낮추고자 한다. 모듈간의 상호작용은 직접 또는 간접적으로 일어난다. 직접적인 상호작용은 모듈의 직접 호출을 통해 이루어지며, 간접 상호작용은 직접호출 이외에 리소스 데이터의 의존성을 통해 나타난다. 이 연구에서는 직접 상호작용에 의한 오류 검출 방식에서는 발견되지 않는 간접 상호작용과 연관된 오류를 검출하고자 한다. 먼저 상호작용 패턴을 분석하여 상호작용 모델을 생성하고 이를 기반으로 상호작용 오류를 검출하는 테스트 케이스 디자인 방법을 제안한다. 마지막으로 결함 주입 기법을 이용하여 제안된 방법의 효용성 및 실효성을 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.77-82
• /
• 2010

서비스 지향 아키텍처 기반의 소프트웨어 시스템은 서비스 단위의 컴포넌트 조합에 의해 기능이 수행된다. 이러한 조합된 서비스에 대한 테스팅은 주로 서비스 조합 명세서인 WS-BPEL 명세를 기반으로 기능적인 측면에 초점을 두어 수행 되었다. 최근에 서비스 지향 아키텍처가 임베디드 소프트웨어 분야에 적용되면서 서비스 조합에 대한 성능 관련 요구사항의 중요성이 부각되고 있다. 그러나 기존의 성능 테스트는 각 서비스의 응용 어플리케이션에 성능 측정을 위한 코드삽입을 필요로 함으로써 테스트 비용을 증가시킨다. 또한 시뮬레이션을 통한 성능 테스트가 이루어지기 때문에 정확한 성능을 테스트하기 어렵다. 따라서 본 논문에서는 WS-BPEL을 이용한 조합된 서비스의 효과적인 성능 테스트를 위해 WS-BPEL을 확장하는 방법을 제안한다. 제안하는 확장 기법은 관점 지향 프로그래밍의 Aspect 개념을 WS-BPEL에서 사용할 수 있도록 함으로써 WS-BPEL을 이용한 테스팅에서 조합된 서비스의 성능 테스트를 효과적으로 수행할 수 있는 기회를 제공한다. 또한 본 확장 기법은 성능 테스트뿐만 아니라 다른 비 기능적 요구사항에 대한 테스트에도 활용될 수 있다.

• 한국멀티미디어학회논문지
• /
• 제12권2호
• /
• pp.231-243
• /
• 2009

임베디드 시스템 시장이 확대되면서 최근 들어 자동차, 선박, 로봇 등과 같은 다양한 분야에서 임베디드 소프트웨어에 대한 관심이 증가되고 있다. 이와 관련하여 임베디드 운영체제, 임베디드 소프트웨어 모델링 기법, 임베디드 소프트웨어 테스팅 등 다양한 연구들이 이루어지고 있다. 그러나 지금까지 임베디드 분야가 하드웨어 분야에 치중되어 왔기 때문에 임베디드 시스템 개발에 있어서 체계적인 공학적 접근 방식이 미약한 상태이다. 이 뿐만 아니라 임베디드 시스템 개발에 있어서 재사용성을 고려한 프레임워크 기반의 설계 기법 등은 반영되지 못한 실정이다. 이렇게 개발됨으로써 시스템 내에 죽은 코드(Dead Code)들이 산재해 있을 뿐만 아니라 시스템의 재사용성이 매우 저조한 결과를 보이고 있다. 본 논문에서는 이러한 재사용성 향상을 위한 임베디드 시스템의 프레임워크를 제시하고, 이 프레임워크에 대한 정적 메타 모델을 제시한다. 이러한 메타 모델을 통해 임베디드 시스템의 재사용 프레임워크의 구조를 표현 할 뿐만 아니라, 이를 기반으로 다양한 임베디드 시스템 형태에 따라 모델을 쉽게 확장하여 설계할 수 있도록 한다.

• 전자통신동향분석
• /
• 제21권1호통권97호
• /
• pp.44-56
• /
• 2006

임베디드 소프트웨어(embedded software)에서 디바이스 드라이버(device driver)는 하드웨어와 운영체제 및 응용 프로그램 사이의 연결고리 역할을 하는 핵심 구성 요소로서, 응용 프로그램이 하드웨어에서 제공하는 기능을 사용할 수 있도록 제어 및 상호동작을 위한 일관된 인터페이스를 제공하는 소프트웨어이다. 이러한 디바이스 드라이버는 하드웨어와 소프트웨어의 양쪽 측면에 모두 관련이 있어서 개발이 어렵기 때문에 개발을 지원하는 도구가 필요하다. 본 원고에서는 디바이스 드라이버 개발 도구가 갖추어야 할 기능을 크게 소스 코드 자동생성 기능, 테스팅 기능, 정형 검증 기능, 통합 개발 환경 및 개발 편의 유틸리티 기능으로 나누어서 각각의 기술에 대해서 살펴보고, 현재 상용 제품들을 살펴보았다. 그리고, ETRI의 본 연구팀에서 개발한 디바이스 드라이버 통합 개발 도구인 “QuickDriver”를 기술하고, 이 도구와 상용 제품과의 비교를 수행하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권5호
• /
• pp.245-256
• /
• 2017

본 논문은 구조화된 체크리스트로부터 임베디드 시스템 테스팅을 위한 테스트 스크립트를 쉽게 생성할 수 있는 방법을 제안한다. 제안하는 방법은 체크리스트를 이벤트(Event), 컴포넌트(Component), 입력 명령어(Command) 사전을 기반으로 구성하고, 사전으로부터 계층적으로 테스트 스크립트를 생성한다. 계층 구조로 임베디드 시스템의 물리적 입력 계층이 상위 계층의 컴포넌트 및 이벤트 계층에서 추상화되어 복잡한 시스템 입력 정보를 사용하지 않고도 테스트 스크립트를 생성할 수 있다. 비슷한 종류의 입출력 정보를 가지는 임베디드 시스템을 테스트하기 위한 테스트 스크립트 생성은 재사용성이 높은 사전을 이용하여 매우 쉽게 할 수 있다. 제안하는 방법의 유용성은 실험을 통해 보인다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권7호
• /
• pp.361-370
• /
• 2017

본 논문은 임베디드 시스템이 제어하는 서브시스템의 실시간 피드백을 반영하여 테스트 케이스를 생성할 수 있는 테스트 생성기 구조를 제안한다. 일반적으로 폐쇄형 임베디드 시스템은 자신이 제어하는 서브시스템의 피드백을 참조하여 서브시스템의 다음 상태를 제어하는 값을 결정한다. 그와 같은 시스템에서는, 피드백을 고려하지 않는 전통적인 테스트 케이스는 사용하기 어렵다. 본 논문에서 제안하는 테스트 케이스 생성기 구조는 서브시스템의 피드백을 이용하여 다음에 사용할 테스트 케이스를 실시간 재구성한다. 제안하는 구조를 구현하고 데모 시스템을 이용하여 유용성을 검증한다.

• 인터넷정보학회논문지
• /
• 제14권1호
• /
• pp.31-39
• /
• 2013

새롭게 개발되는 소프트웨어 컴포넌트와 재사용되는 하드웨어 컴포넌트를 결합할 때, 두 컴포넌트간 인터페이스 불일치현상이 발생할 수 있다. 인터페이스 불일치 현상은 다양한 형태의 결함을 야기할 수 있으며 인터페이스 결함허용성을 저하시키는 요인이 된다. 하지만 이러한 결함에 대한 테스트는 경험기반으로 수행되기 때문에 사람에 매우 의존적이라는 단점이 있다. 이에 본 논문에서는 경험기반 테스트를 구조적 방법으로 접근하여 임베디드 소프트웨어의 인터페이스 결함허용성을 향상시킬 수 있는 기법을 제안한다. 먼저, 기존에 정의된 인터페이스 결함유형에는 포함되지 않았던 경험기반으로 수행되었던 인터페이스 결함유형을 정의한다. 다음으로 새롭게 정의된 인터페이스 결함 유형을 고려한 테스트 수행 방법을 제시한다. 제안한 방법의 우수성을 입증하기위해 본 논문에서는 상용 방송 수신단말기를 대상으로 테스트 수행한 결과, 기존에 사용했던 방법보다 7.9%의 심각한 결함을 추가로 발견할 수 있었다. 또한, 제안한 방법은 소프트웨어 개발 주기상에서 초기에 테스트 경로를 생성하기 때문에 개발자들이 사전에 인터페이스 불일치 결함을 발견할 수 있어 보다 효과적인 테스트 계획 수립이 가능하다.