• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.208-211
• /
• 2011

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

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

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

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

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

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.467-470
• /
• 2006

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.665-668
• /
• 2017

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

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.07a
• /
• pp.5-8
• /
• 2015

소프트웨어의 작동 중에 중대한 고장 없이 유연하게 대처할 수 있는 성질은 견고성이라 불리며 임베디드 소프트웨어에서 중요하게 여겨진다. 본 논문에서는 개발 중인 임베디드 소프트웨어의 견고성을 조기에 검증하기 위하여, 실물 시스템을 이용한 테스트가 갖는 물리적 한계를 극복할 수 있는 Software-in-the-Loop 시뮬레이션을 이용하여 개발 중인 PC에 견고성 테스팅 환경을 갖추는 방법을 제시한다. 제시한 방법은 소프트웨어의 견고성을 표현할 수 있게끔 만드는 테스트 케이스를 생성하고, 가상 시뮬레이션 환경을 구성하여 테스트 케이스를 실행함으로써 소프트웨어의 견고성을 객관적인 수치의 형태로 나타내는 방법을 보인다.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.785-792
• /
• 2008

In spite of the various techniques on the testing of embedded software, operation failures of embedded systems such as robot or satellite applications, are occurred frequently. The critical reason of these failures is due to the fact that software is embedded into a target system with inherent faults. Therefore, in order to prevent the failure owing to such faults, it needs a technique to test the embedded software which operates in real environment. In this paper, we propose a testing technique, aspect-based On-the-Fly testing that is to test the functionality and performance at real operation time. Our proposed technique gives some benefits of real test of unexpected input conditions, prevention of software malfunction, and reusability of aspect components for the testing.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1625-1627
• /
• 2010

OSEK/VDX 운영체제를 개발하는 과정에서 커널 이미지를 생성하여 임베디드 보드에 업로드하고, 이를 실행시켜보는 일련의 반복적인 작업이 요구된다. 본 논문에서는 이러한 반복적인 작업들을 일괄적으로 처리할 수 있는 보다 편리한 커널 테스팅 기법을 제시한다. 제시한 기법의 타당성을 검토하기 위하여 ARM7TDM 가 탑재된 EZ-AT7 임베디드 보드에 OSEK/VDX 커널 이미지를 적용하여 실험하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.9
• /
• pp.419-424
• /
• 2015

As Internet of Things (IoT) is recently serviced in several fields, the reliability and safety issues for IoT embedded systems are emerged. During the development of embedded systems, it is not easy to build the virtual execution environment and to test the developing version. Therefore, it is difficult to ensure its reliability due to lack of unit testing. In this paper, we propose a log-based unit testing framework for embedded software, which performs on real target board by extracting information of function execution. And, according to execution paths, duplicated logs are eliminated to keep a minimal log size. As a result, during system testing, testers can efficiently decide whether the executed paths of each function are correctly performed or not.