• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.6
• /
• pp.744-751
• /
• 2016

Interoperability tests are required to determine whether network-based defense systems successfully share and exchange certain services, information, and data. We must examine various aspects of interoperability. The DITA (Defense Information Technical stAndard) is the basis for interoperability. However, DITA is being applied to the defense system in a state that the standard test methods and procedures are not established. And there is no test method and procedure of the DITA well applicable to military weapons systems or information systems. Therefore, in this paper, we propose a framework that includes procedures, methodologies, so as to test whether a standard is applied to the DITA in terms of Standard Conformance Test.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

• Proceedings of the KSRS Conference
• /
• 2005.10a
• /
• pp.329-332
• /
• 2005

In order to provide the reliable service and contents to telematics service user, any service server must be tested and verified before launching its service in sufficient. In this paper, we proposed a test framework for telematics server. The proposed framework includes conformance test of server, interoperability test between telematics service server and telematics terminal. The framework proposed the concept and test model for two categories of testing.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.4
• /
• pp.116-124
• /
• 2007

As NCW has appeared, the importance of interoperability in modern warfare has been also increased. Korean Defense has constructed and used the Systems Interoperability Test & Evaluation System based on LISI, in order to increase interoperability between Defense Information Systems. However, its evaluating targets are limited to only the information systems, so that it is difficult to apply it to weapon systems. This paper proposes an integrated interoperability assessment framework for korean embedded software of weapon systems based on reviewing the limitations of SITES and the other interoperability assessment models.

• Journal of KIISE:Software and Applications
• /
• v.31 no.4
• /
• pp.394-402
• /
• 2004

When two or more entities interact with each other as when they collaborate or communicate, the degree of correctness of the interactions is called interoperability. In software, the necessity of interoperability testing arises when we build a software system in which multiple interacting software entities are employed to perform the function or task of the system. These days as software is more and more being used to solve complex problems and through networking functions of software can be distributed to provide abundant services, the more the interoperability testing becomes important. This paper provides the framework and methodology for interoperability testing by discussing the fundamental concepts and principles that underlie interoperability and interoperability testing and the approaches for practicing interoperability testing.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2091-2101
• /
• 1998

Interoperability(lOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss dcvclOlJing an interoperabiiity testing(IOPT) method. As is easily gueOisecl from conformance testing and formal verification. state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.6
• /
• pp.467-475
• /
• 2010

Due to the needs of design optimization and productivity for modernized Korean traditional house, standardization of Korean traditional building components is proceeding by BIM (Building Information Modeling). Currently, most of BIM software support object-based parametric modeling. By means of parameterized Korean traditional building components, the shape and assembly relation can be controlled. Although IFC(ISO/PAS 16739), which is an international standard in the AEC field, has been developed for information exchange among BIM software, IFC and other existing common data formats cannot be exchangeable parametric information. For the exchangeable parametric information within IFC, the authors defined meta-data by using Pset(Property-Set). The authors analyzed results about interoperability test in Revit $Architecture^{TM}$, $ArchiCAD^{TM}$ and Digital $Project^{TM}$. In order to solve found problems, the authors developed a translator to improve interoperability among BIM software.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.11
• /
• pp.1414-1428
• /
• 1999

ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.11-12
• /
• 2007

In order to verify a digital substation based on IEC 61850, KEPRI in charge of POWER IT project related to SAS has constructed IED conformance testing system, which consists of HMI, IED (Intelligent Electronic Device), network equipment, V/I generator, and performed the interoperability test between two IEDs made by other vendors. The test was proceeded based on SCL and with system integrated tools

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.674-677
• /
• 2008

The Architecture, engineering, & construction (AEC) industry domains have grown more complex and larger, BIM is a digital representation of a building to facilitate the exchange and development of construction information integration and interoperability. Industry Foundation Classes (IFCs), under development by International Alliance for Interoperability (IAI), represent the part of buildings or elements of a process. IFC has been adopted as a central information repository in order to deliver integrated building information. Other BIM software could open the IFC file, recognize standard objects such as walls, window, and doors as building components. The IFC standard is generally agreed to be of high quality and is widely implemented in software. However, sometimes, information distortion or information toss occurrs during information exchang. The IAI Model Support Group (IAI-MSG) offers the opportunity to certify IFC-compliant applications based on a structuralized approach. However, IFC interoperability error also have occurred by using certificated tools. As project participants exchange BIM information by using BIM software they will need a reliable and efficient exchange of information. In this paper, previous interoperability tests were analyzed, and we propose a new concept in interoperability test.