• Journal of KIISE:Computer Systems and Theory
• /
• v.30 no.2
• /
• pp.99-107
• /
• 2003

This paper proposes a design for testability (DFT) and testability analysis method for register-transfer level (RTL) circuits. The proposed method executes testability analysis - controllability and observability - on the RTL circuit and determines the insertion points to enhance the testability. Then with the associated priority based on the testability, we insert only a few of the test multiplexers resulting in minimized area overhead. Experimental results shows a higher fault coverage and a shorter test generation time than the scan method. Also, the proposed method takes a shorter test application time required.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.5 s.37
• /
• pp.49-56
• /
• 2005

Reuse of software is the process of developing software system which does not develop all modules newly but construct system by using existing software modules. Object oriented concept introduces dynamic binding and polymorphism, which increases number of executable Paths. In this case static analysis of source code is not useful to find executable path. These concepts occur new Problems in retesting. Tradition testing method can not cover complex relations such as inheritance, message Passing and instance of and can not apply on object oriented retesting. we propose the method to reduce the number of methods and classes to be retested in associated class relation.

• Aerospace Engineering and Technology
• /
• v.12 no.2
• /
• pp.173-179
• /
• 2013

This paper describes a testbed that was designed and implemented for the development of KSLV-II onboard equipment simulator. It used the CPCI-based industrial hardware system for scalability and the QNX real-time operating system for reliability and real-time simulation. In addition, a real-time application under QNX for function simulations of the KSLV-I PDU was developed and it was verified through interface experiments with KSLV-I upper-stage test equipment. The implemented simulator testbed will be used to verify the development feasibility in the design and development phase of a real KSLV-II onboard equipment simulator.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.2223-2231
• /
• 2010

Recently, an important physical device of transportation, such as car, railroad, ship and aircraft has changed into electronic control unit. According to accident reports, the most of car accidents are caused by faults of embedded software loaded to computer control unit. The facts implies that the test to find defects in embedded software haven't performed sufficiently. As a result, it is necessary to establish the test procedures of embedded software based on safety assessment criteria. The objective of this proposal is to provide a unit test procedure complied with the safety assessment criteria for the embedded software. In addition, an effective unit testing procedure and defect analysis methods are proposed and a testing procedure using a safety criteria built-in tool is presented.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10b
• /
• pp.1459-1462
• /
• 2001

혼성 신호 회로의 설계에 있어 저비용의 고효율 테스트 효율을 보장하기 위해 테스트의 노력은 계속되어 왔다. 특히 테스트를 고려한 BIST(built-in-self-test)설계 방법으로 발전해가고 있는 추세인데, 회로상에서 전체적인 테스트 용이도와 분석에 있어 보다 향상된 방법으로 접근할 수 있고 이러한 시스템에 대해 분석하는데 수월하게 할 수도 있다. 이 논문에서는 효과적인 테스트를 위한 방법을 위해 전압 검출기를 이용한 기준 전압 DC 테스트로써 테스트시간을 감소시키고 효과적인 고장 검출률을 갖는 BIST를 구현하는 것을 제안하였다. 즉 정상적인 회로와 고장회로에서의 동작에서 전압의 파이를 검출하는 회로를 하드웨어상으로 구성함으로써 비용과 시간등을 효과적으로 줄이는 방법을 제안하였다. 실험 결과에서는 기존의 BIST와 비교하여 향상된 것을 나타낸다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06c
• /
• pp.566-570
• /
• 2010

최근에는 스마트 폰의 저변이 확대되면서, 보안 취약성에 대한 많은 문제점이 새롭게 등장하고 있다. 스마트 폰 프로그램은 PC 환경에서 실행되는 프로그램과는 달리, 배포가 이루어진 이후에 소프트웨어 업데이트 등의 방법으로 보안 취약성을 제거하는 것이 매우 어려운 특징이 있다. 기존의 테스트 방법론은 스마트 폰의 특성에 대한 고려가 없기 때문에 스마트 폰을 위한 테스트 방법론과 함께 이를 위한 동적 테스트 도구에 대한 연구가 필요하다. 본 논문에서는 이벤트 구동 방식으로 동작하는 스마트 폰 프로그램의 특징을 고려한 동적 테스트 도구를 설계한다. 테스트 도구는 컴파일러 이론을 적용하여 체계적으로 설계 한다. 제안한 도구는 테스트 케이스 생성기와 테스팅 시스템으로 구성되며, 이벤트 구동 방식으로 동작하는 소프트웨어의 취약성 검출 자동화 도구로 활용할 수 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.593-594
• /
• 2020

본 논문은 급격하게 발전하는 IT기술의 발전과 그로 인한 기업들의 경쟁 속에서 수 많은 프로젝트들이 생성되는 현대 사회에서 이런 프로젝트들이 경쟁에서 이길 수 있도록 프로젝트가 빠르고 완성도 있게 만들어질 필요를 느끼고 기존의 프로젝트 개발 방법론과 테스트 설계 방법론 중 V모델을 연구해서 프로젝트 관리 시스템에 등록된 데이터를 기반으로 테스트가 자동 설계될 수 있게 함으로써 프로젝트 전체 기간을 줄이고 프로젝트 비용을 줄일 수 있는 방법을 제안한다. 이 논문에서 제안하는 모델을 확장시켜서 프로젝트 테스트 관리에 불필요한 설계 시간과 테스트 관리에 수월할 것이라 기대한다.

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

전 세계적으로 자율운항선박 관련 연구가 활발히 수행되고 있으며, 자율운항선박 관련 개발 기술에 대한 시험평가 기술의 개발도 그 필요성이 부각되고 있다. 이와 같은 자율운항선박 관련 개발 기술에 대한 시험평가와 관련하여 현재 다부처사업으로 진행 중인 자율운항선박 기술개발사업에서는 자율운항선박에 탑재되는 장비 또는 알고리즘의 성능을 검증하기 위한 플랫폼으로 시뮬레이션 기반 테스트베드(Simulation-based testbed for autonomous ship, S-TAS)를 개발하고 있다. 본 연구에서는 시뮬레이션 기반 테스트베드의 활용을 위하여 자율운항시스템 구성요소 중 안전운항시스템과 경제운항시스템을 검증하기 위한 시뮬레이션 기반 시나리오 운용기능을 설계하였으며, 향후 개발되는 자율운항시스템을 위한 시나리오 운용 기술의 개발 및 연구를 수행할 예정이다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.10 no.5
• /
• pp.240-249
• /
• 1985

This paper proposes the requirements of protocol testing, the protocol test methods and the architecture of PTF. Also this paper includes the test sequences and the test results for X.25 DTE packet level protocol.