Earticle

In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for new services, embedded software gradually grow in size, and development costs and time are increasing. In order to overcome this serious matter, we need a customized design and test technique for embedded software. In this paper, we present a software architecture style for embedded software. It facilitates the composition of reusable functions and helps developers to reduce development time. Because the costs associated with revealing errors of embedded software in applications are rising. we propose a test method and tools for target environments.

임베디드 소프트웨어의 품질 향상을 위해 소프트웨어에 대한 테스트가 필요하다. 이때 임베디드 소프트웨어가 가진 다양한 제약성을 고려해야 하며, 이를 위해 시스템 수준에서의 테스트를 수행하는 것이 가장 적합하다고 할 수 있다. 시스템 테스트에서는 SUT(System Under Test)의 하드웨어 구성에 따라 센서, 스위치, 액추에이터 등이 시스템과 연결되어 작동하여야 한다. 특히 온도센서나 습도센서 등과 같이 외부의 환경정보를 시스템의 입력으로 사용하는 임베디드 시스템을 테스트하기 위해서는 테스트 자동화 도구 내부에 환경을 관리하고, 정해진 환경 시나리오에 따라 시스템에 입력을 주는 모듈이 요구된다. 본 논문에서는 임베디드 시스템에 구성되어 있는 센서의 기능을 대신하는 가상 환경 관리자(Virtual Environment Operator)를 설계하고 구현하였다. 구현된 가상 환경 관리자의 도입으로 테스트 스크립트의 간결화와 현실 세계를 반영하는 다양한 테스트가 가능한 테스트 환경을 구축하였다.

임베디드 소프트웨어의 품질 향상을 위해 소프트웨어에 대한 테스트가 필요하다. 이때 임베디드 소프트웨어가 가진 다양한 제약성을 고려해야 하며, 이를 위해 시스템 수준에서의 테스트를 수행하는 것이 가장 적합하다고 할 수 있다. 시스템 테스트에서는 SUT(System Under Test)의 하드웨어 구성에 따라 센서, 스위치, 액추에이터 등이 시스템과 연결되어 작동하여야 한다. 특히 온도센서나 습도센서 등과 같이 외부의 환경정보를 시스템의 입력으로 사용하는 임베디드 시스템을 테스트하기 위해서는 테스트 자동화 도구 내부에 환경을 관리하고, 정해진 환경 시나리오에 따라 시스템에 입력을 주는 모듈이 요구된다. 본 논문에서는 임베디드 시스템에 구성되어 있는 센서의 기능을 대신하는 가상 환경 관리자(Virtual Environment Operator)를 설계하고 구현하였다. 구현된 가상 환경 관리자의 도입으로 테스트 스크립트의 간결화와 현실 세계를 반영하는 다양한 테스트가 가능한 테스트 환경을 구축하였다.

본 연구에서는 시간 요소를 고려한 무기체계 소프트웨어의 시스템 테스트 모델을 제시한다. 이를 위해 컴포넌트 기반의 UML 표기법과 무기체계의 시간 제약 특징을 고려한 무기체계 소프트웨어의 시스템 테스트 모델인 TFM(Time Factor Method) 모델을 제안한다. TFM 모델은 세 가지 요소인 (X.Y,Z)으로 구성되어 있는데. "X" 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, "Y" 에서는 Sequence Diagram과 관련된 컴포넌트(오브젝트)를 식별하고, "Z"에서는 Timing Diagram을 통하여 식별된 각각의 컴포넌트의 실행시간을 측정한다. 또한 제안된 TFM 모델의 적용사례를 들어 테스트 케이스를 도출한다.

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

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

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