• 정보보호학회논문지
• /
• 제23권2호
• /
• pp.231-242
• /
• 2013

최근 소프트웨어의 취약점을 찾기 위해 퍼징과 같은 자동화된 테스팅 방법을 이용한 많은 연구가 진행되고 있다. 퍼징은 소프트웨어의 입력을 특정 규칙에 따라 자동으로 변형시켜 소프트웨어의 오작동 여부를 탐지하고 그 결과로부터 취약점을 발견하는 것이다. 이 때 소프트웨어에 입력되는 입력 값, 즉 테스트 케이스에 따라 취약점을 발견할 수 있는 확률이 달라지기 때문에 취약점 발견 확률을 높이기 위해서는 테스트 케이스의 집합인 테스트 슈트 축약 문제를 해결하여야 한다. 이에 본 논문에서는 파일과 같은 대용량 테스트 케이스를 대상으로 효과적으로 테스트 슈트 축약 문제를 해결할 수 있는 방법을 제안하고자 한다. 이를 위해 기존 연구에서 주로 사용되었던 커버리지와 중복도 이외에 새로운 척도인 테스트 케이스의 길이를 제시하고, 본 척도에 적합한 축약 알고리즘을 설계하였다. 실험을 통해 본 논문에서 제안한 알고리즘이 기존 연구의 알고리즘보다 높은 크기와 길이 축약율을 나타냄을 보임으로써 제안하는 알고리즘의 효율성을 증명할 수 있었다.

• Journal of Information Processing Systems
• /
• 제6권2호
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• 정보처리학회논문지A
• /
• 제16A권4호
• /
• pp.245-254
• /
• 2009

임베디드 프로세서 사용이 증가함에 따라 임베디드 프로세서를 위한 컴파일러를 시기 적절히 개발해야 할 필요성이 증가하고 있다. 컴파일러 후단부를 수정하여 새로운 컴파일러를 구성하는 재겨냥 기법이 이에 적합한 기법으로 채택되고 있다. 이 논문에서는 재겨냥성 C 컴파일러를 테스트하기 위한 테스트 집합 생성 시스템을 제안한다. 제안한 시스템은 문법 커버리지 개념을 이용하여 테스트 집합을 생성한다. 일반적으로 원시 프로그래밍 언어의 문법을 이용하여 테스트 집합을 생성하면 방대한 크기의 테스트 집합이 얻어진다. 그러나 신속히 컴파일러를 출시해야하는 상황에서는 방대한 테스트 집합 크기가 문제가 될 수 있다. 이에 이 논문에서 제안한 시스템은 중간 코드를 고려하여 테스트 집합을 축약하는 기능을 탑재하고 있다. 실험 결과에 따르면, 비록 축약된 테스트 집합 크기는 원본 테스트 집합 크기의 평균 10%에 불과하지만 원본 테스트 집합이 검출할 수 있는 컴파일러 오류의 75% 정도를 검출할 수 있음을 알 수 있었다. 이는 본 논문에서 제시한 축약 기법이 임베디드 컴파일러 개발 초기 단계에서 효과적으로 사용될 수 있음을 의미한다.

• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2091-2101
• /
• 1998

상호운용성은 정보기술 및 통신분야에서 가장 중요한 요소의 하나이다. 본 논문에서는 상호운용성에 관한 시험방법 및 시험 스위트의 생산에 대하여 논의하고 있다. 적합성시험을 비롯하여 정형적인 검즈에서 가장 먼저 고려되는 치명적인 문제점은 상태공간의 폭발에 관한 사항이며 이는 상호운용성의 시험방법 및 시험 스위트의 개발에 있어서도 가장 먼저 해결되어야 할 문제이다. 본 논문에서는 페트리네트를 이용한 상운용성 시험을 지원하기 위해 새로운 상태 공간 축약 방법을 제시하며 이를 이용한 상호운용성의 시험방법 및 시험 스위트 생성 방안을 IOSM, Quasi stable state 등을 이용하여 HOSS에 기반한 상태축약 결과를 보임으로써 상호운용성시험을 효율적으로 지원하는 방안을 제시한다.

• 한국인터넷방송통신학회논문지
• /
• 제21권6호
• /
• pp.91-97
• /
• 2021

마이크로서버는 컴퓨팅 서버의 일종으로 2개 이상의 CPU 소켓을 별도의 컴퓨팅 보드에 구현하고, 다수 개의 컴퓨팅 보드를 메인 보드에 집적하는 형태를 지닌다. 클러스터 시스템을 구축하는데 있어서, 마이크로서버를 사용하면 기존의 서버를 여러 대 랙에 장착하는 방법에 비해, 에너지 효율, 상면, 관리 용이성 측면에서 이점이 있다. 또한, 마이크로서버는 컴퓨팅 보드내 CPU 소켓들, 혹은 컴퓨팅 보드끼리 별도의 내부 연결망을 사용할 수 있어서 성능 측면에서도 이점이 존재한다. 본 논문에서 제안된 마이크로서버는 4개의 CPU 소켓을 지닌 컴퓨팅 보드를 메인보드에 총 16개 장착할 수 있는 서버로 Serial-RapidIO (SRIO)를 내부 연결망으로 사용한다. 마이크로서버의 핵심 성능 이슈인 내부 연결망 측면에서의 성능 비교 분석을 위해, 상용 마이크로서버와 내부 연결망 성능을 비교하고 정량화한다. 시험 결과, 내부 연결망을 활용한 데이터 전송 시 대역폭 측면에서 최대 7배 높은 성능을 보였다. 아울러, 실제 클라우드 컴퓨팅에 사용되는 벤치마크 프로그램 적용 시험에서도 유사 CPU 성능 마이크로서버 대비 60%의 수행시간 감소 효과를 얻었다.

