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

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

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

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

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

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.538-540
• /
• 1998

기존의 객체지향 시스템이 갖는 한계와 통신의 대중화로 인해 분산 시스템에 대한 관심이 높아지고 있다. 따라서 분산 시스템이 갖는 여러 가지 특성에 기반하여 새로운 소프트웨어 공학적인 접근이 필요하다. 이에 대한 노력의 일환으로 본 논문에서는 분산 시스템을 이루는 분산 객체들의 통합테스트기법을 제안한다. 분산되어져 있는 여러 객체들을 통합하여 하나의 분산 시스템이 수행된다. 따라서 객체들을 통합할 때 발생하는 오류가 분산 시스템 테스트에서는 특히 고려되어져야 한다. 본 논문에서는 각 분산 객체들 사이의 인터페이스를 테스트 대상으로 보고, UML기반의 개발 산출물인 순서도.협력도.전개도가 갖는 정보들을 이용하는 새로운 테스트 기법을 제안한다. 또한 제안한 기법을 적용한 사례연구를 통해, 본 논문에서 제안한 통합 테스트기법으로 실제 통합에서 발생하는 오류가 테스트될 수 있다는 사실을 보인다. 나아가 본 논문의 통합 테스트기법에서 분산 객체를 콤포넌트로 확장한다면, 콤포넌트 기반 시스템을 위한 통합테스트도 가능하게 할 수 있는 효과도 있다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.297-305
• /
• 2002

The economic relevance of Web applications increases the importance of controlling and improving their quality. Moreover the new available technologies for the development allow the insertion of sophisticated funcations, but often leave the developers responsible for the organization and evolution. As a consequence, a high demand is emerging for methodologis and tools for quality assurance of Web based systems. In this paper, a UML model of Web applications is inroduced for their high level representation and concept of the verification and validation activities. In this paper proposed analysis algorithm that was based on Domestic Website and presented result through experiments.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.415-418
• /
• 2007

최근 활발히 진행되고 있는 모델 기반 공학에 관한 연구 중 모델 변환은 소스 모델을 입력 받아 다른 차원의 뷰를 제공하는 타겟 모델을 출력한다. 이러한 모델 변환은 메타모델을 사용하여 동일한 시스템을 서로 다른 이해관계자들의 관점에서 이해할 수 있는 방법을 제공한다. 동일한 시스템이라 하더라도 개발자와 시험자 그리고 사용자들이 보는 주요 관점은 다를 수 있다. 본 논문에서는 시험자의 관점에서 수직적 분할 시험이 가능하도록 입력 모델인 UML의 행위 다이어그램으로부터 출력 모델인 단위 시험을 위한 상태 다이어그램으로의 모델 변환에 대해 연구하고, 생성된 상태 다이어그램을 통해 시험 사례를 작성한다.

• KEPCO Journal on Electric Power and Energy
• /
• v.3 no.2
• /
• pp.89-97
• /
• 2017

The substation is a critical node in the power network where power is transformed in the power generation, transmission and distribution system. The IEC 61850 is a global standard which proposes efficient substation automation by defining interoperable communication and data modelling techniques. In order to achieve this level of interoperability and automation, the IEC 61850 (Part 6) defines System Configuration description Language (SCL). The SCL is an XML based file format for defining the abstract model of primary and secondary substation equipment, communications systems and also the relationship between them. It enables the interoperable exchange of data during substation engineering by standardizing the description of applications at different stages of the engineering process. To achieve the seamless interoperability, multi-vendor devices are required to adhere completely to the IEC 61850. This paper proposes an efficient algorithm required for verifying the interoperability of multi-vendor devices by checking the adherence of the SCL file to specifications of the standard. Our proposed SCL validation algorithm consists of schema validation and other functionalities including information model validation using UML data model, the Vendor Defined Extension model validation, the User Defined Rule validation and the IED Engineering Table (IET) consistency validation. It also integrates the standard UCAIUG (Utility Communication Architecture International Users Group) Procedure validation for quality assurance testing. Our proposed algorithm is not only flexible and efficient in terms of ensuring interoperable functionality of tested devices, it is also convenient for use by system integrators and test engineers.