• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.147-156
• /
• 2010

임베디드 소프트웨어의 적합성 테스트는 소프트웨어의 기능이 명세를 따라 정확히 구현되었는지 검사하는 것이다. 적합성 테스트에서 테스트 시나리오는 소프트웨어의 전체 기능을 테스트할 수 있도록 추출되어야 한다. 일반적으로 테스트 시나리오는 단순히 전체의 기능들을 한 번씩 테스트해 보는데 초점이 맞춰져 있다. 하지만 테스트 시나리오는 테스트 수행의 효율성을 고려할 필요가 있다. 이 연구에서는 각 함수들을 테스트하는데 걸리는 시간과 사용자 입력으로 인해 발생하는 대기 시간을 고려하여 최적화된 테스트 시나리오를 추출하는 기법을 제안한다. 테스트 시나리오를 추출하기 위해 상태 머신 다이어그램과 테스트 케이스를 바탕으로 그래프 형태의 테스트 모델을 생성한다. 테스트 모델에는 테스트 수행 시간과 사용자 입력에 대한 정보가 포함되어 있다. 최적화된 테스트 시나리오는 테스트 모델을 기반으로 수정된 최단거리 알고리즘을 이용하여 추출한다. 제안하는 테스트 시나리오 작성 기법을 이용하면 테스트 수행 시간을 줄일 수 있고, 테스트 자동화를 향상시킬 수 있다.

• 정보처리학회논문지C
• /
• 제13C권4호
• /
• pp.435-440
• /
• 2006

XML 암호화는 주로 웹 콘텐츠를 위한 기밀성 서비스 제공에 사용되는데, 물론 응용 영역이 반드시 웹 콘텐츠로만 제한되는 것은 아니다. XML 암호화는 데이터 파일 단위로 적용될 수도 있지만, 주로 XML 문서에 부분적으로 적용되면서 다양한 암호화 범위를 지원한다. 이러한 특성으로 인해 XML 암호화는 여러 웹 애플리케이션에서 SSL/TLS, IPsec, PGP, S/MIME 등의 여타 기밀성 프로토콜보다 효율적인 수단이 될 수 있다. XML 암호화의 성공적 정착을 위해서는 구현 제품들 사이의 상호운용성이 필수적인데, 이를 위해서는 제품들이 XML 암호화 표준을 정확히 구현해야 한다. 표준적합성 시험에서는 제품들이 관련 표준을 정확히 구현하였는지를 시험한다. 본 논문에서는 XML 암호화 제품을 위한 표준적합성 시험 방법을 제시하고 구현한다. 이를 위해 먼저 W3C에서 개발된 XML 암호화 표준을 먼저 살펴보고, 적합성 시험을 위한 항목들을 도출한다. 그런 다음 시험 방법을 제안하는데, 여기에서는 암호화 기능과 복호화 기능을 분리하여 시험하는 방식을 취한다. 또한 제안된 방법을 GUI 기반의 시험 도구로 구현하여 시험 결과를 제시한다.

• 정보보호학회논문지
• /
• 제14권4호
• /
• pp.3-11
• /
• 2004

웹 상에서의 전자상거래의 활성화와 더불어 XML이 관련된 응용과 업계 표준의 기반이 되고 있으며, XML 데이터뿐만 아니라 임의의 콘텐츠에 대한 서명을 XML로 표현하여 무결성, 인증, 부인방지의 보안 기능을 제공하는 XML 전자서명에 대한 표준화가 W3C와 IETF의 공동 작업으로 수행되고 있다. 이러한 추세에 따라 XML 전자서명을 구현한 제품 개발이 증가하고 있으며, XML 전자서명을 구현한 제품은 다른 제품들 간의 상호운용성을 지원하기 위해 관련 기술 표준을 정확하게 준수하여 구현되어야 한다. 본 논문에서는 시험 절차와 시험 케이스 등을 포함하는 XML 전자서명 표준적합성 시험 방법을 제시한다. 시험 케이스들은 XML 서명 표준을 분석하여 도출되었으며, 본 논문에서 제시된 시험 방법을 구현한 XML 표준적합성 시험 도구의 설계와 용법을 설명한다.

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제7권7호
• /
• pp.691-700
• /
• 2017

스포츠이벤트는 스포츠 산업의 핵심 상품으로 관련 비즈니스 규모는 꾸준히 증가하고 있다. 그러나 스포츠 이벤트의 관리의 측면에서 스포츠 이벤트를 통해 생성된 지식과 경험은 비효율적이고 비체계적으로 관리되고 있다. 이러한 이유로 스포츠 이벤트의 유치, 준비와 운영 과정에서 불필요한 자원의 낭비와 시행착오가 반복되곤 한다. 이 연구는 스포츠 이벤트 관리 프로세스를 개발하고 적합성을 평가하는 데 그 목적이 있다. 이 연구에서는 스포츠이벤트의 핵심 프로세스를 단계별로 개발한 뒤 설계된 업무 프로세스의 적합성 평가를 위해 유사한 환경의 시범대회를 선정하여 설계 된 프로세스를 적용 및 평가하였다. 적용 평가의 대상 기능영역은 등록, 숙박, 수송, 방송, 식음료의 5개 FA이며 이 중 63개의 액티비티를 선정하여 적합성 분석을 실행하였다. 프로세스 모델링 방법으로는 IDEF(IDEF; Integration Definition)방법을 사용하였다. 적합성 평가는 퍼지이론에 기반한 프로세스 마이닝 기법을 사용하였고, 프로세스 마이닝 도구로는 ProM을 활용하였다.

• 전기전자학회논문지
• /
• 제27권4호
• /
• pp.668-678
• /
• 2023

