• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.337-339
• /
• 2005

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06d
• /
• pp.436-439
• /
• 2010

최근 USN(Ubiquitous Sensor Network) 기술은 시범사업 수준의 테스트 환경을 벗어나 산업 현장 전반에 적용이 시도되고 있다. 현재의 USN 기술은 신뢰성 및 보안성이 취학하여 대규모 플랜트와 같은 난환경 산업 현장에의 적용이 어려운 현실이다. 또한 표준화된 기술의 부재로 인해 사용되는 USN 관련 장치들의 상호호환이 어려우며 기존 설비와의 호환이 어려워 산업 현장에 설치 규제가 심한 상태이. 다이러한 현실에도 불구하고 에너지 플랜트와 같은 고위험 시설물의 경우 설비에 대한 지속적인 감시 및 관리가 필요하며, 이를 위한 관련 기술의 개발이 필요하다. 본 논문에서는 USN 기술을 기반으로 에너지플랜트와 같은 고위험 시설물을 위한 고도화되고 지능화된 안전 인프라를 구축하여, 다양한 사고위험으로부터 안전성을 확보할 수 있는 스마트 플랜트안전 프레임워크를 제안한다. 제안하는 프레임워크에서는 플랜트를 위한 고위험 시설물의 감시에 필수적인 요소기술을 소개하고, 이를 통합하기 위한 프래임워크 구조를 제시하여 향후 관련 기술에 대한 기준점을 제시한다.

• Information and Communications Magazine
• /
• v.27 no.6
• /
• pp.44-49
• /
• 2010

본고에서는 현재 인터넷이 가지는 한계를 극복하기 위해 전세계적으로 연구가 되고 있는 미래인터넷의 테스트베드 분야에서 가장 활발히 개발되고 있는 제어 프레임워크인 OpenFlow 프로토콜과 이를 통한 미래인터넷 망의 제어 방안에 관해 살펴보기로 한다. 또한 OpenFlow 프로토콜을 활용하여 테스트베드 상에서 다양한 응용 실험과 새로운 프로토콜 실험을 수행한 내용 중 주요한 몇 가지만 선택하여 살펴봄으로써 최근 연구 동향을 가늠하도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.143-146
• /
• 2007

테스트 주도 개발(TDD)에서는 무엇보다 테스팅의 중요성이 강조되고 있으며, 효율적인 단위 테스트를 통해 소프트웨어를 신속하게 개발할 수 있도록 자동화된 테스트 프레임워크를 지원한다. 본 논문은 소프트웨어를 개발하는 과정에서 소프트웨어의 기능뿐만 아니라 비기능적인 요소(non-functional factor)인 성능도 함께 고려하여 모바일 응용 소프트웨어를 개발하도록 하는 성능 테스트 방안을 제안한다. 본 논문에서는 모바일 응용 소프트웨어 성능 테스트 현황과 이슈를 살펴보고, 모바일 응용 소프트웨어 성능 테스트를 위해 필요한 성능 특성들을 분석하여, 테스트 주도 개발의 특징을 반영한 성능 테스트 방안에 대해 제시하고자 한다.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.549-556
• /
• 2008

Web-based Enterprise Intranet System is developed Object-oriented programming language and data management is constructed using RDBMS. Between Object-oriented programming language and RDBMS bring about "Object-Relational Impedance Mismatch" due to heterogeneous paradigm. To solve this kinds of problems commonly use the ORM Framework that it is converting data between incompatible type systems in databases and object-oriented programming languages, uses complex mapping metadata. It causes difficult to develop and maintain because of inflexible in changes. This paper proposed persistence framework that solve the existing complexity of ORM framework and has more flexible in evolution of database table. This persistence framework is unnecessary meta information that connecting with entity of database table and the objects, it offers users convenience of maintenance and it allows far more flexible and affordable systems to be built because of automatically code generation. The result of testing based on the proposed persistence framework with Hibernate, iBATIS, It is similar response time with iBATIS and it has more about three times faster than Hibernate. But iBATIS has problems of mass data processing.

• KIPS Transactions on Software and Data Engineering
• /
• v.1 no.3
• /
• pp.149-158
• /
• 2012

As service-oriented software is considered as one of solutions to fulfill the users' needs in internet service environment, it has been increased the demands of reliable service development by the composition of internet services. However a critical issue in the service development approach is to satisfy the performance requirement as well as the functional correctness for the developing services, because impatient user multiply clicks the request-button of service without a short waiting. This paper proposes a framework to examine the performance of composite service. Our testing framework provides the data of service response time to service developer by measuring the service execution time. We develope an Aspect-based timer service, and weave the service with existing services to measure the execution time. Additionally, we perform some experiments to confirm the usefulness of performance test for composite service. This framework can support to develop a good performance service by substitution of the dragging service with another new service that will be a component of composite service.

• Journal of Digital Contents Society
• /
• v.19 no.8
• /
• pp.1617-1623
• /
• 2018

It is necessary to develop a next generation location referencing method with higher accuracy as advanced technologies such as autonomous vehicles require higher accuracy of location data. Thus, we proposed a framework for a lane-level location referencing method (L-LRM) based on high-precision digital road network map, and developed a tool which is capable of analyzing and evaluating the proposed method. Firstly, the necessity and definition of location referencing method was presented, followed by the proposal of an L-LRM framework with a fundamental structure of high-precision digital road network map for the method. Secondly, an architecture of the analysis and evaluation tool was described and then the Windows application program was developed using C/C++ programming language. Finally, we demonstrated the performance of the proposed framework and the application program using two different high precision digital maps with randomly generated road event data.

• Journal of Advanced Navigation Technology
• /
• v.19 no.5
• /
• pp.411-416
• /
• 2015

The service size of an IoT environment is determined by the various types of sensors. A gateway for relaying sensor information from various sensors is a representative middleware system, and an infographics showing the information with a graphical presentation of data and information is a client system for representing real-time information efficiently, it is necessary a similar test bed with IoT environment to develop a real-time infographics displaying a large amount of information effectively. The testing tools used in developing the existing network systems are mostly made to be suitable for functional testing and performance testing of the driven unit. In this paper, we proposed a mean which is web-based simulation framework to create a variety of information required for real-time infographics development, and evaluate the function of the system proposed by the test function of the comparison with the previous network test tool.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.7B
• /
• pp.583-594
• /
• 2006

WPANs (Wireless personal area networks) have developed as various forms according to requirements such as data rate, coverage, subscriber volume, and supported mobile velocity. And mobile device with multiple network interfaces is very common. To make these multi-mode devices communicate with any WPAN device at anytime, anywhere, the framework for heterogeneous wireless networks is essential. Therefore, we propose the integration framework to converge heterogeneous WPANs. In this paper, we explain the requirements and detailed design of our framework, and then present the emulation test results.

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.