• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.382-384
• /
• 2005

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.472-474
• /
• 2005

시간과 관련된 테스트는 임베디드 소프트웨어뿐 아니라 전체 임베디드 시스템의 신뢰도에도 큰 영향을 미치기 때문에, 시간과 관련된 임베디드 소프트웨어 테스트는 필수적이다. 임베디드 소프트웨어는 실시간 운영체제와 대상 하드웨어와 유기적으로 연관되어 있어 테스트가 일반 패키지 소프트웨어에 비해 용이하지 않다. 본 논문에서는 시간과 관련된 임베디드 소프트웨어 테스트를 위해 필요한 항목들을 분석하였으며, 사례 수행을 통한 실험 결과를 제시 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.424-426
• /
• 2005

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.904-906
• /
• 2005

소프트웨어 개발의 생산성을 높이고 신뢰성 있는 프로그램을 개발하기 위하여 테스트 자동화에 대한 연구가 활발히 진행되고 있다. 임베디드 소프트웨어는 일반 소프트웨어 개발 환경과는 달리 호스트-타겟(host-target) 구조의 교차 개발환경에서 개발이 이루어지고 있다. 본 논문은 임베디드 소프트웨어의 개발 환경에 맞추어 제한된 자원의 특성을 고려한 원격 단위 테스팅 도구를 제안한다. 제안하는 원격 단위 테스팅 도구는 XML 테스트 스크립트를 기반으로 대상 소스 언어에 맞는 테스트 드라이버를 생성하여 테스트 대상과 함께 테스트 작업 용구(Test harness)를 생성한다. 이러게 생성된 테스트 작업 용구는 이더넷(ethernet)을 통해 타겟(target)으로 전송되어 테스트를 수행한 후, 테스트 결과 로그를 호스트로 전송한다. 호스트에서는 로그를 수집하여 XML형태의 파일로 제공하여 다양한 형태의 리포트 뷰(View)를 가능하게 한다. 본 논문의 원격 단위 테스팅 도구는 임베디드 소프트웨어 개발 단계에서 반복적인 단위 테스팅의 절차를 간소화 하여 보다 효율적이고 신뢰성 있는 임베디드 소프트웨어 개발의 기회를 제공 할 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.623-626
• /
• 2005

임베디드 소프트웨어가 날이 갈수록 그 규모가 커지고 복잡해짐에 따라 임베디드 소프트웨어의 품질에 대한 검증 및 테스트는 중요한 문제로 부각하고 있다. 임베디드 소프트웨어의 신뢰성을 확보와 비용절감을 위한 테스트 자동화 시스템의 개발이 필요하다. 이 문서는 테스트 자동화 시스템을 구축하는 과정에서 테스트 대상인 임베디드 시스템의 입출력 변수들의 조작을 통하여 시스템 의존적인 부분을 효과적으로 일반화 시키는 방법을 제시한다. 이 방법을 통하여 테스트 명령을 간소화 할 수 있었으며 테스트 자동화 시스템의 모델을 보다 일반적이고 쉽게 표현할 수 있었다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.6
• /
• pp.547-558
• /
• 2008

Embedded system is tightly coupled with heterogeneous layers such as application, as kernel, device driver, HAL and hardware. Embedded system is customized for the specific purpose and hardware. In addition, the product cycle is so fast that software and hardware, which are developed by several vendors, are integrated together under unstable status. Therefore, there are lots of possibilities of faults in all layers. Because embedded software developers test their codes integrated with faulty layers, they cannot confirm 'whether testing of every aspects was completed, their code was failed, or integrated software/hardware has some problems'. In this paper, we propose an embedded software interface test method and a test tool called Justitia for detecting faults and tracing causes in the interface among heterogeneous layers. The proposed technique is an automated method which improves debugging upto professional testing using an emulator for helping developer.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.346-348
• /
• 2004

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.120-122
• /
• 2012

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

• Journal of the military operations research society of Korea
• /
• v.33 no.2
• /
• pp.49-60
• /
• 2007

Recently, the application area of an embedded software become larger and larger rapidly due to the development of the wire and wireless communication, the expansion of the digital information device and the convergence of the digital devices and emphasize the effort of the development of more complete software. As a consequence, the importance of the software test process was raised to discover the defects of the software early and improve the quality of an embedded software. However there was no test process model for applying the embedded software which is required the highly precision and the real-time process. In this paper, therefore, we propose the design procedure and case study for the test maturity model of an embedded software(Emb-TMM) which reflects the characteristics of the embedded software and test process. for this, we suggest the three category of the proposed procedure which consists of the selection of the reference model and the derivation of the area, the categorization of the area level, and design model. Then we suggest the case study how the proposed procedure can be applied to the development of an embedded software actually.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.160-162
• /
• 2006

소프트웨어의 구조가 점차 복잡해짐에 따라 소프트웨어 테스트 과정에서 테스트가 일정 수준 이상의 테스트 커버리지를 갖게하기 위해서는 많은 수의 테스트 케이스 실행이 불가피하며, 이로 인해 테스트 수행의 시간 비용이 증가되고 있다. 하지만 테스트 프로세스 안에서 어느 시점에 소프트웨어 결함을 발견하느냐에 따라 소프트웨어 배포 시점에서의 오류 수정 비용이 달라진다. 이를 위해 각각의 테스트 케이스에 우선순위를 부여하여, 보다 빠른 시간 내에 결함을 찾고자 하는 테스트 케이스 순서화 기법에 대한 연구 가 활발히 진행되고 있다. 본 논문에서는 임베디드 소프트웨어의 시스템 테스트 결과를 활용한 과거 이력기반 테스트 케이스 순서화 기법을 제안한다.