• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1-2
• /
• 2008

Korea Electric Power Research Institute has carried out verification of communication conformance on IEC 61850 based IEDs related to power IT project "Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology". Owing to IEC 61850 international standard and digital substation automation system, IED testing process should be changed from the conventional way to the new way described in the paper. This paper describes IED testing procedures based on substation automation system using UML.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.49 no.10
• /
• pp.217-230
• /
• 2012

This paper propose interacting test programming methods between test equipment and hardware unit to verify function and performance of the hardware unit under test. Proposed test program can minimizes the risk of failures when the unit is mounted on the aircraft by testing and verifying the unit under the worst stress condition. Also, Object oriented design using UML make it easy to apply in other equipments. Test program consists of architecture package and hardware package. Architecture package is in a role for system management, log analysis, message receiving and message analysis. Messages that are used by system management define messages for testing and defined messages is sent and received to test equipment through Ethernet. Hardware package is in a role for hardware management that is needed to be tested and is related to a system. Hardware to be tested is divided into internal test and transmission test. Internal test inspects hardware itself and reports the test results to the test equipment. Transmission test inspects communication device by sending or receiving data. All kinds of test is done in the worst condition of the test unit executing in parallel. Each device is tested at least 482 times and at most 15,003 times about one hour. Test program is utilized in hardware reliability test like as environmental test or EMI test.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.4
• /
• pp.167-175
• /
• 2012

Service-oriented Architecture(SOA) is one of the most recent trends in IT solutions. SOA is a paradigm for organizing and utilizing distributed capabilities that may be under the control of different ownership domains and implemented using various technology stacks. From a technical perspective SOA, can be considered a method for designing and developing IT systems where applications are constructed from loosely coupled and autonomous building blocks. And SOA is a very effective response to the problems faced by companies in terms of reusability, interoperability and reduce coupling between systems that implement their information systems. To exploit these advantages many organizations have decided to evolve their legacy systems towards this architecture. This paper proposes a modeling for SOA based business process generation and testing, and introduces its implementation in the BPEL. And we analyze business process between enterprises, modeling the service-oriented business process with BPEL to realization level. Also, we suggests that UML is used from high-level business problems to the process of low-level problem for Visual and effectively.

• Journal of Information Processing Systems
• /
• v.8 no.2
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.505-512
• /
• 2008

In order to do requirement-based testing of embedded system, we must have correct requirement specifications. But, natural language requirements of a client have ambiguity, inaccuracy, and inconsistency. To solve these problems, natural language requirements are modeled with modeling language such as UML and Simulink. During a modeling phase, the requirements are rearranged and retranslated in use-case. These activities are disadvantages of modeling. In this paper, we propose the technique, which is how to model a embedded system requirement into a model without rearranging and retranslating. This technique 1) represent a embedded system requirement with graphical language, and 2) model a requirement into a model. Because this technique only describes "what-to-do" of the requirement, this technique is useful to not only the low-level requirements but also the high-level requirements. We show some example systems modeled by REED, which has adopted this technique.

• Journal of Korea Spatial Information System Society
• /
• v.1 no.2 s.2
• /
• pp.5-20
• /
• 1999

Recently, the new software paradigm in information technology (IT) is the component-based development (CBD) technology that has brought as a result of the distributed computing environment (DCE). The CBD has reduced a program developing time and has been designed to make a distributed computing environment easier in the Internet and Intranet environments. These changes of software technology have influence on the geographic information system (GIS) and the CBD technology is highly needed as a point of view of the technique and policy of the geographic information system. In this paper, we designed and implemented an Enterprise Server for the efficient development and management of GIS components. Especially, the Enterprise Server was developed with the Enterprise JavaBeans Specification 1.1 that had been proposed as an industry standard by the Sun Microsystems. The Enterprise Server can allows users to manage the Unified Modeling Language (UML) and Design Patterns for the development of GIS components, develop a GIS component container which obeyed the Open Geodata Interoperability Specification (OpenGlS), manage spatial metadata through a spatial XML (eXtensible Markup Language) engine, and implement a TESTBED server for testing and verification of developed GIS components.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.264-265
• /
• 2011

현재까지 중전기기 분야의 전력기기들은 주로 단위기기들의 성능이 시장경쟁력을 좌우하였으며, 대용량화 및 경제적 설계 등이 대표적인 성능요소로 평가되었으나, 앞으로는 전력감시.제어 및 보호의 효율화를 위한 시스템화의 관점이 많은 비중을 차지하게 될 것이며 이에 따라 2차적인 기능적 측면들이 강조되고, 이러한 기능적 성능들이 시장경쟁력을 크게 좌우하게 될 것으로 사료된다. 따라서 IED의 전기 접점을 통해 이루어지던 예전의 시험방식에서 네트워크를 통한 시스템 차원의 시험방식으로 변화가 요구되고 있다. 본 논문에서는 배전선로 IED를 시스템적으로 시험할 수 있도록 UML을 이용한 성능 시험절차서의 구현 내용을 다루고자 한다.

• Journal of the Semiconductor & Display Technology
• /
• v.16 no.3
• /
• pp.71-77
• /
• 2017

As the automobile industry has shifted to software, the Automotive SPICE standard has been established to ensure efficient product development process and quality. In the assessment model, the HIS Scope is the minimum standard for small and medium automotive electric companies to meet OEM requirements. However, in order to achieve the HIS Scope, the output of each process stage that meets the verification criteria of Automotive SPICE must be created. In particular, the test phase takes a lot of resources, which is a big burden for small and medium-sized companies. In this paper, we propose a methodology for creating test cases of software integration test phase based on UML sequence diagram, which is a software design phase of Automotive SPICE HIS Scope, by applying behavior model based testing method. We also propose a tool chain for automating the creation process. This will reduce the resources required to create a test case.