• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.197-199
• /
• 2011

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.5
• /
• pp.259-267
• /
• 2001

칩의 집적도에 비례하여 설계검증 및 칩 제작 후의 결함점검은 갈수록 어려워지며 이러한 테스트 문제의 원초적 해결을 위하여 다양한 테스트설계 기술이 널리 개발되고 있다. 상위 수준의 테스트설계에서는 회로의 기능에 대해서는 알 수 있으나 구조에 대해서는 알 수 없고, 하위 수준의 테스트설계에서는 회로의 구조를 알 수 있으나 기능은 알 수 없다. 따라서 테스트 설계는 기능을 기술하는 상위 수준에서부터 고려되어 하위 게이트수준에서 스캔플립플롭을 선택하여야 최적화된 성능을 얻을 수 있다. 본 논문에서는 테스트용이도를 증진시키기 위해, 상위수준의 기능정보에 대해서는 테스트점을 삽입하여 제어흐름(control flow)을 변경하고, 상위 수준의 합성 후에 하위 수준에서 스캔플립플롭을 선택하여 다시 합성하는 상위.하위 수준에서 통합된 테스트 합성 기술을 제안한다. 실험결과 통합된 테스트 합성 기술이 대부분의 벤치마크 회로에서 높은 고장검출율을 보여주고 있다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.8
• /
• pp.348-366
• /
• 2007

Capacity of modem storage devices is becoming larger than yesterday and integration of disk is increasing. It refers that physical errors can damage a lot of digital information on storage devices. So we propose file system test framework in this paper to test integrity and robustness of file systems. We develop the tool for generating bad sectors on disks and the tool which creates all physical errors defined in storage devices. We also develop the tool for immediately monitoring the condition of read and write execution on storage devices. So, by integrating those tools, we develop FORT, test framework for confirming robustness of file system. We analyze robustness of ext3 file systems by FORT. Lastly, we present draft of intelligent system merging file system and device driver's layer architecture.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.209-211
• /
• 2022

우리나라 R-Mode(Ranging Mode) 항법시스템은 국제해사기구(IMO, International Maritime Organization)에서 요구하는 항구 입출항용 항법 요구성능(정밀도 10m)을 만족하도록 개발을 진행하고 있다. R-Mode 항법시스템은 위성국 송출을 기반으로 하는 GPS와 달리 지상국 송출을 기반으로 한다. 또한 신호가 세기가 높아서 의도적 전파간섭이 어려우므로 국제해사기구가 요구하는 강인한 PNT(Resilient PNT) 시스템에 적합한 것으로 평가받고 있다. 이러한 요구조건과 기회신호(SoOp, Signal of Opportunity)의 국내 환경에 맞추어 중파(MF, Middle Frequency) 및 초단파(VHF, Very High Frequency)를 이용하는 항법시스템을 개발하고 있다. 해양수산부의 지원으로 2020년에 착수하여 4국의 중파 R-Mode 송신국과 3국의 초단파 VDES R-Mode 송신국 구축을 진행하고 있다. 항법 성능을 확보하기 위하여 R-Mode 보정시스템과 R-Mode 감시시스템을 구축하였다. 해양에서 R-Mode 항법시스템의 성능을 검증하기 위하여 중파 R-Mode 수신기, VDES R-Mode 수신기 및 이를 포함하는 통합항법수신기를 함께 개발하고 있다. 항법 송신기 및 수신기의 성능 검증을 위한 테스트베드는 기존의 지상파 항법(eLoran) 서비스 영역, 중파 R-Mode 서비스 영역 및 주요 항만 등을 고려하여 충청남도 서산시 대산항 지역으로 선정하였다. 보정국 및 감시국을 포함하는 테스트베드 기지국은 대산항에 설치하여 운영을 시작하였다. 테스트베드 실해역 시험을 통한 성능 검증은 2023년 상반기에 진행될 계획이다.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.471-478
• /
• 2013

