• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.347-350
• /
• 2001

이 논문은 기존의 Use Case 방법론을 개선하려는데 초점을 두고 있다. Use Case 방법론의 설계단계 중, 설계 프랙티스(Design practices)단계에 소프트웨어 테스팅 개념을 적용하였다. 이 방법은 먼저 사용자의 요구 사항을 상호작용 다이어그램을 통해 분석하고, 설계 컴포넌트(Design Component Units)라고 불리는 기능적 컴포넌트들로 새롭게 정의하고 추출한다. 추출된 기반을 바탕으로 생성된 설계 컴포넌트들을 설계 스키마(Design schema)에서 계층구조로 분할하는 방법이다. 여기서 개발자들의 목적에 따라 선택한 수 있도록, 다양한 기준에 적용한 수 있는 여러 가지 설계 컴포넌트들을 정의하였다. 개선된 Use Case 방법론을 토대로 변환 알고리즘[11]을 이용해 새로운 Use Case 툴을 개발하고자 한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.7
• /
• pp.361-370
• /
• 2017

This paper proposes the architecture of test case generator that can generate test cases, considering feedback signals from subsystems controlled by an embedded system. In general, a closed system decides the next test input to its subsystem under its control referencing feedback signals from its subsystem. In such systems, it is hard to use the typical test cases generated without referencing feedback. The architecture proposed in this paper re-produces test cases in real time using feedback signals. The architecture is implemented and its effectiveness is verified through experimenting a demo system.

• Journal of IKEEE
• /
• v.24 no.4
• /
• pp.1034-1038
• /
• 2020

In order to effectively process target recognition using radar, accurate signal information for the target is required. However, such a target signal is usually mixed with noise, and this part of the study is continuously carried out. Especially, image processing, target signal processing and target recognition for the target are examples. Since the field of target recognition is important from a military point of view, this paper carried out research on target recognition of aircraft using a tree-structured fuzzy neural networks. Fuzzy neural networks are learned by using reflected signal data for an aircraft to optimize the model, and then test data for the target are used for the optimized model to perform an experiment on target recognition. The effectiveness of the proposed method is verified by the simulation results.

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

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1542-1555
• /
• 1999

This paper proposes an algorithm for class hierarchies which can optimize member data and member function. This algorithm considers single/multiple inheritance, static/dynamic binding, overloading/overriding, pure virtual/virtual function, and constructor on the hierarchy of C++ class. We need to eliminate unused function that possesses many component element, because the program uses a limited of function in class hierarchies. Previous works on slicing mainly focused on selecting output data and including the related program statement. It was consists of structured programming language and also centralized on error detection, maintenance, and flexible testing. In this paper, we extend to the object-oriented language, makes a linked-table for objects to raise the efficiency of information management, and proposes necessary algorithm for optimizing system Through this process, we can obtain the simplification of program code and the progress of system performance by eliminating unused member data and member function.

• Journal of Internet Computing and Services
• /
• v.14 no.1
• /
• pp.31-39
• /
• 2013

Generally, there can be a interface discrepancy between the legacy hardware and the new software in combining new software component with reused hardware components in the embedded system. This kind of the interface discrepancy may cause various types of faults and also result in declining interface fault tolerance. In this paper we propose a method to improve interface fault tolerance. First of all, the new interface discrepancy fault type which has not been dealt with before is to be defined and next the testing method for generating test paths is proposed by considering the new defined interface discrepancy fault type in this paper. Several tests show that the proposed method detects more fatal faults about 7.9% in comparison with the existing testing method for commercial broadcasting receiver. Since the proposed method can provide software developers with test paths to be available earlier on the software development cycle, in addition, software developers can regard on interface discrepancy fault in advance. Consequently, more efficient test planning can be established to improve the interface fault tolerance.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.25 no.6
• /
• pp.772-779
• /
• 2019

The subsea pipeline has received considerable attention as a high-value-added industry linked to the energy and steel industries including natural resource development. The design and installation of the subsea pipeline require a variety of key technologies to carry out the project. In particular, a thorough pre-verification process through pre-commissioning is essential for the safe operation of the subsea pipeline. The hydrotesting stage in the pre-commissioning process of the subsea pipeline is known to be affected significantly by the ambient temperature change; however, there is a little study based on the theoretical and numerical approach. In this study, the method of predicting the internal temperature change using the transient heat transfer method for the stage of hydrotesting during the pre-commissioning process of the subsea pipeline and the prediction method of the pressure variation in the pipeline using it were proposed. The predicted results were compared with field test results and its effectiveness was verified. The proposed analysis procedure is expected to contribute to the productivity improvement of the subsea pipeline installation project by enabling the prediction of pressure variation through pipeline heat transfer simulation from the initial design stage of the subsea pipeline installation project.

• The Journal of the Korea Contents Association
• /
• v.10 no.6
• /
• pp.144-155
• /
• 2010

In recent years, there has been a rapid and wide spread of robot system in our lives and with the ever increasing the requirement of user for robot functionality, the software component is increasingly sophisticated and complicated. Accordingly it is inevitable to employ a standardized software platform. The OPRoS is open standard software platform based on component for robot system. When the software components were developed, it has got to validate the conformity of robot software components which comply with the OPRoS standard specification. In this paper, we deal with the design and implementation of the structural conformance test suite to verify and validate the conformance of components to be developed by user. As the results of some experiments, we could verify it from this test suite whether the components satisfied standard requirement or not.

• The Journal of the Korea Contents Association
• /
• v.17 no.10
• /
• pp.452-462
• /
• 2017

This study proposes community based web service for contents providers and web designers to provide user-centered approach on Wordpress theme search and customizstion process. The contents and structure of theme information is analyzed and online communities on programming and Wordpress are studied to development of community based, theme contents service scenario. As a result, I launched 'Themettack' web service, I took beta testing with 20 users for 2 weeks, and found that theme template image and ideal theme contest services are the most satisfactory experiences. Various community contents which tested in this study and user participation data provided proper directions of Wordpress theme service as open source platform.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.2
• /
• pp.201-206
• /
• 2010

PLCs are special purpose microcontrollers used in most automatic control systems such as plants, embedded systems, and intelligent buildings. LD is one of the most popular languages among PLC languages. For now LD programs are mainly verified by simulation and testing which has a lot of limitation. This paper describes how to translate a given LD program into an input of a model checker so that LD program is verified by model checking. We define formal semantics of LD programs and SMV models and specify a formal definition of the translation function which preserves semantics between LD programs and SMV models.