• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.8
• /
• pp.331-342
• /
• 2019

This paper proposes a method to generate test cases and test scripts from software requirements written in a controlled natural language, which helps develop reliable embedded software. In the proposed method, natural language requirements are written in a controlled language, the requirements are parsed and then inputs, outputs and operator data are extracted from the requirements. Test cases are generated from the extracted data following test case generation strategies such as decision coverage, condition coverage or modified condition/decision coverage. And then the test scripts, physical inputs of the test cases are generated with help of the test command dictionary. With the proposed method, it becomes possible to directly check whether software properly satisfies the requirements. Effectiveness of the proposed method is verified empirically with an requirement set.

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

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.367-370
• /
• 2001

최근 다양한 어플리케이션과 전용 임베디드 시스템의 개발 필요성이 증가하고 있으며 이는 Smart Community를 추구하는 디지털 지식사회의 중요한 이슈가 되고 있다. 현재 상용화되고 있는 대부분의 실시간 임베디드 시스템들을 다양한 측면에서 자사의 제품 기준에 따르는 기술적 특징과 성능 지표를 제공하고 있으며 이를 통한 성능 품질 등의 판단 근거로 제시되고 있다. 그러나 각 자료들이 공인 기관에서 제공되지 않아 자료의 신뢰도가 낮으며 따라서 성능측정 및 품질척도로 비교하는데는 어려움이 있다 따라서 본 연구는 이러한 문제점을 착안하여 자바 카드 API의 품질 평가를 위해서 사전에 테스트를 거쳐 좀더 신뢰성과 안전성이 높은 자바 카드 애플릿을 개발하고자 한다. 이에 가장 중요한 부분 중에 하나인 에러체크를 통해 임의적으로 에러 처리 시나리오를 작성해서 그 시나리오를 거친 테스트 데이터를 생성한 후, 그 데이터를 가지고 API의 풀질 평가를 하고자 하는데 목적이 있다. 이에 본 논문에서는 테스트 데이터 생성 시나리오를 제안하였다. 단지 제안만 해 놓았기 때문에 향후 이 시나리오를 거친 테스트 데이터 생성을 연구하고자 한다. 또한, Verification을 위해 수학에 기초를 둔 정형 기법(Formal Method)을 이용하여 좀더 깊이 있고, 정확한 검증을 수행 하고자 한다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2004.07a
• /
• pp.155-160
• /
• 2004

디지털 제품의 기능 다양화 및 복잡화에 따라 제품 개발 주기 내 소프트웨어 개발 및 테스트 조직의 업무 중 30∼40% 이상이 소프트웨어 테스트 업무에 집중하고 있다. 급변하는 소비자 요구사양에 대응하기 위해서는 신제품 개발 주기가 짧아지면서 개발 모델 수와 테스트 항목이 지속적으로 증가하고 있기 때문에 소프트웨어 기본 기능 및 UI (User Interface) 검증에 대한 자동화의 필요성이 대두 되었다. 본 논문에서는 휴대폰, DVDP, PDA에 대한 System Integration 작업을 통해 입출력을 정의하고 Black-Box testing을 구현하여 평균 64%이상의 자동화 율과 기본 Test Spec. 대비 80% 이상의 Test coverage를 확보했으며 많은 장단점을 도출할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.219-222
• /
• 2006

임베디드 소프트웨어는 IT기술의 발달과 하드웨어의 다양한 보급 등으로 인해 널리 사용되기 시작했으며, 일반적인 소프트웨어와는 다른 방식으로 제작되며, 절대 표준이 없기 때문에 다양한 방식으로 개발되고 있다. 임베디드 소프트웨어 품질 및 생산성을 위해서는 체계적인 테스팅 방법론이 요구된다. 기존의 테스팅 방법으로는 복잡하고 높은 수준의 임베디드 소프트웨어 기능들을 테스트하는데 한계점이 많다. 본 논문에서는 기존 소프트웨어 테스팅과 임베디드 소프트웨어 테스팅의 차이점을 제시하고 효율적인 임베디드 소프트웨어 테스팅이 가능한 지원도구의 요구사항과 전형적인 방법을 탈피하여 자동화된 테스팅 방법 및 도구인 ESTE(Embedded Software Testing Environments)의 구조와 지원 기능을 제시하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.207-209
• /
• 2005

IT839 프로젝트 시행에 따라 유비쿼터스 사회를 만들기 위해 임베디드 시스템과 같은 소형 시스템이 대두되고있다. 과거 임베디드 시스템은 통신 및 제어분야에 주로 사용하였으나 현재는 홈네트워크 분야로 확대 되고 있다. 본 논문에서는 임베디드 시스템간의 연결을 통하여 소규모 망을 구성하고 실시간으로 접근 가능한 통신 프로그램을 구현하였다. 시스템 구현을 위해 PXA255 CPU가 내장된 XHYPER255B 보드에 임베디드 리눅스 및 OT기반으로 만든 통신 프로그램을 포팅하였으며 홈네트워크 시스템에 범용 시스템이 아닌, 임베디드 시스템이 적용 가능함을 테스트하여 겯과를 도출하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.899-902
• /
• 2004

임베디드 시스템은 현재 가전, 단말, 제어, 통신등 다양한 분야에서 응용되고 있으며 컴퓨터 관련 기술의 발전과 더불어 응용분야는 더욱 넓어질 것이다. 이러한 임베디드 시스템의 관리나 테스트를 위해 모니터링 프로그램이 필요하다. 임베디드 시스템은 일반 PC 시스템과 달리 많은 제약을 가지고 있다. 본 논문에서는 자원적 제약을 가진 임베디드에 활용되어지는 NFS를 이용한 임베디드 장비 모니터링에 적합한 MONETA(distributed MONitoring for Embedded TArget system)를 설계, 구현하였다. MONETA에서 제시하는 구조는 모니터링을 위한 서버, 모니터링하는 대상인 클라이언트, 시스템 사용자의 3계층 구조의 분산 모니터링 시스템으로 각 장비별 CPU, Moemory, Disk, 트래픽량을 그래프로 나타도록 구현된다.

• The Magazine of the IEIE
• /
• v.39 no.1
• /
• pp.24-29
• /
• 2012

• The Magazine of the IEIE
• /
• v.39 no.1
• /
• pp.49-53
• /
• 2012

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.24 no.9 s.208
• /
• pp.29-37
• /
• 2006