• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.359-362
• /
• 2008

모바일의 소프트웨어 GUI 테스팅은 매우 중요하다. 그러나 모바일 특성상 일반 어플리케이션과 달리 많은 제약사항이 따르며 빠른 출시 등의 이유로 테스팅을 소홀히 하고 있다. 현재 대부분의 기업에서 GUI 테스트는 프로그래머가 매뉴얼대로 검사하는 수동적 방식을 사용하고 있는 실정이다. 본 논문에서는 GUI 테스트를 자동화 하는 방법 제시 및 도구를 구현 함으로써 좀더 편리하게 GUI 테스트를 할 수 있도록 하고자 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.7
• /
• pp.647-650
• /
• 2011

This paper presents the development of roll replacement robot system for wire-rod press rolls. The roll replacement robot system consist of a palletized railway truck, a 6-DOF industrial robot manipulator, a roll changing tool and a hydraulic power system. Results of simulation and pilot experiment show the roll changing task can be successfully automated using proposed robot system.

• Journal of Information Technology Services
• /
• v.10 no.3
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.12
• /
• pp.1697-1712
• /
• 2002

Unified Modeling Language (UML) is a standard language for specifying, visualizing, constructing, and documenting the artifacts of software systems. It simplifies the complex process of software design, making a blueprint for construction. In this paper, we apply automated application generation tools such as Rational Rose and BizWiz to a realistic cyber shopping mall and then compare and analyze them in the view of UML. We also propose some methods for the systematic system analysis, design, and implementation by applying UML to a customer management system based on above results.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.443-445
• /
• 2006

In this paper, we present a model-driven approach to RTOS(Real Time Operating System)-based embedded software development and an automated tool that can produce RTOS-specific code. we defined generic RTOS APIs(Application Programming Interface) that are not bound to any specific RTOS but can provide most of typical RTOS services. The generic RTOS APIs can be used as a means for describing application's RTOS-related behavior from design stage. Out tool, called Trans-PI, is able to produce specific 'C' code aimed at POSIX(Portable Operating System Interface for UNIX)-complicant RTOSs. And it is also configurable to target other RTOSs that do not conform to the POSIX standard.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.04a
• /
• pp.327-331
• /
• 2001

In the process of optical parts machining, polishing has been applied. Traditional polishing process is suitable for spherical optical parts. But it is very difficult to apply traditional process for aspheric optical parts. Nowadays, as growing needs for aspherical optic parts, many researches have been conducted. In this study, we developed computer controlled polishing system which consists of three major parts of active pressure control for correcting polishing process, mechanical on-machine measurement for rough polishing, and optical on-machine measurement for finish polishing, respectively. In this paper, a systematic stretegy for correcting polishing process, pressure control scheme for polishing tool, and on-machine measurement methods for automated and precise polishing are suggested. The information about developed machine is also included.

• Journal of the Korean Society for Precision Engineering
• /
• v.8 no.4
• /
• pp.55-63
• /
• 1991

This paper deals with development of a Computer Aided Process Planning System based on knowledge base in addition to database for injection mold as a part of Computer Integrated Manufacturing System for injection mold manufacture. The prposed system consists of four modules such as manufacturing feature code generation module machine tool selection and sequencing module, operation and cutting tool selection mudule and standard time estimation module. The system is programmed by using Turbo Pascal on the IBM-PC/AT. The performance of the system is evaluated by using real problems and the test results indicate that the proposed system is a practical and efficient system.

• Journal of Korean Institute of Industrial Engineers
• /
• v.34 no.3
• /
• pp.296-307
• /
• 2008

A semiconductor production system has sophisticated manufacturing operations and needs high capital investment for its expensive equipment, which warrants efficient real-time flow control for wafers. In the bay, we consider material handling equipment that can handle multiple carriers of wafers. The dispatching logic first determines the transportation time of each carrier to its destination by each unit of transportation equipment and uses this information to determine the destination machine and target carrier. When there is no available buffer space at the machine tool, the logic allows carriers to stay at the buffer of a machine tool and determine the delay time, which is used to determine the destination of carriers in URL. A simulation study shows this dispatching logic performs better than the procedure currently in use to reduce the mean flow time and average WIP of wafers and increase efficiency of material handling equipment.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.04a
• /
• pp.417-422
• /
• 2000

In the process of die manufacturing, according to increasing demand of die and molds, the efficient machining of dies and molds has been increased. However, while the cutting process has been automated by the progress of CNC(computer numerical control) and CAD/CAM, the polishing process still depends on the experienced knowledge of an expert. Also, even when workers are skilled in polishing dies. it takes much time to obtain the required roughness and smoothness on the surface of a die. Moreover, many workers gradually avoid doing polishing work because of the poor working conditions caused by dust and noise. Therefore, to improve productivity and to solve the potential shortage of skilled workers, a user-friendly automatic polishing system was developed in this research. The developed polishing system with five degrees of freedom is able to keep the polishing tool normal to the die surface during operation and is able to maintain a pressure constantly by the developed pneumatic system. Also, to evaluate polishing performance of the developend system and find the polishing conditions, the various polishing experiments were carried out.