• The KIPS Transactions:PartD
• /
• v.14D no.7
• /
• pp.753-762
• /
• 2007

Traceability has been held as an important factor in testing activities as well as model driven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to code in testing and debugging phase. Traceability also makes overcome to difficulties of going up-and-down abstraction level to find out error spot of faults discovered by testing This paper represents a vertical test method which connects a system test level and an integration test level in a test stage by using UML. Experiment of how traceability works and how effective focus on error spots has been included using concrete examples of tracing from models to the code.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.190-197
• /
• 2000

본 연구에서는 사용자의 질의에 대해 대답을 제시하는 질의응답시스템의 평가를 위한 테스트컬렉션을 구축하였다. 질의응답시스템 평가를 위한 테스트컬렉션은 207,067개의 문서, 90개의 질의, 각 질의에 대한 적합성 판정 집합으로 구성되어 있다. 문서집합은 신문기사로 SGML형식으로 가공되었고, 질의는 다양한 유형의 질의와 변형질의를 포함한다. 적합성 판정 집합은 각 질의에 대해서 문서에 대답을 포함하는지의 여부에 따라 적합/부적합으로 판정하였고, 적합한 문서에 대해서는 대답을 표시하였다. 본 연구를 통해 구축된 질의응답시스템 평가를 위한 테스트컬렉션은 질의응답시스템의 객관적인 신뢰성 평가를 위한 기반을 마련하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 2002.11a
• /
• pp.417-422
• /
• 2002

Use Case는 일반적으로 시스템의 기능적 요소를 나타내기 위하여 활용하며, 고객의 요구사항을 반영하여 작성을 한다. 그러므로 Use Case 규격대로 시스템이 구현되었는가를 검증하는 것은 고객이 원하는 시스템이 구현되었는가를 검증하는 것이라 할 수 있다. 그러므로 Use Case를 기반으로 테스트를 수행 하기 위한 테스트 케이스 작성이 필요하다. 본 논문에서는 Use Case를 이용하여 테스트 케이스를 도출하는 과정을 제안하고, 이에 의하여 확보되는 테스트 커버리지의 의미를 설명한다.

• Journal of Internet Computing and Services
• /
• v.15 no.5
• /
• pp.107-121
• /
• 2014

Distributed systems are collection of physically distributed computers linked by a network. General use of wired/wireless Internet enables users to make use of distributed service anytime and anywhere. The explosive growth of distributed services strongly requires functional verification of services as well as verification of non-functional elements such as service quality. In order to verify distributed services it is necessary to build a test environment for distributed systems. Because, however, distributed systems are composed of physically distributed nodes, efforts to construct a test environment are required more than those in a test environment for a monolithic system. In this paper we propose a test framework to verify functional and non-functional features of distributed systems. The suggested framework automatically generates test cases through the message sequence charts, and includes a test driver composed of the virtual nodes which can simulate the physically distributed nodes. The test result can be checked easily through the various graphs and the graphical user interface (GUI). The test framework can reduce testing efforts for a distributed system and can enhance the reliability of the system.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1061-1065
• /
• 2010

AUTOSAR, a standard software platform for automotive, has been developed to manage software complexity and improve software reuseability. However Automated and standardized testing is needed to improve reliability and reduce time and effort on testing. Fundamental functionality of AUTOSAR RTE and basic software modules is guaranteed by using an AUTOSAR tool, but application software components have to be tested thoroughly. In this paper, we suggest a test system for the AUTOSAR software component using TTCN-3, a standardized testing language. Test execution system and test cases for the software component are generated automatically from AUTOSAR XML containing software design information. With the proposed testing techniques we can reduce time and effort to build the testing system.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.5
• /
• pp.245-256
• /
• 2017

This paper proposes a method to generate test scripts for testing embedded system in an easy manner by using hierarchical checklist. In the proposed method, a checklist is constructed with event, component and command dictionaries. And the test scripts are hierarchically generated based on the dictionaries. Since the physical layer of system input becomes abstract with component layer and event layer by virtue of the hierarchy, It is possible to generate test scripts without complicated system input information. It is easy to generate test scripts for embedded systems with similar inputs using the highly reusable dictionaries. The effectiveness of the proposed method is demonstrated with experiments.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.968-971
• /
• 2013

이 논문에서는 FSM(Finite State Machine) 기반 온라인 게임 서버 테스트 자동화 시스템을 제안한다. 게임 서버의 테스트 자동화는 테스트로 인한 비용, 시간적 제약, 테스트 자원의 재사용 측면에서 이득이 있다. 기존의 테스트 자동화 방식은 사용자간의 상호작용을 고려하지 않기 때문에 게임 서버의 성능에 대한 정확한 측정이 어렵다. 또한, 실제 서비스 시에 수용할 수 있는 동시 접속 인원수를 예측하기 어렵다. 이 논문에서 가상 유저를 이용한 테스트를 할 경우 FSM 을 이용하여 가상유저간의 상호작용이 가능하게 한다. 이를 이용하여 게임 서버의 성능 측정의 정확도 개선이 가능하다. 제안 시스템을 검증하기 위해 상호작용을 고려하지 않은 테스트 방법과 비교 평가 하였다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

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

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1149-1157
• /
• 2003

As an Embedded system combining hardware and software gets more complicated, the importance of the embedded software test increases. Especially, it is mandatory to test the embedded software in the system which has high safety level. In embedded system, it is necessary to develop a test technique to detect faults in interaction between hardware and software. In this paper, we propose a test data selection technique using a fault injection technique for the faults in interaction between hardware and software in embedded system and we apply our technique to the Digital Plant Protection System and analyze effectiveness of the proposed technique through experiments.