• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.773-774
• /
• 2008

As an Embedded system get more complicated, the importance of the software test increases. Especially it is mandatory to test the embeded software for a charge degrade of the development company which is happened due to the error, a danger element clearance to the customer, a performance enhance of the system. In this paper, we propose efficient test method which discovers the bug an embedded system using suitable test case selection and automation test.

• 대한임베디드공학회논문지
• /
• 제7권3호
• /
• pp.135-142
• /
• 2012

The Quality of embedded system depends on the embedded software. As the complexity and the size of embedded software have been increasing, it is more likely that the software may include faults, and the reliability and stability issues are getting more important. In this paper, we propose a remote test tool for software based on VxWorks by using fault injection method. The test tool consists of test server and test client for testing on the cross development environment. The test server operates in the host system and user can not only test but also monitor the software by using it. The test client operates in the target system and it controls kernel objects and sends the input data into the software when receiving the control and data from the test server. We developed the prototype software and demonstrated the ability of testing software robustness by injecting faults.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.190-193
• /
• 2006

Ther are many stages of the development for the embedded systems' hardware and software as well, which results in many test stages of it with respect to corresponding development stages. The software validation of embedded systems is taken into consideration for the testers to make sure that the systems work correctly after the deployment. Among test stages, especially control logic level testing and system validation testing are considered as the most important test, because the robustness of embedded systems' software can be validated by those two level of tests. in this paper, we would like to introduce the idea of how software test system for embedded systems can be established and of what necessary components are needed

• 정보처리학회논문지D
• /
• 제11D권3호
• /
• pp.659-670
• /
• 2004

임베니드 소프트웨어의 품질시험을 통해 임베디드 시스템 子매자늘의 요구에 부합되는 고품질의 시스템을 구현할 수 있다. 임베디드 소프트웨어의 경우, 아직까지 국내에서 활용할 수 있는 구체적인 품질시험 체계가 구축되어 있지 않은 실정이다. 최근 다양한 임베디드 시스템들이 개발되고 있으나 결함으로 인한 리콜 등 품질면에서 많은 문제점들이 노출되고 있다. 본 연구에서는 임베디드 소프트웨어 평가를 위해 ISO/IEC 12119를 근간으로 하여 품질시험을 수행할 수 있는 평가모듈과 품질검사표를 개발하여 임베디드 소프트웨어 평가에 적용할 수 있도록 하였다.

• 한국산업정보학회논문지
• /
• 제13권2호
• /
• pp.18-27
• /
• 2008

최근에 임베디드 시스템에 첨가되는 기능들은 대부분의 응용분야에서 점점 다양화되고 복잡해지고 있다. 임베디드 소프트웨어가 점점 더 많은 기능을 포함하게 되고, 그 크기도 점점 커지고 있다. 따라서 소프트웨어 개발자들이 제시간에 개발기간을 맞추는 것이 점점 더 어려워지고 있다. 그러므로 임베디드 소프트웨어 개발에 적합한 설계 및 시험 기법이 요구된다. 이 논문에서 우리는 임베디드 소프트웨어를 위한 소프트웨어 구조 형태를 제안한다. 이 구조는 재사용 가능한 기능의 조립을 촉진시키며 개발자가 개발기간을 단축하는데 도움이 된다. 또한 우리는 목적시스템에서 동작하는 임베디드 소프트웨어를 시험하는 기법과 도구를 제안한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1149-1157
• /
• 2003

하드웨어와 소프트웨어가 조합된 내장형 시스템이 복잡해지면서, 내장형 시스템에 탑재되는 내장형 소프트웨어 테스트가 중요하게 인식되고 있다. 특히, 원자력 발전소와 같이 안전 등급이 높은 시스템에 들어가는 소프트웨어 테스트는 필수적이다. 내장형 시스템 테스트의 경우 하드웨어와 소프트웨어의 상호작용에 의해 발생하는 오류를 발견하기 위한 효과적인 테스트 기법이 필요하다. 본 논문에서는, 하드웨어와 소프트웨어 사이의 상호작용에 의해 생성되는 오류를 발견하기 위하여, 오류 삽입 기법을 이용한 테스트 데이타 선정 기법을 제안하고, 이 기법을 Digital Plant Protection System에 적용하였으며, 실험을 통해 제안한 기법의 우수성을 분석한다.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2005년도 6th 2005 International Conference on Computers, Communications and System
• /
• pp.39-44
• /
• 2005

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.

• 한국국방경영분석학회지
• /
• 제33권2호
• /
• pp.49-60
• /
• 2007

최근 임베디드 소프트웨어는 유 무선 통신의 발전 및 디지털 정보기기의 확장, 그리고 이러한 기기들의 컨버전스 등을 통해 그 활용 분야가 급격히 확장되고 있으며 그 기능이나 품질에서도 더욱 완전한 소프트웨어를 개발하려는 노력이 강조되고 있다. 이에 따라 소프트웨어 결함을 조기에 발견하여 임베디드 소프트웨어의 품질을 향상시키려는 소프트웨어 테스트 프로세스에 대한 중요성이 더욱 부각되었으나 고도의 정확성과 실시간 처리가 요구되는 임베디드 소프트웨어에 적용할 수 있는 테스트 프로세스 모델은 없는 실정이다. 따라서 본 논문에서는 임베디드 소프트웨어의 특징과 테스트 프로세스의 특성을 반영한 임베디드 소프트웨어 테스트 성숙도 모델(Emb-TMM) 설계를 위한 절차와 사례연구 결과를 제시한다. 이를 위해 Emb-TMM 설계절차를 참조모델 선정 및 영역 도출, 수준별 영역 분류 그리고 모델 설계라는 세 가지의 큰 부분으로 분류하여 제안한다. 그런 다음 제안한 Emb-TMM 설계절차를 통해 실제로 임베디드 소프트웨어 개발 시 어떻게 적용할 수 있는지를 사례연구를 통해 제시한다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제7권4호
• /
• pp.137-148
• /
• 2007

Rapid increase of embedded systems in electronic and mechanical control systems requires reliable and error-free embedded software. State-based testing methods like FSM are usually used to assure the reliability of embedded software. However, because of possibility of explosion of test cases, only partial test cases are considered in practical tests, which cannot guarantee that all the possible errors are investigated. This study proposes a test procedure based on failure mechanisms that may occur in embedded systems, which can not only assure that certain kinds of possible errors are detected but reduce the testing time. The proposed procedure is applied to vehicle air control system.

• 대한임베디드공학회논문지
• /
• 제4권4호
• /
• pp.164-173
• /
• 2009

Automotive systems have tended to be equipped with many electronic contents to satisfy safety, comport, convenience, and entertainment services over the past years. As a result, the amount of vehicle embedded software in electrical/electronic(E/E) systems is steadily increasing to manage these requirements. This leads to the traditional, document-based software development in the vehicle embedded systems being increasingly displaced by a model-based development in order to reduce software development time and cost. Due to the application of model-based development, a great evolution is being realized in the aspect of efficiency, but the development is being made without sufficient testing. So, erroneous automotive embedded software may cause serious problems such as car accidents which relate to human safety. Therefore, efficient methods for model-based test and validation are needed to improve software reliability in the stage of embedded software development. This paper presents the model-based development and test method for AUTOSAR embedded software to improve its reliability and safety, and it is demonstrated based on the case study.