• 한국지열·수열에너지학회논문집
• /
• 제16권2호
• /
• pp.7-12
• /
• 2020

The battery of an electric vehicle is a key part of the energy supply to operate the vehicles. There are many factors affecting battery life such as charging method, discharge rate, and ambient temperature those are requires systematic monitoring and management. To solve the issues like environmental problems and fuel consumption reduction the battery needs more performance improvement. In this study, it was analyzed the thermal characteristics and securing battery stability for electric vehicle battery cooling system. The simulation test was operated using GT-suite software with several conditions like cooling capacity 1, 2 and 4 kW, cooling flow rate 5, 10, 20 and 30 LPM, and battery initial temperatures 40, 35, and 30℃ at the temperature of ambient 25℃. The results shown that the case of cooling flow rate at 20 LPM was most efficient among all above conditions.

• 국제초고층학회논문집
• /
• 제7권4호
• /
• pp.299-311
• /
• 2018

As engineered timber such as Glulam is seeing increasing use in tall timber buildings, building codes are adapting to allow for this. In order for this material to be used confidently and safely in one of these applications, there is a need to understand the effects that fire can have on an engineered timber structural member. The post-fire resilience aspect of glulam is studied herein. Two sets of experiments are performed to consider the validity of zero strength guidance with respect to short duration fire exposure on thin glulam members. Small scale samples were heated in a cone calorimeter to different fire severities. These samples illustrated significant strength loss but high variability despite controlled quantification of char layers. Large scale samples were heated locally using a controlled fuel fire in shear and moment locations along the length of the beam respectively. Additionally, reduced cross section samples were created by mechanically carving a way an area of cross section equal to the area lost to char on the heated beams. All of the samples were then loaded to failure in four-point (laterally restrained) bending tests. The beams that have been burnt in the shear region were observed as having a reduction in strength of up to 34.5% from the control beams. These test samples displayed relatively little variability, apart from beams that displayed material defects. The suite of testing indicated that zero strength guidance may be under conservative and may require increasing from 7 mm up to as much as 23 mm.

• Restorative Dentistry and Endodontics
• /
• 제34권3호
• /
• pp.177-183
• /
• 2009

이 연구의 목적은 세 가지 다른 치아 삭제 형태에 따라 제작된 CEREC3 CAD/CAM의 인레이의 변연 및 내면 간극을 비교 평가하는 것이었다. CEREC3 인레이의 제작을 위해 다음의 제시된 방법에 따라 각 군당 10개의 시편을 준비 하였다. 제 I 군-기능 교두를 포함하는 전통적 방식의 capping과 shoulder margin, 제 II 군-교두를 수평으로 평평하게 삭제하는 단순화된 와동 형태, 제 III 군-교두의 완전한 삭제와 shoulder margin을 갖는 가장 단순화된 형태로 세 군의 시편을 제작하였다. CEREC3로부터 제작된 인레이를 대응치아에 접착시킨 후, 치아 교합면의 중심을 지나게 협설면 방향으로 microsaw를 이용하여 절단하였다. 이후 Stereomicroscope을 사용하여 20배율에서 확대 영상을 촬영하였다. 그리고 미리 정해놓은 marginal, axial, angle, Horizontal 기준점에서 Leica application suite 프로그램을 사용하여 시편과 치아 사이의 변연 및 내면 간극을 측정하였다. 일원분산분석을 사용하여 같은 기준 지점에서 세 군 사이의 차이를 분석하였으며, 각 군 안에서 여러 지점 사이의 차이 또한 알아보았다. Tukey's test로 95% 유의수준에서 사후 검정하였다. 세 군 모두에서 변연 부위에서 간극이 가장 작았으며, 변연 간극은 제 I 군 $80.0-97.8{\mu}m$, 제 II 군$42.0-194.8{\mu}m$, 제 III 군 $51.0-80.2{\mu}m$의 범위를 나타내었다. 내면 간극은 제 I 군 $90.5-304.1{\mu}m$, 제 II 군 $80.0-274.8{\mu}m$, 제 III 군 $79.7-296.7{\mu}m$의 범위를 나타냈고 horizontal wall 부위에서 가장 큰 간극을 보였다. CEREC3 CAD/CAM시스템을사용한 인레이 제작에 있어서 새롭게 제안된 두 가지의 단순화된 와동 형태는 변연 및 내면 간극이 전통적인 교두 피개 와동 형태보다 우수하지 않았다.