FlexRay는 차량 내 네트워크(In-Vehicle Network)로 최대 2개의 채널로 각 채널당 최대 10Mbps 전송 속도를 가진다. FlexRay는 TDMA(Time Division Multiple Access)와 FTDMA(Flexible Time division Multiple Access) 방식을 사용하여 효율적으로 데이터를 전송하면서도 실시간 통신을 보장하기 때문에 파워트레인 등 안전성이 필수적인 차량 모듈의 실시간 전자 제어에 사용된다. 본 논문에서는 ISO 17458 표준과 FlexRay 컨소시엄 문서를 바탕으로 FlexRay의 프로토콜(Protocol), 시간 계층(Time Hierarchy), 메시지 프레임(Message Frame), 커뮤니케이션 컨트롤러(Communication Controller), 적합성 시험(Conformance Test)에 대해 자세히 설명한다.

• 조명전기설비학회논문지
• /
• 제23권8호
• /
• pp.41-47
• /
• 2009

디지털 기술 기반의 차세대 변전시스템과 관련하여 프로세스 버스까지 확장된 변전자동화시스템 구현에 관한 연구가 국내외에서 활발히 진행 중에 있다. 특히 IEC 61850 국제 규격이 적용된 머징유닛(Merging Unit)은 프로세스 기반 변전자동화시스템의 핵심 구성요소로 그 관심이 매우 크다. 본 논문에서는 변전소의 CT와 VT를 통합 전압 전류의 값을 IEC 61850 기반의 디지털 값인 SV(Sampled Value)로 변환하여 보내는 머징유닛의 기능과 통신서비스에 대한 적합성 성능 검증에 대한 방안을 제시하고 머징유닛을 시험할 수 있는 시험시스템을 보여주고자 한다.

• 한국전자통신학회논문지
• /
• 제15권3호
• /
• pp.389-396
• /
• 2020

좋은 품질의 제품을 얻기 위해서는 제품 자체에 대한 품질 적합성 검사 이전에 생산 및 시험 관련 설비에 대한 적절한 검증이 반드시 선행되어야 한다. 다양한 생산 및 시험 관련 설비 중에서도 ATE는 오늘날 자동차산업, 항공·우주산업, 반도체산업과 같은 민간분야 뿐만 아니라, 방위산업의 군수품 생산 및 성능시험에도 활발히 사용되고 있다. 본 논문은 다양한 방법을 활용하여 군용 FM 무전기 세트의 자동시험장비 인 ATS에 대해 체계적으로 설계 적합성 검증을 실시 한 결과를 다루고 있으며, 군수품 ATE에 대한 설계 적합성 검증 절차가 명문화 되어있지 않은 현 시점에 좋은 참고자료가 될 것으로 기대된다.

• 한국통신학회논문지
• /
• 제18권9호
• /
• pp.1395-1403
• /
• 1993

프로토콜의 적합성시험은 컴퓨터 통신에서 상호운용성과 비용의 효율성을 높이기 위해서 매우 중요하다. 적합성 시험은 구현된 내용이 프로토콜 규격에 적합하게 구현되었는지를 검사하는 것으로, 그것의 효율성과 오류검출능력은 시험 항목의 생성방법에 의해서 결정된다. 프로토콜이 유한상태기계로 표현될때 한상태에 여러개의 UIO(Unique Input Output)순서들이 존재할 수 있으므로 이들중 가장 적합한 순서를 선정함으로서 시험 길이를 최소화 할 수 있다. 따라서 본 논문은 시험 길이를 최소화하기 위해서 여러개의 UIO순서들간에 존재하는 최대중복성을 찾기 위한 알고리즘을 깊이트리를 이용하여 구성하였고, 이 알고리즘을 이용하여 최소길이의 시험 순서를 생성하는 예를 보여주었다.

• 한국통신학회논문지
• /
• 제23권9A호
• /
• pp.2383-2390
• /
• 1998

As network provides diverse functionalities recently, many rpotocol standards have become complex and many implementations have appeared. Such trends require us to test th econformance of implementations, called the conformance testing. Many researches have been performed on generating test sequence and on fualt masking base don T,U,D,W methods. At this jpoint, te new problem is suggeste dwhich is calle dthe completenes s criteria. The test sequences for the conformance testing have come up with this problem as well as fault masking. In this paper, we suggest the method of generating the preverified test sequence which can avoid the completeness criteria problem. The preverified test sequence is much more reliable than others by using the preverified edge. For the reliability of conformance testing, we define the immunity of the test sequence and provide the clue for the analysis of the test results using the immunity. The analysis of the results makes it possible for us to test the implementation again with more reliability. Also, the preverified test sequence is flexible so that it is combined with the fault-tolerant sequence for fault masking.

• 한국통신학회논문지
• /
• 제25권6B호
• /
• pp.1060-1067
• /
• 2000

MPEG-4 영상압축 방식은 객체지향적이다. 기존의 H.261, MPEG-1, MPEG-2에서 화면 전체를 부호화 해주는 것과 달리 MPEG-4에서는 한 화면을 물체, 배경 등 여러 객체들로 나누어 각각의 객체를 따로 부호화한다. 이렇게 전송된 객체들은 수신 단말기에서 다시 합성하여 완성된 화면으로 보여준다. MPEG-4의 형상 부호화는 화면에서 visual 객체에 해당하는 부분만을 부호화 해주는 부분이다. 본 논문에서는 MPEG-4 디코더가 형상 복호화의 표준 규격을 따르는지를 시험하는 방법을 제안한다. 본 논문은 BAB type을 결정하는 mode 복호화의 모든 경우와 Context-based Arithmetic 복호화의 Context computation에 대한 모든 경우에 대해 확인하는 방법을 제안하였다.