• 한국멀티미디어학회논문지
• /
• 제8권8호
• /
• pp.1119-1133
• /
• 2005

프로토콜 명세의 검정과 적합성시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 LTS(Labeled Transition System)로 명세화된 프로토콜 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지에 대한 검사를 실험적으로 증명하는 도구를 구현하였다. 구현된 프로토콜 검정기는 modal mu-calculus를 사용하여 modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 UIO(Unique Input Output) 방법에 의해 유일한 입출력열을 이용하여 이끌어낸 결과 시퀀스가 구현에 대해 올바른지를 검사하는 적합성시험 계열 생성도구를 개발하였으며, 개발된 도구는 Windows NT 환경하에서 C++ 언어를 이용하여 구현되었다.

• 전자공학회논문지CI
• /
• 제45권5호
• /
• pp.201-208
• /
• 2008

능동형 RFID 시스템은 금속재질에 취약한 수동형의 단점을 극복하는 동시에 인식거리가 길고, 인식률이 좋아 항만물류나 국방 분야에서 사용이 확대되고 있다. 하지만 동일한 표준으로 개발된 제품의 서로 간에 인식이 불가능한 사례가 보고되고 있으며, 국제적으로 정확한 평가방법 및 장치가 정립되지 않아 개발된 제품들 간의 상호 운용성 및 표준 적합성 평가에 대한 어려움이 존재한다. 본 논문에서는 능동형 RFID 시스템의 적합성 평가를 위한 에뮬레이터의 하드웨어 및 소프트웨어를 설계하고 제작하였다. 설계된 장치는 Matlab의 Simulink를 통한 시뮬레이션으로 성능을 분석하였고, 실제 능동형 RFID 태그의 표준 적합성 평가를 통해 에뮬레이터의 적용 가능성을 검증하였다.

• 한국ITS학회 논문지
• /
• 제7권5호
• /
• pp.147-158
• /
• 2008

ITS 근거법인 교통체계효율화법의 제정으로 ITS시스템이 활발히 구축, 개발되고 있다. 하지만 교통정보시스템의 상호 연계성을 고려하지 않아 교통정보서비스의 통합을 위한 활성화를 유도하지 못하였고, 이에 따라 국토해양부에서는 ITS 기술기준을 제정 고시하였다. 이에 본 연구에서는 센터와 단말기간의 정보교환에 대한 기본교통정보교환 기술기준 II 에 대하여 적합성 시험에 관한 연구를 실시하였다. 기술기준에 고시된 통신절차 분석을 수행하여 시험 항목을 정보요청시험과 정보제공시험으로 구분하였으며, 각 항목별로 세부시험 시나리오를 구성하였다 이에 대한 시험평가는 정보교환절차의 적합성과 데이터패킷 메시지의 정확도 등으로 구성하였으며, 기 제정된 기술기준에 의거하여 시험 횟수는 각 세부항목별 30회, 성공률은 95%를 기준으로 하였다. 본 연구는 ITS기술기준에 대한 적합성시험방법을 연구하여 국내 ITS시스템의 교통정보통합관리에 기여함을 목적으로 한다.

• 정보보호학회논문지
• /
• 제16권3호
• /
• pp.129-141
• /
• 2006

본 논문은 BioAPI(Biometric Application Programming Interface) v2.0 기반의 BSP(Biometric Service Provider) 표준 적합성 시험 도구의 설계 및 구현을 목적으로 한다. 제안한 BioAPI 적합성 시험 도구는 프레임워크(Framework) 없이 독립적으로 BSP를 시험할 수 있으며, 향후 XML 형태의 Test Assertion을 이용할 수 있도록 테스트 스케줄링 툴을 구현하였다. 또한 적합성시험 도구를 검증하기 위해 상용 지문 인식 검증(verification) 및 식별(identification) BSP를 이용하여 실험을 수행하였다. 이에 따라 BioAPI v2.0을 기반으로 한 BSP들이 요구사항에 적합하게 개발되었는지를 판단 할 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.588-590
• /
• 2003

