• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.949-952
• /
• 2003

TCP/UDP가 차지하고 있던 전송 프로토콜에 멀티미디어와 같은 대용량 데이터전송을 위해 개발되어 차세대 전송프로토콜로 지칭되는 SCTP가 최근의 리눅스 커널 2.6.0-testX에 탑재되었다. 리눅스 커널 2.6에 탑재된 SCTP는 lksctp라는 패키지 형태로 구현하고 배포하였는데, 실제 커널에서 SCTP API를 분석하고, TCP, UDP와의 비교가 시급한 실정이다. 또한 안정화 상태를 점검하고 검증할 가치가 있는 것으로 인식되고 있다. 이에 본 논문에서는 새로운 리눅스 커널에 탑재된 SCTP API를 분석하고, 테스트에 대한 구체적인 사항을 기술한다.

• 대한디지털의료영상학회논문지
• /
• 제10권2호
• /
• pp.33-37
• /
• 2008

To keep the online medical records available to anyone without constraint of time and space, introducing EMR (Electronic medical record), which is a clinical support management system. The purpose of this study is to develop interface standard of clinical test device. Integration and sharing of medical information is faced with enormous obstacles because medical organizations and associated companies are separately developing the interface. I hope that multi-function management system with workstation concept is operated to efficiently transmit clinical device result data based on this study. Transfer of precise medical result data available for decision making will improve quality of health care service.

• 한국산학기술학회논문지
• /
• 제10권11호
• /
• pp.3399-3404
• /
• 2009

RFID 시스템은 리더기가 물체에 부착된 태그의 정보를 무선으로 파악하는 장거리 인식용으로 사용되고 있다. 그렇지만, 각기 구현하는 방식에 조금의 차이가 있어 각 제품들 간의 호환이나, 태그와 리더기 사이의 호환이 원만히 이루어지지 않고 있는 것이 문제점이다. 따라서, 본 연구에서는 몇 가지 서로 다른 프로토콜을 탑재하여 다양한 종류의 태그와 리더기를 검사하고, 고주파 특성과 프로토콜을 동시에 검증할 수 있는 시스템을 설계 및 구현하였다.

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• 한국통신학회논문지
• /
• 제18권10호
• /
• pp.1572-1581
• /
• 1993

프로토콜을 명세할때 결정적 유한상태기계(Deterministic Finite State Machine)가 프로토콜의 제어 흐름을 쉽게 나타낼 수 있어서 시험항목 생성시 주로 사용되었으나, 실제의 프로토콜들은 한개의 입력에 의해서 한개 이상의 상태로 천이가 발생하는 비결정성(Nondterminism)문제들을 내포할 수 있으므로 결정적 유한상태기계로는 비결정성 문제를 처리할 수 없다. 따라서 본 논문에서는 프로토콜을 먼저 프로토콜의 비결정성 특성을 잘 나타낼 수 있는 비결정적 유한상태기계(Nondeterministic FSM)로 나타내고, 이를 결정적 유한상태기계를 변환하기 위한 알고리즘을 제시하였다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.377-388
• /
• 2001

하나의 시험 스위티를 가지고 다중 계층 프로토콜 시험대상(Implementation Under Test: IUT)을 시험하는 방안이 제안되었다[1] 기존 방법과 비교하여 이방법은 상위 프로토콜에 적용하는 단일 계층 시험 방법과 하위 프로토콜에 적용하는 내포 시험 방법을 조합하여 적용함으로써 다중 계층 프로토콜 시험 대상을 시험한다. 그러나 논문[1]은 접근 방법만 제시하였을뿐 어떻게 시험 경우를 자동으로 도출할 것인지에 대해서는 고려하지 않고 있다. 본 논문은 논문[1]에 기초하여 다중 계층 프로토콜 시험 경우 자동 생성알고리즘을 제안한다. 이를 위해 시험대상 프로토콜을 두 개의 FSM으로 정의하고 두 FSM에 대하여 pre-execution 과 carried-by 로 구성되는 트랜지션의 수행 관계를 정의한다. 제안한 알고리즘을 구현하여 간략화한 TCP/IP와 B-ISDN Signaling/Service Specific Connection Oriented Protocol (SSCOP)에 적용한다. 본논문의 다중 계층 프로토콜 시험방법은 프로토콜 사이의 인터페이스가 개방되지 않은 경우에도 시험이 가능하며 기존 시험방법에 비해서 적은 시험 경우로 동이한 커버리지를 갖는다

• 정보과학회 논문지
• /
• 제43권9호
• /
• pp.953-962
• /
• 2016

