• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1061-1065
• /
• 2010

최근 세계 자동차 업계는 AUTOSAR 소프트웨어 플랫폼 표준을 제정하여 소프트웨어의 신뢰성과 재사용성을 향상키고 있다. 그러나 테스트 시스템 및 테스트 프로세스의 신뢰성 확보와 테스트에 소요되는 기간 단축을 위하여 테스트의 표준화 및 자동화가 절실하다. 특히 RTE 및 베이직 소프트웨어 모듈은 표준화를 만족하는 설계 도구를 사용함으로써 최소한의 신뢰성이 보장되지만, 여전히 응용 소프트웨어 컴포넌트에 대해서는 철저한 테스트가 필요하다. 본 논문에서는 표준화된 AUTOSAR 설계 정보를 이용하여 소프트웨어 컴포넌트의 유닛 테스트를 위한 테스트 시스템의 생성 및 테스트 케이스 생성 자동화 방법을 제안하였으며, 테스트 시스템은 TTCN-3 테스트 표준을 적용하였다. 본 논문에서 제안한 방법을 적용함으로써 차량 소프트웨어의 개발 기간 단축 및 신뢰성을 향상시킬 수 있었다.

• 정보처리학회지
• /
• 제3권5호
• /
• pp.61-73
• /
• 1996

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2009년도 IWAIT
• /
• pp.404-407
• /
• 2009

Bluetooth Video Distribution Profile (VDP) defines the protocol and procedures that realize the distribution of video content compressed in a specific format for the efficient use of the limited bandwidth. In this paper, we describe the design of VDP tester based on TTCN-2 (Tree and Tabular Combined Notation), a language standardized by ISO for the specification of tests for real-time and communicating systems. Our work was carried out as a part of supporting a new profile testing module for VDP in PTS (Profile Tuning Suite), a reference test system for Bluetooth interoperability testing. Test demonstration for the interoperability with various VDP solutions at the PTS session in UPF30 (Unplug Fest) showed the validity of the developed tester. Eventually, we introduce the PTS architecture, and show the design and implementation of VDP tester included in the released PTS 3.0 in this paper.

• 정보와 통신
• /
• 제28권4호
• /
• pp.11-17
• /
• 2011

본고에서는 국방 무기체계 상호운용성 시험을 위한 표준 기술 중 하나인 TTCN-3(Testing and Test Control Notation version 3)에 대해 소개하고, 국방 분야 적용 방안을 제시한다.

• 전기학회논문지P
• /
• 제64권3호
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• 한국산학기술학회논문지
• /
• 제16권9호
• /
• pp.5802-5809
• /
• 2015

철도신호시스템은 열차의 운행을 책임지는 바이탈한 제어장치로서, 실제 사용 전에 충분한 시험을 통해 그 기능 안전성이 검증되어야 한다. 지금까지는 대부분 실험실에서 시뮬레이터에 의한 개발한 철도신호시스템의 검증을 수행 후 철도현장에 설치하여 다른 장치와 운용성 테스팅 단계를 거치게 된다. 이러한 접근방법은 일부 제한된 범위에서 상호운용성이 검증되고 있어, 보다 체계적인 상호 운용성 검증이 요구되고 있다. 본 논문에서는 철도신호시스템의 상호운용성 검증을 위한 단계를 3단계로 제시하고, 각 단계별 검증 방법을 설명한다. 또한 최종단계인 3단계에 적용을 위한 시험방법 및 테스팅 도구를 제안하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권2호
• /
• pp.135-149
• /
• 2000

병렬 프로그램 테스팅을 위한 기존의 연구는 대부분 프로그램 수행 중에 얻어진 이벤트 트레이스를 바탕으로 재수행성을 보장하는데 중점을 두고 있다. 반면에 개발과정에서 만들어진 요구 명세로부터 테스트 케이스를 생성하는 방법에 대한 연구는 빈약한 실정이다. 본 연구에서는 통신 소프트웨어 개발분야에서 광범위하게 사용되는 메시지 순차도(MSC)로 작성된 명세로부터 병렬 프로그램의 모듈 테스팅을 위한 테스트 케이스를 자동으로 생성하는 방법을 제안하고 생성된 테스트 케이스를 이용하여 실제 테스팅을 수행할 수 있는 환경을 개발하였다. 명세로부터 테스트 케이스를 자동으로 생성하기 위해서는 명세 내에 묵시적으로 포함되어 있는 이벤트들과 그들 간의 선후 관계를 파악해야 하는데 이를 위해서 본 연구에서는 논리시간벡터를 MSC 명세에 적용하기 위한 방법을 제안하여 이벤트간의 선후 관계인 이벤트 시퀀스를 추출하고 이를 테스트 케이스로 사용한다. 생성된 테스트 케이스는 TTCN 형태로 기술되고 이는 다시 CHILL 소스 코드 형태로 변환되어 테스트 대상이 되는 모듈과 상호 동작하면서 테스팅 대상 모듈의 동작이 기술된 요구 명세의 내용과 합치하는 지를 검사한다. 본 연구에서 개발한 테스팅 방법은 통신소프트웨어 개발 과정에서 산출된 MSC 명세로부터 테스트 케이스를 추출함으로써 테스팅을 위해 별도의 명세를 작성할 필요가 없다. 또한, 논리 시간 벡터를 적용하여 이벤트 시퀀스를 자동 생성할 뿐만 아니라 생성된 이벤트 시퀀스는 시스템 전체의 이벤트 시퀀스로써 독자적인 테스팅 방법으로 사용될 수 있다. TNF-$\alpha$ and NO. These findings suggest that compounds 6 and 11 are modulating various elements of the host immune response.%로서, carbofuran 단독투여와 carbofuran과 PB 또는 3-MC 투여사이에 대사산물의 종류는 같았으나 생성율에는 큰 차이가 있었다. 이와 같은 결과는 쥐에 carbofuran 투여 후 PB나 3-MC를 투여함으로써 carbofuran의 대사가 빠르게 이루어지고, 주 대사산물 중3-hydroxycarbofuran보다 독성 이 낮은 3-ketocarbofuran으로의 대사가 빠르게 이루어지기 때문에 carbofuran의 독성이 경감되어 쥐가 생존할 수 있는 것으로 판단된다.시장젓갈${\lrcorner}$에는 글루타민산, leucine, alanine, lysine의 4종류, ${\ulcorner}$반찬젓갈${\lrcorner}$에는 글루타민산, leucine, alanine의 3종류, ${\ulcorner}$일본병조림젓갈${\lrcorner}$은 글루타민산이 현저하게 많다.회하였다.ollowed fro all Sullungtang samples from Hanwoo. The results showed that the overall quality of Sullungtang significantly decreased