지난 2001년 7월 제정된 한국전자책문서표준 EBKS(Electronic Book of Korea Standard) 1.0은 지난 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 한국전자책 표준문서형 정의, 규격번호 KS X 6100으로 제정되었다. 따라서 KS X 6100을 사용하는 전자책 문서들은 표준의 목적과 명세에 대한 부합 여부를 판별하기 위한 적합성 검사 및 이에 기반한 인증 절차가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 적합성 검사 기법(Conformance Testing Methodology)을 제안하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 저작자들은 전자책표준의 목적과 명세에 보다 적함한 전자책문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 기법을 통한 자동화된 적합성 검사 절차를 사용하여 효율적인 적합성 검사가 가능하다.

• 산업공학
• /
• 제17권2호
• /
• pp.149-157
• /
• 2004

This paper considers a conformity testing problem on EJB(Enterprise JavaBeans). The EJB architecture is a component architecture for the development and deployment of component-based distributed business applications. The objective is to find an optimal test sequence for the conformity test between the EJB specification and an implemented one. For the test sequence, we formulate the problem as a rural Chinese postman tour one and use a linear programming formulation. Based upon the formulations, we suggest a conformance test procedure and show its efficiency by applying the procedure to the CMP(Container- Managed persistency) entity bean of the EJB.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 D
• /
• pp.2583-2585
• /
• 2004

90년대 후반부터 웹 기반 수업(Web-based instruction)이라 하여 인터넷을 이용한 새로운 교육방법이 시도되기 시작하여 현재는 IEEE, AICC, IMS 등의 여러 e-Learning 표준안에 종합적으로 수렴하는 형태인 SCORM을 ADL에서 발표하면서 SCORM을 기준으로 다양한 컨텐츠들이 개발되고 있다. 이런 컨텐츠들은 기술적인 면에 있어서 방대한 정보들을 다루고 있지만 e-Learning 표준안인 SCORM에 따랐는지 (SCORM 표준안에 맞게 설계가 되었는지)를 확인해 볼 필요가 있기 때문에 ADL에서 SCORM conformance를 체크하기 위한 test suite를 제안하였다. 이 test suite는 사용자가 컨텐츠를 생성할 때 필요한 중요한 정보들을 구조화하여 사용자로 하여금 편리성을 느끼도록 하였지만 다른 세부적인 문제들이 표출되고 있어 본 논문에서는 이를 개선하기 위한 제안을 하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.19-20
• /
• 2008

IEC 61850 is a new approach international standard which is applicable to Substation Automation System (SAS) and defines the communication between intelligent electric devices (IEDs) in the substation and the related system requirements. It already has a significant impact on the development of different devices or systems used in substation. Conformance claims and the establishment of their validity are important parts of the acceptance of systems and equipment. This paper introduces the conformance testing, mapping of IEC 61850 services and MMS services, and in case study part it gives the example of testing OCR IED.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1445-1448
• /
• 2005

실시간 시스템은 높은 수준의 안정성을 요구하는 시스템이다. 실시간 시스템에서 오류는 잘못된 응답 뿐만 아니라 시간적으로 늦은 응답도 오류를 발생 시킬 수 있다. 따라서 실시간 시스템의 안정성을 보장해 주기 위해서 실시간 태스크의 시간 제약에 대한 모니터링 및 오류발생 시에 오류를 처리해 줄 수 있는 기법이 필요하다. 본 논문은 Timed Conformance Monitor를 통해서 실시간 태스크가 시간의 제약을 만족하는지를 분석하고 또한 분석 결과에 따라 오류를 처리할 수 있는 Fault Handler를 추가하여 실시간 시스템에 대한 Fault Tolerance를 보장해 줄 수 있는 기법을 제시한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(III)
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.