This paper proposes a black-box based test case generation method for Simulink/Stateflow model utilizing the RRT algorithm which is a method to efficiently solve the path planning for complicated systems. The proposed method in the paper tries to solve the reachability problem with the RRT algorithm, which has to be solved for black-box based test case generations. A major problem of the RRT based test case generation algorithms is that the cost such as running time and required memory size is too much for complicated Stateflow model. The typical RRT algorithm expands rapidly-exploring random tree (RRT) in a single state space. But the proposed method expands it in dynamic state space based on the state of Simulink model, consequently reducing the cost. In the paper, a new definition of RRT state space, a distance measure and a test case generation algorithm are proposed. The performance of proposed method is verified through the experiment against Stateflow model.

• Journal of IKEEE
• /
• v.15 no.1
• /
• pp.86-95
• /
• 2011

In this paper, we propose a testbed system for the crisis management system of the power grid(CMS-PG) using satellite communication network. For the verification of CMS-PG, the proposed system composed of the simulator of satellite communication network and the simulator of phase measurement unit. Proposed satellite communication simulator can evaluate the delay and the robustness of the communication according to the rainfall and the humidity of local site. And the proposed simulator can calculates the voltage stability by hardware implementation using FPGA. Using the proposed testbed system, we adapted its function of crisis management system for the conventional power grid.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.3 no.3
• /
• pp.257-268
• /
• 2005

In this paper, a prototype of the Bridge-Transported Servo Manipulator (BTSM) system is introduced, which has been developed to do operation and maintenance jobs remotely in a hot cell. The system consists of a telescopic transporter, a slave arm, a master arm, and a control system. Several tests such as a positional tracking, a weight handling, reliability, and operability have been performed and test results are presented. Based on the test results, an upgraded system which will be used during demonstrations of the advanced spent fuel conditioning process (ACP) has been designed.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• 한국IT서비스학회:학술대회논문집
• /
• 2007.11a
• /
• pp.437-440
• /
• 2007

비즈니스 프로세스를 반영하는 엔터프라이즈 시스템 구현에 SOA가 주목받고 있다. 최근 많은 기업들에서 기존의 시스템을 SOA로 재구축하거나, 새로운 기능들 SOA기반으로 구축하려는 움직임이 활발하다. 그러나 이러한 프로젝트들이 현실적으로 실제 시스템으로 사용되기 어려운 점은 그에 대한 시험방법의 부재이다. 서비스 단위 테스트는 기존의 구현 코드 기반 또는 블랙박스 테스트 방법으로 접근 가능하나, 서비스들의 통합 테스트는 기존의 방법 적용과 더불어 SOA의 서비스 연결 개념을 정확하게 반영해야 할 필요가 있다. 서비스의 일대일 통합이 아닌, 전반적인 서비스들의 연결 구조를 분석하여 서비스 연결 부분에 대한 테스트 방만을 도출하여야 한다. 본 논문은 고 시작으로서 SOA 패러다임을 적용한 서비스 연결 구조를 분석하는 방법을 제안한다. 이는 SOA가 주장하는 비즈니스 프로세스와 어플리케이션 로직과의 분리와 서비스들 사이의 느슨한 연결 규칙을 준수하는 연결구조를 대상으로 한다.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• pp.253-255
• /
• 2008

병합장치(merging unit: MU)는 변류기(CT)와 변성기(VT)로부터 계측된 전류와 전압을 이더넷을 통해 샘플값(sampled value: SV) 메시지를 전송하는 IED이다. 본 논문에서는 병합장치(MU)의 통신 성능 테스트하기 위한 시스템을 구축하는 방법을 제시하였다. RTDS를 이용하여 계통을 모의하고 샘플값 메시지를 지원하는 과전류계전(OCR) IED를 구축 한 후 계통에 모의 고장을 통해 CB를 동작시킴으로서 성능을 확인하였다. 또한 상용 IED를 연결하여 CB 동작 테스트를 통해 구축한 통신 테스트 시스템의 상호운용성을 확인하였다.