• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.575-579
• /
• 2006

컴파일러에 결함이 있다는 것은 곧 잘못된 코드를 생성한다는 것을 의미하므로 양질의 컴파일러 구성은 양질의 소프트웨어 생산을 위한 기본 요구조건이 된다. 임베디드 시스템이 널리 사용되면서 더욱 다양하고 복잡한 임베디드 프로세서가 개발되었고 이는 새로이 설계된 프로세서를 위한 새로운 컴파일러 개발의 필요를 야기하고 있다. 본 논문에서는 프로그램의 중간 표현을 기반으로 하는 효율적인 테스팅 방법을 제안한다. 언어의 구문 규칙을 모두 사용하는 테스트 케이스를 통해 컴파일러를 테스트하는 방법이 이미 연구되었으나, 기존의 소스 코드 수준의 방법으로는 테스트 케이스의 중복성이 존재하는 단점이 있다. 본 논문에서는 중간 표현의 구문 규칙을 이용해서 중복된 테스트 케이스를 제거하여 테스팅 효율을 증가시킬 수 있음을 기술한다. 또한 본 논문에서 제안하는 방법을 GCC의 중간 언어인 RTL에 적용한 예를 통해 설명한다.

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

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

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.05a
• /
• pp.90-93
• /
• 2006

본 논문에서는 자율신경망 중 ART2(Adaptive Resonance Theory 2)를 이용하여 지문의 매칭알고리즘에 적용하였다. 지문의 영상을 센서로부터 입력 받아, 전 처리와 후처리 과정을 거친 후 각각의 지문에 대한 특징값을 구하고, 지문 영상을 분류 및 매칭 할 수 있도록 하였다. 다음으로 제시한 알고리즘을 바탕으로 PC(Personal Computer) 없이 독립적으로 사용 할 수 있는 실시간 임베디드 지문 인식 시스템을 구현 하였다. 실시간 임베디드 지문 인식 시스템 설계에 있어 크기와 기능면을 고려해 메인 모듈의 프로세서로 최근 신호 처리에 많이 사용되고 있는 DSP(Digital Signal Processor)를 사용 하였으며, 지문을 입력 받기 위한 센서로는 반도체 지문 센서를 사용하였다. 메인 모듈과 센서를 가지고 간단한 디스플레이 및 통신 테스트를 위해 PIC Micro-Processor를 사용해 컨트롤 보드를 제작하여 간단한 인식 테스트를 하였다. 제작한 보드를 가지고 다양한 어플리케이션이 가능하나, 본 논문에서는 하드웨어나 소프트웨어 개발에 사용 가능한 RDK(Reference Design Kit)를 최종으로 구현하였다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.401-410
• /
• 2017

This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.161-166
• /
• 2007

본 논문에서는 크로노스 그룹에서 제정한 스케일러블 벡터 그래픽 하드웨어 가속을 위한 표준인 OpenVG를 소프트웨어 렌더링 방식으로 구현한 참조 구현을 제안한다. EGL과 OpenVG 엔진이 다양한 임베디드 환경에 쉽게 이식이 가능하도록 설계한 방식을 제시한다 또한 성능 개선을 위해, 채택한 수학 함수와 알고리즘의 선택 배경을 기술하고 최적의 렌더링 방법을 제안한다. 소프트웨어 렌더링 방법으로 구현한 OpenVG를 통해 벡터 이미지를 화면에 출력하는 모습을 보인다. 또한 호환성 테스트 툴인 CTS의 테스트 결과를 제시하며 기존 참조 구현인 Hybrid 사의 참조 구현과 성능 비교 실험 결과를 보인다.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.12
• /
• pp.641-652
• /
• 2016

This paper proposes a method to generate test scripts in an automatic manner, based on checklist used for testing embedded systems in the fields. The proposed method can reduce the mistakes which may be introduced during manual generation. In addition, it can generate test scripts to test various mode combinations, which is not possible to be tested by the typical checklist. The test commands in a checklist are transformed into a test script suit referencing the signal values defined in a test command dictionary. In addition, the method to generate test scripts in sequential, double permutation and random manners is proposed useful to test the inter-operations between modes, a series of operations for a specific behavior. The proposed method is implemented and the feasibility is shown through the experiments.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.8
• /
• pp.105-111
• /
• 2013

This paper presents a virtual sensor system that is an effective method to test application software of smart sensors. The common way of testing sensor application is to build a test board, connect sensors to the board, and test sensor applications on the board with sensor's measurements as inputs. The problem of testing sensor application software with sensor's measurements as inputs is the restriction of test data. In other words, software testers cannot manipulate test data, because test data is generated by sensors. To solve this problem a virtual sensor system is presented in this paper. The virtual sensor system enables software testers to manipulate measurements of sensors. In the virtual sensor system, generation of virtual sensors comprises three stages - sensor selection, sensor characterization, and determination of output patterns. Sensor's measurements that can be manipulated through the virtual sensor system make the process of testing efficient. To show the usefulness of our virtual sensor system, it is applied to sensor applications in Android platform and the result of experiments is shown.

• 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을 이용한 테스팅에서 조합된 서비스의 성능 테스트를 효과적으로 수행할 수 있는 기회를 제공한다. 또한 본 확장 기법은 성능 테스트뿐만 아니라 다른 비 기능적 요구사항에 대한 테스트에도 활용될 수 있다.

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

본 논문은 Gary E. Mogyorodi[1]가 제시한 기법을 기반으로 Use-Case Approach 접목을 통해 테스트케이스 추출을 제안하고자 한다. 최근 이슈가 되고 있는 임베디드 시스템은 기존의 결정적 소프트웨어와 달리 비결정적, 실시간 또는 병렬적 시스템이다. 그래서 이러한 복잡한 시스템을 모델링 하기 위해서, 메시지 순차적 다이어그램을 확장을 통해 해결하고자 한다. 또한 Gary E. Mogyorodi[1]가 제시한 기법과 확장된 메시지 순차적 다이어그램을 접목을 통해 Test Case 를 생성하기 및 추출하고자 한다. 이 테스트케이스로 선 시험함으로써 실제 개발과 구현단계에서 오류를 참조하여 시간과 비용을 줄이고자 한다.