• 한국신뢰성학회지:신뢰성응용연구
• /
• 제9권2호
• /
• pp.107-119
• /
• 2009

Reliability tests should be designed to verify whether reliability requirements are satisfied or not effectively and efficiently. The portion of reliability requirements that a reliability test scheme composed of different types of tests can cover is defined as test coverage in software engineering. For the cases of hardwares, to be effective, a reliability test scheme should enhance the test coverage. This study is to develop an evaluation method of test coverage for a reliability test scheme proposed for new products. Case studies are also given.

• 전자공학회논문지B
• /
• 제29B권11호
• /
• pp.1-7
• /
• 1992

The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전력기술부문
• /
• pp.373-375
• /
• 2008

TTCN-3(Testing & Test Control Notation Version 3) defined in EISI(2001) are the standardized test specification and test implementation language of applicable for all kinds of black-box testing for reactive and distributed system, telecom systems, Mobile system, Internet, CORBA based system, java, XML, etc. This paper using the TTCN-3 on an Electric Power IT Protocol DLMS(Device Language Message Specification) standards for the implementation of the device equipment test the suitability of the protocol.

• 한국정보통신학회논문지
• /
• 제22권6호
• /
• pp.916-921
• /
• 2018

최근 4차산업 혁명으로 인하여 무인 이동체, 자율주행자동차, 커넥티드 카 등에 관심이 증가하고 있고, 자율주행능력도 올라가고 있다. 자율주행능력에 따라 최대 6단계로 나누어지며 높은 단계일수록 주행에 있어 사람의 관여가 줄어들고, 최고 단계에서는 사람이 관여하지 않아도 된다. 오늘날의 자율주행자동차는 4~5단계까지 개발되었지만 사고 발생 시 해결방안에 대해서는 명확하게 정의되지 않아 테스트 런만 가능한 상태이다. 이처럼 이동수단 주행 중 발생되는 사고는 거의 불가피하며 사고 발생 시 누가 더 잘못했는지 판단하여 사고에 대한 처벌을 가중한다. 이러한 부분을 명백히 하기 위하여 블랙박스를 사용하지만, 촬영된 영상을 삭제하기 쉬워 뺑소니와 같은 사고를 해결하는데 어려움이 있다. 본 논문에서는 이러한 사고를 해결하고자 블록체인을 활용한 주행기록 시스템을 설계하고자 한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.1695-1700
• /
• 2011

In this paper, we introduce the network infrastructure in an advanced emu test line in Deabul. New technology has been applied to advanced EMU(DMU, integrated broadcasting system, black box and etc). In order to efficient and safely test of new developed train, failure, operation, status of test line and weather information should be monitored in real time. We has implemented a wireless and optical network infrastructure for reliability and scalability. The wireless communication capability between a car and ground is 20Mbps and back-hole network has 50Mbps of the communication performance. The network between test tracks and control office was established in the optical network. That can improve communication reliability.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2012년도 추계학술대회
• /
• pp.495-497
• /
• 2012

의료기기 소프트웨어 테스트 위험관리 적용 방안에 대해 연구하였다. 먼저 설문조사를 통해 의료기기 제조업체의 소프트웨어 밸리데이션 및 위험관리 현황을 분석하고 두 번째로 블랙박스 테스트와 화이트 박스 테스트를 비교하여 차이점을 분석하였다. 세 번째로 소프트웨어 분석 도구를 활용한 코드 분석 후 잠재적인 위해요인을 도출하고 이를 정량화 하였으며, 마지막으로 도출된 위해요인을 FMEA 기법을 이용하여 의료기기 위험관리 프로세스에 적용할 수 있도록 프레임워크를 구축하였다. 이를 통해 의료기기 품질관리(GMP) 업무 중 소프트웨어 밸리데이션 및 위험관리 프로세스를 구축하기 어려운 제조업체를 위한 업무 지원에 활용하고자 한다.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.129-139
• /
• 2004

C4I 시스템과 같이 신뢰성이 강조되는 시스템의 개발에 있어 정형기법의 도입은 개발 과정에서 나타나는 결과물에 대한 검증을 가능케 함으로서 올바른 시스템을 개발하고 있다는 확신을 개발자와 의뢰자 모두에게 기공해준다. 본 논문은 엄밀한 검증이 필요한 컴포넌트를 설계할 때 사용될 수 있는 컴포넌트의 정형명세 기법과 이에 기반한 테스트 방법을 논한다. 특히 상태기반의 기능명세에 대해 미약선조건을 이용하여 분해하는 방법과 이 과정을 통해 생성된 하위명세에 대한 블랙박스 테스트케이스를 생성시키는 방법을 제시한다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제2권1호
• /
• pp.23-32
• /
• 2002

As the function of digital products gets diverse and complex, more than 30~40% job of software developing and testing group within its development cycle, concentrates on the software testing[1]. To cope with consumers'quickly changing needs, development cycle time gets short, and the number of model and test items increase steadily This is why automating software basic function and UI(User Interface) verification is needed [4][5][6]. This paper draws many strength and weakness defines Input/Output through integrating mobile phone, DVDP, PDA, and Black-Box (Intrusive (mobile) or Non-Intrusive(DVDP, PDA)) testing systematically, which brought above the 64% average of automation rate, and ensure 80% of test coverage [4][5][6].

• 소프트웨어공학소사이어티 논문지
• /
• 제25권1호
• /
• pp.1-9
• /
• 2012

기계장치에 내장되어 동작하는 내장 소프트웨어의 개발 환경은 일반 소프트웨어와 비교하여 불편한 점이 많다. 소프트웨어가 개발되는 장비와 동작하는 장비가 다르며 일반적으로 고가의 상용 개발도구를 필요로 한다. 본 논문은 공개 소프트웨어 도구들을 활용하여 내장 소프트웨어의 개발환경을 개선시킬 수 있는 방안을 제시한다. cross compile을 위한 GNU Compiler Collection과 Scratch box, 통합 개발 환경인 Eclipse, 원격 접속을 위한 RSE, 가상화를 위한 QEMU 등의 특징과 효과적인 활용 방법을 설명한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권2호
• /
• pp.123-132
• /
• 2003

품질 인증 테스트는 소프트웨어의 품질을 결정하고 보증하기 위하여 인증 기관에서 제품 개발 후에 수행하는 테스트로써 해당 제품의 소스 코드 없이 제품 매뉴얼의 분석을 통하여 테스트가 이루어지는 경우가 대부분이다. 본 논문에서는 제품 매뉴얼에 기반한 테스트 데이타 생성을 위하여, 소프트웨어 패키지와 매뉴얼 분석 데이타로부터 테스트 데이타를 생성하는 것을 자동화한 '테스트 데이터 자동 생성 도구'(Manual-based Automatic Test data generating tool: MaT)를 구현한다. MaT의 입력 데이타는 소프트웨어 패키지와 매뉴얼의 분석 결과인데, 입력 데이타 구성을 위하여 '메뉴 기반 테스트 분석 모델'을 제안한다. 본 도구를 소프트웨어 패키지의 품질 인증 테스트에 적용함으로써 품질과 신뢰도가 향상된 소프트웨어 제품 개발에 기여할 수 있게 된다.