• Journal of the Korean Society for Railway
• /
• v.6 no.3
• /
• pp.186-193
• /
• 2003

The object of this study is to ensure the stability of bulk cement cars conducting vibration performance test, dynamic characteristic analysis and static load test of bogie frame. In case of static load test, bogie static load test facility was used. In case of dynamic characteristic analysis, Vampire Software was used. In case of vibration performance test, real bulk cement cars were used in kyeung-bu line. In the results of static load test of bogie frame for bulk cement car, all structures satisfied allowable stress criteria of materials. The vibration performance test and dynamic characteristic analysis results satisfied allowable standards.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.361-375
• /
• 2009

The major concern of component users who develop applications using the existing components is to confirm whether a component is collaborating with the different components in accordance with the requirements. Therefore, interoperability testing whose role is to check whether components collaborate with each other within the new operating environment not within the component development content of each component is considered as an importance research topic. In this paper, we propose a test case generation technique for interoperability test of component based software. The proposed technique defines a test model for generating test cases. The proposed technique generates test models from the use case specification and thereafter from these models, test cases for Interoperability testing are derived. In addition, we describe a tool which Implements the procedures for generating test sequences from test models.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.500-503
• /
• 2017

차량 내 전장부품이 증가하고, 차량 OEM(Original Equipment Manufacturing)이 다양한 차종을 생산 판매함에 따라 다양한 SW(software) 형상이 개발되고 있다. 따라서, 기존에 개발된 SW 형상과 변경된 SW 형상 간에 기능 일치성 검증에 대한 필요성이 증가하고 있다. 두 가지 SW 형상 간에 기능 일치성 확인을 위한 테스팅 방법으로 Back-to-Back Testing이 있는데, 이는 각 SW 형상에 동일한 입력값을 주입하고 동일한 출력값이 산출되는 지 확인하는 테스팅 방법이다. Back-to-Back Testing 수행 시 Test case 설계가 필요한데, Test case의 분량과 테스팅 종료기준에 대해서 아직 확립이 되어 있지 않다. 이제 본 논문에서는 MC/DC(Modified Condition/Decision Coverage) 개념을 이용하여 Test case 분량과 테스팅 종료 기준에 대해서 제시하고, 이를 적용한 사례를 설명한다. 본 논문에서 제시한 Test case 설계 기준을 적용하면, 제한적인 테스팅 일정과 인력을 만족하고, 기능 일치를 확인할 수 있는 충분한 테스팅이 가능할 것으로 판단한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.1015-1018
• /
• 2013

최근 임베디드 펌웨어를 객체 지향 어플리케이션과 함께 개발하는 경우가 증가하고 있다. 하지만 기존의 펌웨어는 절차적 설계를 기반으로 하기 때문에 어플리케이션과 다른 설계 기법이 필요하여 개발 비용과 테스트 비용이 증가한다. 그렇지만 아두이노를 사용하면 펌웨어를 객체 지향 설계가 가능하다. 본 논문은 객체지향 적용 펌웨어를 설계에 초점을 두고, Gary E.Mogyorodi의 Test Case 생성 방법을 적용하여, 실제 펌웨어를 시험을 하고자 한다. 이 방법이 가능하면 일반적인 펌웨어와 어플리케이션을 같은 방법으로 설계 및 테스트가 가능하다. 적용사례로써, 한백전자 HBE-SmartCAR의 펌웨어를 아두이노 기반으로 설계 및 추출된 Test Case 실행을 통해, 설계와 구현이 동일함을 검증이 가능하다.

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

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2312-2322
• /
• 1998

Test case for objcctoricnted system's integrated testing must be contained both methowmessage path and result of method execution. For this test case extraction, we should use scenario of dynamic modeling leveL Because we can reduce account of test case through user action's dependency analysis. This paper suggest test case generation method using dynamic modeling scenario. There are two advantages of this method are two. First, we can use computer when we generate test case for object's interaction and test result compare, Second, we can reduce testcase amount.

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.18 no.6
• /
• pp.51-60
• /
• 2015

This study conducted shear strength test and plate bearing test to look into the characteristics of bearing capacity using geosynthetics case on forest road surface. The shear strength test showed that the internal friction angle at the time when geosynthetics was used was measured larger on average than that in the unreinforced case. Therefore, using geosynthetics case produced more bearing capacity reinforcement effect. The result from the comparison test of internal friction angle by geosynthetics type revealed that the internal friction angle at the time when geotextile case was used was measured larger. That was attributable to the difference between the area of the total cross section of geotextile made in type of non-woven fabric and its material. Plate bearing test showed that the settlement at the time when geosynthetics was used was measured smaller than that in the unreinforced case. Therefore, using geosynthetics produced more bearing power reinforcement effect. The result from the comparison test showed that geogrid case was measured smaller than geotextile case. Henceforth, It is seemed that it will be necessary to keep studying the reinforcement engineering and process of forest road surface which fits the characteristics and conditions of geosynthetics to prevent forest road demage.

• Journal of IKEEE
• /
• v.19 no.2
• /
• pp.186-192
• /
• 2015

This paper proposes an automatic generation technology of test case based on API in source code for software's quality improvement. The proposed technology is comprised of four processes which are analyzing source code by using the Doxygen open source tool, defining API specification by using analyzed results, creating test design, generating a test case by adapting Pairwise test technology. Analyzing source code by using the Doxygen open source tool is the phase in which API information in source code such as the API name, input parameter and return parameter are extracted. Defined API specification by using analyzed results is the phase where API informations, which is needed to generate test case, are defined as a form of database by SQLite database on the basis of extracted API information. Creating test design is the phase in which the scenario is designed in order to be composed as database by defining threshold of input and return parameters and setting limitations based on the defined API. Generating a test case by adapting Pairwise test technique is the phase where real test cases are created and changed into database by adapting Pairwise technique on the base of test design information. To evaluate the efficiency of proposed technology, the research was conducted by begin compared to specification based test case creation. The result shows wider test coverage which means the more cases were created in the similar duration of time. The reduction of manpower and time for developing products is expected by changing the process of quality improving in software developing from man-powered handwork system into automatic test case generation based on API of source code.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.7
• /
• pp.4588-4594
• /
• 2014

In this study, small scaled (1/30) laboratory chamber tests of the pile foundation for a lightweight concrete pavement system were carried out to evaluate the safety of a pile foundation on sandy soil. The testing ground was simulated in the field and a standard pile-loading test was conducted. The test piles were divided into 3 types, Cases A, B and C, which is the location from the center of the slab by applying a vertical load. The interval between the piles was set to 8 cm. As a result of the pile foundation model test, the pavement settled when the vertical load was increased to 12kg from 1.5kg in sandy soil ground, particularly the maximum settlement of 0.04mm. Judging from the model chamber test, Case A showed compressive deformation, whereas Case B represented the compression and tensile forces with increasing vertical load. Case C showed an increase in tensile strain.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.595-612
• /
• 2009

The early test can greatly reduce the cost of error correction for system development. It is still important in SOA based service system. However, the existing methods of test case generation for SOA have limitations which are restricted to only web service using XML. Therefore, this paper proposes a method of test case generation using BPMN-based model reduction for service system. For minimizing test effort, an existing BPM is transformed into S-BPM which is composed of basic elements of workflow. The process of test case generation starts with making S-BPM concerning the target service system, and transforms the target service system into directed graph. And then, we generate several service scenarios applying scenario searching algorithm and extract message moving information. Applying this method, we can obtain effective test cases which are even unlimited to web service. This result is the generation of test case which is reflected in the business-driven property of SOA.