모델 기반 테스팅은 시스템의 행위를 표현하는 모델을 시스템 명세로 활용하여 테스트를 수행하는 기술이다. 자동차, 국방/항공, 의료, 철도, 원자력과 같은 산업 도메인에서는 소프트웨어의 품질 향상을 위해 모델 기반 테스팅과 코드 커버리지 기반 테스팅을 요구하고 있다. 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 모두 요구됨에도 모델과 소스 코드 간의 추상화 수준 차이로 인해 모델 기반 테스팅만으로 높은 코드 커버리지를 달성하는 것이 어려워 모델 기반 테스팅과 코드 커버리지 기반 테스팅이 별도로 수행되어져 왔다. 본 연구에서는 기존의 모델 기반 테스팅의 한계점을 개선하기 위하여 모델 기반 테스팅에서 테스트 모델로서 이용되는 대표적인 모델링 방법 중 하나인 프로토콜 상태 머신을 테스트 모델로서 이용하여 효과적으로 코드 커버리지를 향상시키는 상태 머신 변환 방법을 제안한다. 또한 본 연구에서는 두 시스템을 대상으로 한 사례 연구를 수행하여 제안 방법의 효과성을 분석하였다.

• International Journal of Stem Cells
• /
• 제17권2호
• /
• pp.130-140
• /
• 2024

Cardiac organoids have emerged as invaluable tools for assessing the impact of diverse substances on heart function. This report introduces guidelines for general requirements for manufacturing cardiac organoids and conducting cardiac organoid-based assays, encompassing protocols, analytical methodologies, and ethical considerations. In the quest to employ recently developed three-dimensional cardiac organoid models as substitutes for animal testing, it becomes imperative to establish robust criteria for evaluating organoid quality and conducting toxicity assessments. This guideline addresses this need, catering to regulatory requirements, and describes common standards for organoid quality and toxicity assessment methodologies, commensurate with current technological capabilities. While acknowledging the dynamic nature of technological progress and the potential for future comparative studies, this guideline serves as a foundational framework. It offers a comprehensive approach to standardized cardiac organoid testing, ensuring scientific rigor, reproducibility, and ethical integrity in investigations of cardiotoxicity, particularly through the utilization of human pluripotent stem cell-derived cardiac organoids.

• 한국정보과학회논문지:정보통신
• /
• 제28권2호
• /
• pp.277-287
• /
• 2001

통신 프로토콜의 상호운윤성을 시험하기 위한 시험경우를 생성하는 방법론이 논문[1, 2, 3]에서 제안되었고 TCP와 ATM프로토콜에 적용되었다. 이들 방법론으로 생성된 시험경우는 제어부분만을 고려하고 있다. 그러나 실제 시험에 있었서는 데이터를 고려하여야 하며 완전한 시험이 되기 위해서는 이들 변수들이 가질 수 있는 모든 값에 대한 시험을 거쳐야 하지만 이것은 현실적으로 불가능하다. 본 논문에서는 데이터를 포함하는 시험을 하기 위하여 논문[1]에서 도출한 시험경우에 제어 부분과 데이터 부분을 동시에 고려하여 TCP의 연결설정 절차에 대한 시험경우를 도출한다. 이 과정에서 시험경우의 수가 너무 커지는 것을 피하기 위해 최소의 실험횟수로 최대의 정보를 얻을 수 있도록 실험계획법을 이용한다. 실험계획법은 적합성 시험에는 적용되었지만 아직 상호운용성 시험에는 적용되지 않았다. 이 방법을 통해 데이터 부분을 포함하는 상호운용성 시험경우를 생성하고 시험의 검출력을 유지하면서 최소화된 시험경우로 상호운용성 시험을 할 수 있는 기능성을 보인다

• 한국재난정보학회 논문집
• /
• 제10권1호
• /
• pp.25-32
• /
• 2014

재료시험의 주 목적은 작용되는 하중과 기후조건을 포함하여 현장조건과 가급적으로 유사한 조건하에서 모사하는 것이다. 또한 시험법은 쉽고 저렴하며 시험을 수행하기 간단하며 시험결과가 효율적 이어서 많은 기관에서 표준시험법으로 수용할 수 있어야한다. 본 연구에서는 이러한 내용에 근거하여 새로운 시험법인 구속응력을 가진 반복 축 하중시험이 아스팔트 콘크리트 혼합물의 소성변형 시험으로 개발되었다. 본 연구에서 제시하는 소성변형 시험은 다양한 구조해석과 현장 데이터의 분석을 근거로 개발되었다. 본 아스팔트 콘크리트의 소성변형 시험법에서는 포장의 깊이에 따라 3가지 범주로 분류 하였다. 각 범주마다 다른 온도와 수직응력을 적용하여 시험을 수행하였다.