• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.2206-2207
• /
• 2011

컴퓨터 통신기술 발달에 따라 철도의 열차제어에 대한 기술도 기존의 궤도회로기반에서 무선통신기반으로 변화되고 있다. 국내에서도 도시철도용 무선통신기반 열차제어시스템의 개발이 진행됨에 따른 개발품의 성능평가에 대한 관심이 높아지고 있다. 따라서 본 논문에서는 새롭게 개발되는 무선통신기반 열차제어시스템의 성능평가를 위해 성능시험 항목의 선정과 현장에서의 시험을 위한 시험선로 지상 및 차상인프라 구축에 대한 기본적인 검토를 기반으로 시험 및 성능평가 시행의 종합기본계획을 수립하는 검토를 수행하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.3
• /
• pp.9-15
• /
• 2003

IEEE1394 standard supports both isochronous and asynchronous data transmission, thus enabling high-speed data exchange between PC and networked home electronic devices. This paper describes an implementation of Test Bed for Linux based IEEE1394 communication test. In this paper, An integrated Software was developed to test IEEE1394 communication environment. To develop the software, open source software(gscanbus,dvgrab, playdv, Xine, Kino) for the Linux environment was investigated and integrated. It was tested such as the communication among the devices, asynchronous date transmission, isochronous data transmission, and its result was successful. This integrated software has the potential to become efficient test tool for the futher development of networked home electronic devices and multimedia services.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1333-1344
• /
• 1998

In comparison to traditional monolithic kernel, the microkernel based operating system has slower speed. But Microkernel based OS suites for multi-computer system, because It has benefits in the modularity and portability point of view. Each unit and memory of a processor must be initialized by using the boot information so that the multi-computer system OS can actively run the function of the system. This paper describes the microkernel initialization of OSF/1 AD3 MISIX that is based on OSF/1 AD3 for SPAX. It will introduce the initialization of microkernel for the SPAX which is High-speed Parallel Processing system in terms of Boot, Initialization related hardware and memory address space construction. This paper will also state the test result based on test environments. Microkernel tested in single node system that has 4 processors.

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

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1398-1400
• /
• 2011

2000년 초에 PC간 인터넷을 통한 음성통화를 시작으로 최근에는 스마트폰의 전용 애플리케이션까지 VoIP 기반의 음성통화 서비스가 발전해왔다. 이에 따라, VoIP를 통한 외부 공격 및 침입에 대한 사례가 발생되고 이를 해결하기 위한 보안 소프트웨어들이 나오기 시작하였다. 일반적으로 VoIP기반의 소프트웨어에 대한 품질 기준은 사용자의 통화품질이 최우선 이었다. 하지만, GS시험.인증 과정을 통해 VoIP 보안 소프트웨어가 통화품질에는 직접적인 영향을 미치지는 않지만 전체 운영 시스템에 미치는 영향을 확인하고, 시험 중 발생한 문제에 대한 해결 방안 제시를 통해 VoIP의 품질을 향상시킬 수 있었다.

• KIPS Transactions on Software and Data Engineering
• /
• v.11 no.6
• /
• pp.267-272
• /
• 2022

Online exams are not limited by time and space. It has the advantage that it does not require a separate exam site for examinees, and there is no time and cost required to move to the exam site. However, the online exam has the disadvantage that various cheating is possible because the exam is conducted in an individual environment. In addition, there is a difficulty in detecting cheating due to the lack of exam supervision methods. In addition, since the exam process and result data exist only as digital data, it is inconvenient to check directly on the server where the exam result is stored in order to check whether the exam result is forged or not. If the data related to the exam is maliciously changed, the authenticity cannot be verified. In this study, we tried to increase the reliability of the online exam by developing a blockchain-based online exam cheating detection system that stores exam progress-related data in the blockchain to detect cheating. Through the experiment, it was confirmed that forgery and falsification are detected as a result of the exam.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.861-862
• /
• 2009

운영체제의 기본적인 역할은 각종 컴퓨터 하드웨어들을 서로 논리적으로 연결하고 제어하는 것으로 다른역할은 응용프로그램과 컴퓨터 하드웨어를 연결해주는 역할을 한다. 본 연구에서는 운영체제 소프트웨어 분야의 기반기술 및 동향을 조사하고 표준시험환경을 구축해 보았다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1097-1100
• /
• 2001

소프트웨어 개발자로부터 독립된 소프트웨어 시험자가 수행하는 소프트웨어 시험은 소프트웨어의 안전성 향상을 위해 필요하다. 컴퓨터기반의 디지틀시스템으로 설계되는 일체형원자로 MMIS에 적용하기 위한 소프트웨어 시험 계획을 개발할 필요가 있다. 본 논문은 소프트웨어 시험 계획을 소프트웨어시험 조직 구성, 시험 문서, 시험 절차, 시험 방법을 중심으로 제시한다. 소프트웨어 시험 방법은 원시코드 정적분석과 동적시험을 구분하여 기술한다. 본 논문에서 제시된 소프트웨어 시험 계획은 원자력 규제기관에서 요구하는 소프트웨어 시험 요구사항을 만족한다. 본 논문을 통해 제시된 소프트웨어 시험 계획을 일체형원자로 MMIS 소프트웨어 개발 시 적용하여 소프트웨어 고장율 데이터를 수집할 예정이다.

• Journal of Platform Technology
• /
• v.10 no.4
• /
• pp.62-69
• /
• 2022

Flight control systems installed on unmanned aircraft require thorough verification from the design stage. This verification is made through the integrated flight control test environment. Typically, a debugger is used to monitor the internal state of a flight control computer in real time. Emulator with a real-time memory monitor and trace is relatively expensive. The JTAG Emulator is unable to operate in real time and has limitations that cannot be caught up with the processing speed of latest high-speed processors. In this paper, we describe the results of the development of internal monitoring software for drone flight control computer processors based on NUTTX/PIXHAWK. The results of this study show that the functions provided compared to commercial debugger are limited, but it can be sufficiently used to verify the flight control system using this system under limited budget.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.6
• /
• pp.211-222
• /
• 2021

Recently, frozen and refrigerated appliances on the market are being released with additional IoT functions, but there are few tests on IoT functions. In particular, the existing test system does not have IoT test items for IoT-based frozen and refrigerated appliances, making it difficult for companies to find the cause even if defects occur, and test institutions are also restricted from selecting IoT-related test items and conducting correct performance tests. In this paper, we design a test item framework that can identify product defects and identify causes in the performance test process of frozen and refrigerated products with IoT functions among products in the home appliance field, and propose test methods and management measures using them. Through the proposed research, manufacturers and testing institutions can test the correct performance of IoT-based frozen and refrigerated products, thereby enhancing the completeness and securing reliability of the products.