• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.429-432
• /
• 2016

전통적인 태스팅은 테스트케이스를 만드는데 많은 시간과 비용이 들기 때문에 시기적절한 출시를 해야 하는 휴대전화, TV와 같은 제품을 테스팅하는데 많은 어려움을 겪고 있다. 이러한 문제를 해결하려는 노력으로 관련 학계 및 산업체에서는 동적 심볼릭 수행을 이용한 커버리지가 높은 테스트케이스 자동생성 연구가 진행 중이다. 특히, Microsoft Research에서 만든 동적 심볼릭 수행도구인 PEX는 C#언어로 작성된 웹 또는 윈도우 프로그램의 테스트케이스를 자동 생성한다. 그러나 PEX의 사용자들로부터 테스트케이스가 부족하다는 피드백올 받았고, 그 결과로 경계 값 테스트케이스를 추가하는 연구를 진행하여 경계 값 테스트케이스를 추가하지 않았을 때 보다 더 많은 오류를 찾았다. 본 논문에서는 소프트웨어 오류가 있을 경우 엄청난 재산, 인명 피해가 발생하는 임베디드 소프트웨어 분야에서 자주 사용하는 언어인 C언어를 지원하는 동적 심볼릭 수행 도구 CREST를 수정하여 경계 값 테스트 케이스를 생생하는 연구를 진행한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.9
• /
• pp.419-428
• /
• 2017

In an embedded system, modules exchange data by interacting among themselves. Exchanging erroneous resource data among modules may lead to execution errors. The interacting resources produce dependencies between the two modules where any change of the resources by one module affects the functionality of another module. Several investigations of the embedded systems show that interaction faults between the modules are one of the major cause of critical software failure. Therefore, interaction testing is an essential phase for reducing the interaction faults and minimizing the risk. The direct and indirect interactions between the modules generate interaction faults. The direct interaction is the explicit call relation between the modules, and the indirect interaction is the remaining relation that is made underneath the interface that possesses data dependence relationship with resources. In this paper, we investigate the errors that are based on the indirect interaction between modules and introduce a new test criterion for identifying the errors that are undetectable by existing approaches at the integration level. We propose a novel approach for generating the interaction model using the indirect interaction pattern and design test criteria that are based on different interaction errors to generate test cases. Finally, we use the fault injection technique to evaluate the feasibility and effectiveness of our approach.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.327-330
• /
• 2004

테스팅이 오류의 존재를 증명할 수 있는데 반해서, 정형 검증 기술은 시스템에 오류가 존재하지 않음을 증명할 수 있다. 모델 체킹은 이런 정형 검증 기술 중의 하나이다. 최근에 모델 체킹을 이용하여 코드를 자동으로 검증하려는 연구들이 많다. 하지만 이런 연구는 일반적인 환경에서의 검사만을 할 수 있다. 반면에 임베디드 소프트웨어는 실시간성, 외부 환경, 다중 스레드 등의 다양한 특성이 존재한다. 따라서 임베디드 소프트웨어와 같이 안전한 소프트웨어 시스템을 필요로 하는 환경을 위한 모델 체킹을 수행하기는 힘들다. 본 논문에서는 임베디드 소프트웨어에 대한 모델체킹 도구가 검증할 수 있어야 하는 실시간 시스템의 검증, 외부 환경에 대한 고려, 다중 스레드 시스템의 검증 등을 설명하고, 기존 도구들이 얼마나 만족하고 있는지 조사해본다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.661-664
• /
• 2004

임베디드 소프트웨어는 제한된 자원을 이용해 빠르고 정확한 기능 수행이 가능하도록 설계 되어야한다. 본 논문은 임베디드 기반 소프트웨어의 효율적인 개발을 위해 개발 소프트웨어의 실행 성능을 분석할 수 있는 프로파일(profile) 도구를 제안한다. 제안하는 시스템은 교차환경(cross-platform environment)에서의 테스트 코드 및 결과 전송을 위한 에이젼트 모듈과 프로파일링을 위한 테스팅 엔진 그리고 내장형 소프트웨어의 프로그램 실행 최적화를 위해 개선되어야 할 함수 정보를 GUI 형태로 출력하는 레포팅 모듈로 구성된다. 본 시스템은 효율성과 신뢰성 있는 임베디드 기반 소프트웨어 개발에 기여할 것으로 기대된다.

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

본 논문은 임베디드 소프트웨어 개발자가 개발 소프트웨어의 성능 테스팅 결과를 그래픽 형태의 인터페이스를 통해 쉽고 편리하게 분석할 수 있는 성능 분석기를 제안한다. 제안하는 성능 분석기는 임베디드 소프트웨어에 대해 생성된 텍스트 기반 저수준의 성능 평가 정보를 그래픽 형태의 결과 화면으로 재구성하기 위한 API로 변형하는 정보 변환기 모듈과 API 형태의 자료구조를 이용해 성능 평가 결과를 그래픽 형태로 출력하는 레포트 생성기로 구성된다. 제안하는 그래픽 기반의 성능 분석기는 개발자나 사용자에게 그래픽 형태의 편리한 성능 분석 레포팅을 제공한다. 따라서, 임베디드 소프트웨어 개발자는 기존의 텍스트 형태의 결과를 분석하기 위한 시간과 노력을 줄일 수 있고, 즉각적이고 직관적인 결과 분석기회를 얻을 수 있어 관련 소프트웨어 개발 효율성을 높일 수 있을 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1239-1242
• /
• 2012

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.885-886
• /
• 2009

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.77-82
• /
• 2010

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

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.6
• /
• pp.73-79
• /
• 2010

The number of electronic embedded software in vehicle system is ever increasing for years. As a result, the electronic control units have been growing dramatically, and it is required to mutual link between these units. Due to separate API each and every embedded platform, it is difficult to develop and integrate in automotive industry. The AUTOSAR project consists suppliers and manufacturers, and the partnership is a standardized platform to establish and develop an industry standard. On the previous works, we implemented the RTE generated module design based on AUTOSAR architecture. This paper specifically focuses on the testing of the development tool that generates RTE source code. The result satisfied a need for a RTE requirements and AUTOSAR methodology in a vehicle applications.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.8 no.6
• /
• pp.319-327
• /
• 2013

Most Android applications are being developed by one or a few person without professional testing team. In such a poor development environment, applications may contain severe errors which may also affect the Android platform. In order to detect these errors, the behaviors of Android activities should be identified by considering user-defined lifecycle as well as the system-defined one. This paper proposes a method to generate test scenarios based on the both of user-defined and system-defined activity lifecycle of Android GUI applications. The test scenarios are generated by a state diagram extracted from the source code and are transformed into Jython scribes by using GUI layout information for automatically performing testing.