• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1895_1896
• /
• 2009

본 논문에서는 로봇 소프트웨어 컴포넌트 테스팅 자동화에 적합한 테스팅 자동화 프레임워크 및 계층적 로봇 소프트웨어 테스트 모델을 제안한다. 테스팅 자동화 프레임워크는 로봇 소프트웨어 컴포넌트의 지속적인 통합, 다양한 로봇 환경 및 분산 컴포넌트 환경을 지원한다. 테스팅 자동화 프레임워크를 실제 구현하여 테스트 베드에 설치 및 평가를 통하여, 본 논문에서 제안하는 프레임워크가 효율적임을 보인다.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.89-99
• /
• 2005

The testing time and cost of developed software can be reduced by automation of the whole or part of testing process. Since the testing automation tools to be used currently have been developed without their interoperability, test case information such as test procedures, test data, and expectation of test results generated at the stage of test execution cannot be shared and reused in other testing automation tools, In order to reduce testing time and cost, in this thesis, we have proposed a software testing automation framework which makes it possible to share and reuse the test case information generated in testing process. To prove the availability and effectiveness of proposed testing automation framework, three testing automation tools that are available in current market were experimented by the test scenario. As a result of experiment, the testing time and cost could be reduced by sharing and reusing the test case information in software testing automation framework.

• Convergence Security Journal
• /
• v.13 no.4
• /
• pp.33-39
• /
• 2013

Unit testing is proved to be vital for a successful software development process. Modern languages, such as Python, Java and C#, have a great support and tools for unit testing. But when it comes to C++, there are a big number of C++ frameworks available [List], and it becomes hard to make a choice of unit testing framework to use. This paper presents a survey of open source C++ unit testing frameworks by dividing open source C++ unit testing frameworks into two groups: frameworks with an integrated test runner and frameworks with a separate test runner.

• Information and Communications Magazine
• /
• v.33 no.5
• /
• pp.65-72
• /
• 2016

사물인터넷 (Internet of Things) 이란 통신 기능이 있는 사물들을 (주변의 정보를 측정할 수 있는 센서, 사물에 대한 제어를 하는 엑츄에이터) 인터넷에 연결하여 보다 스마트한 서비스들을 손쉽고 빠르게 만들어 사용자들에게 제공할 수 있도록 해주는 기술을 말한다. 스마트 시티, 스마트 공장, 스마트 홈 등 다양한 분야에서 사물인터넷 기술을 활용하여 서비스를 만들어 내고 있으며, 앞으로 관련 산업 및 시장 규모는 지속적으로 증가되어질 것으로 보고되어지고 있다. 서로 다른 제조업체 그리고 다양한 산업 분야에서 만들어지는 사물들이 서로 연결되어 하나의 생태계를 이루기 위해서는, 글로벌 표준에 기반하여 기기들이 개발되어져야하며, 이들 사물에 대한 호환성 및 적합성이 검증되어야한다. oneM2M (원엠투엠) 에서는 글로벌한 표준으로 사물인터넷의 서비스 계층에 대한 표준을 만들고 있다. oneM2M은 릴리즈 1 공통기능에 대한 표준 제정을 마쳤으며, 현재 테스팅과 관련하여 상호호환성 및 적합성 테스팅을 위한 표준 개발을 진행하고 있다. 본 고에서는 사물인터넷 기기들에 대한 전반적인 테스트 프레임워크로 활용되어질 수 있는 oneM2M 테스팅 관련 표준 프레임워크에 대한 내용을 소개한다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.523-530
• /
• 2009

Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from insufficient reliability and high testing cost for several reasons such as the high complexity of the kernel code. To alleviate these difficulties, this study proposes the MOdel-based KERnel Testing (MOKERT) framework for detection of concurrency bugs in the kernel. MOKERT translates a given C program into a corresponding Promela model, and then tries to find a counter example with regard to a given requirement property, If found, MOKERT executes that counter example on the real kernel code to check whether the counter example is a false alarm or not, The MOKERT framework was applied to the Linux proc file system and confirmed that the bug reported in a ChangeLog actually caused a data race problem, In addition, a new data race bug in the Linux proc file system was found, which causes kernel panic.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.106-108
• /
• 2002

신뢰성있는 소프트웨어의 개발을 위해 테스트의 중요성은 매우 크다. 특히, 최근에 점진적이고 반복적인 소프트웨어 개발 방법론이 각광을 받으면서 소프트웨어의 잦은 변경에 따른 회귀 테스트의 중요성이 점점 커지고 있다. 이에 따라 단위 데스트의 자동화에 대한 연구가 활발히 진행되고 있다. JUnit은 자바 클래스의 단위 레벨 테스팅을 도와 주는 테스트 지원 프레임워크이다. 또한, JTestCase는 테스트 데이터와 테스트 코드를 분리함으로써, 데이터 중심 테스팅(data-driven testing)을 지원하기 위해 개발된 JUnit 확장 프레임워크이다. 본 논문에서는, 이 두 개의 테스트 프레임워크와 자바 리플렉션 API를 이용하여, 하나의 클래스 파일을 읽어 들여 XML 형태의 테스트 데이터 파일과 테스트 드라이버 코드를 자동생성하는 도구를 제안한다. 그리고, 구체적인 예를 통해 본 논문에서 제안하는 도구의 유용성을 보여준다. 본 논문의 데스트 도구는 회귀 단위 테스트에 필요한 노력을 줄여주고, 자바 클래스 단위 테스트를 지원하는 도구 개발의 기반 기술을 제공하며, 궁극적으로 소프트웨어 개발의 생산성을 향상시켜 준다.

• Journal of Internet Computing and Services
• /
• v.17 no.6
• /
• pp.61-69
• /
• 2016

Software testing is an activity to find defects included in software through creating test cases from the software system specification. In order to perform software testing effectively, it is required to prepare the full test plan, to create well-defined test cases, and to execute test monitoring activities systematically. Most existing researches for the test approaches focus on automating the activities from the test cases generation to the test execution. Contrary to those approaches, we study automatic approaches for test monitoring activities. For this, we identify the research issues that should be solved to automate test monitoring activities. Next, with those solutions, we suggest the construction method for an automatic framework for test monitoring.

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

D2D는 단말 디바이스간의 중간의 매개체 없이 직접 연결을 통해서 메시지나 컨텐츠 등을 전송하는 시스템으로서 이의 개발에는 동시에 두개 이상의 단말을 연결하여 직접 통신을 수행하고 그 결과를 확인하는 테스팅 기능이 요구된다. 기존의 일반적인 테스팅 환경은 하나의 단말에서 구현되는 응용이나 서비스의 구현을 테스팅하는데 집중되어 있으나 본 연구에서는 다수개의 단말을 연결하여 테스트할 수 있는 간이 테스팅 프레임워크를 구축하고자 한다. 이를 위하여 간단한 테스트 스크립트 엔진을 설계하였고 테스트 스크립트 상에 개별 디바이스를 지정할 수 있는 항목을 추가하여 디바이스 간의 동작을 명세할 수 있도록 하였다.

• Korea Information Processing Society Review
• /
• v.18 no.1
• /
• pp.51-58
• /
• 2011

• 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.